Article

What agents can achieve under incomplete information

Authors:

Wojciech Jamroga,

Thomas ÅgotnesAuthors Info & Claims

AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

Pages 232 - 234

https://doi.org/10.1145/1160633.1160672

Published: 08 May 2006 Publication History

Get Access

Abstract

We propose a non-standard semantics for Alternating-time Temporal Logic (ATL) with incomplete information, for which no commonly accepted semantics has been proposed yet. In our semantics, formulae are still interpreted with respect to ATL structures, but are interpreted in sets of states rather than in single states. We also propose a new epistemic operator for "constructive" knowledge, and we show that the new language is strictly more expressive than existing solutions, while retaining the same model checking complexity.

References

[1]

R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672--713, 2002.

Digital Library

Google Scholar

[2]

A. Herzig and N. Troquard. Knowing how to play: Uniform choices in logics of agency. AAMAS, 2006.

Digital Library

Google Scholar

[3]

W. Jamroga. Some remarks on alternating temporal epistemic logic. In Proc. of FAMAS, p. 133--140, 2003.

Google Scholar

[4]

W. Jamroga and J. Dix. Model checking strategic abilities of agents under incomplete information. In Proceedings of ICTCS 2005, pages 295--308, 2005.

Digital Library

Google Scholar

[5]

W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2--3), 2004.

Digital Library

Google Scholar

[6]

G. Jonker. Feasible strategies in Alternating-time Temporal Epistemic Logic. Master thesis, 2003.

Google Scholar

[7]

W. Quine. Quantifiers and propositional attitudes. Journal of Philosophy, 53:177--187, 1956.

Crossref

Google Scholar

[8]

P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.

Google Scholar

[9]

W. van der Hoek and M. Wooldridge. Tractable multiagent planning for epistemic goals. In Proceedings of AAMAS-02, pages 1167--1174, 2002.

Digital Library

Google Scholar

[10]

S. van Otterloo and G. Jonker. On Epistemic Temporal Strategic Logic. In Proc. of LCMAS, 2004.

Google Scholar

Cited By

View all

Prados CHernando MGambao EBrunete A(2024)A Review and Evaluation of Control Architectures for Modular Legged and Climbing RobotsBiomimetics10.3390/biomimetics90603199:6(319)Online publication date: 27-May-2024
https://doi.org/10.3390/biomimetics9060319
Xiong LGuo S(2021)Representation and Reasoning about Strategic Abilities with ω-Regular PropertiesMathematics10.3390/math92330529:23(3052)Online publication date: 27-Nov-2021
https://doi.org/10.3390/math9233052
Hernando MAlonso MPrados CGambao E(2021)Behavior-Based Control Architecture for Legged-and-Climber RobotsApplied Sciences10.3390/app1120954711:20(9547)Online publication date: 14-Oct-2021
https://doi.org/10.3390/app11209547
Show More Cited By

Recommendations

A simple logic for reasoning about incomplete knowledge

The semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations, which is too expressive to account for mere epistemic states of an agent. This paper proposes a simple logic whose atoms ...
A logic for incomplete sequential information
KES'10: Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II

Describing incomplete sequential information is of growing importance in Knowledge Representation in Artificial Intelligence and Computer Science. To obtain logical foundations for representing incomplete sequential information, a new logic, called ...
Strategic planning for probabilistic games with incomplete information
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many variants of ATL study a setting where strategies may only take available ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

AAMAS '06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems

May 2006

1631 pages

ISBN:1595933034

DOI:10.1145/1160633

General Chairs:
Hideyuki Nakashima
Future University - Hakodate, Japan
,
Michael Wellman
University of Michigan
,
Program Chairs:
Gerhard Weiss
Technical University Munich, Germany
,
Peter Stone
The University of Texas at Austin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS06

Sponsor:

IFMAS
SIGAI
ATAL

AAMAS06: AAMAS '06 - 5th International Joint Conference on Autonomous Agents and Multi-agent Systems 2006

May 8 - 12, 2006

Japan, Hakodate

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
275
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Prados CHernando MGambao EBrunete A(2024)A Review and Evaluation of Control Architectures for Modular Legged and Climbing RobotsBiomimetics10.3390/biomimetics90603199:6(319)Online publication date: 27-May-2024
https://doi.org/10.3390/biomimetics9060319
Xiong LGuo S(2021)Representation and Reasoning about Strategic Abilities with ω-Regular PropertiesMathematics10.3390/math92330529:23(3052)Online publication date: 27-Nov-2021
https://doi.org/10.3390/math9233052
Hernando MAlonso MPrados CGambao E(2021)Behavior-Based Control Architecture for Legged-and-Climber RobotsApplied Sciences10.3390/app1120954711:20(9547)Online publication date: 14-Oct-2021
https://doi.org/10.3390/app11209547
Ågotnes Tvan Ditmarsch H(2014)Knowledge Games and Coalitional AbilitiesJohan van Benthem on Logic and Information Dynamics10.1007/978-3-319-06025-5_16(451-485)Online publication date: 27-Aug-2014
https://doi.org/10.1007/978-3-319-06025-5_16
Schnoor HLuck MSen S(2010)Strategic planning for probabilistic games with incomplete informationProceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 110.5555/1838206.1838349(1057-1064)Online publication date: 10-May-2010
https://dl.acm.org/doi/10.5555/1838206.1838349
Ågotnes Tvan Ditmarsch H(2010)What will they say?—Public Announcement GamesSynthese10.1007/s11229-010-9838-8179:S1(57-85)Online publication date: 3-Nov-2010
https://doi.org/10.1007/s11229-010-9838-8
Bulling NJamroga WDix J(2008)Reasoning about temporal properties of rational playAnnals of Mathematics and Artificial Intelligence10.1007/s10472-009-9110-453:1-4(51-114)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1007/s10472-009-9110-4
Jamroga WBulling N(2008)A Logic for Reasoning about Rational AgentsComputational Logic in Multi-Agent Systems10.1007/978-3-540-88833-8_3(42-61)Online publication date: 15-Oct-2008
https://dl.acm.org/doi/10.1007/978-3-540-88833-8_3
Broersen J(2008)A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’Deontic Logic in Computer Science10.1007/978-3-540-70525-3_12(140-154)Online publication date: 2008
https://doi.org/10.1007/978-3-540-70525-3_12
Broersen JHerzig ATroquard NSamet D(2007)A normal simulation of coalition logic and an epistemic extensionProceedings of the 11th conference on Theoretical aspects of rationality and knowledge10.1145/1324249.1324264(92-101)Online publication date: 25-Jun-2007
https://dl.acm.org/doi/10.1145/1324249.1324264
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

A simple logic for reasoning about incomplete knowledge

A logic for incomplete sequential information

Strategic planning for probabilistic games with incomplete information