Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains
Pages 957 - 964
Abstract
This paper proposes a method based on high-level action description languages for reasoning about hypothetical action occurrences in a multi-agent environments. In order to accommodate this type of reasoning, one needs to consider non-deterministic observability of action occurrences of agents. The paper presents an extension of the language mA*, called mA*e, to allow for non-deterministic observability and hypothetical actions. The paper defines the semantics of the new language using edge-conditioned update models and discusses properties of the new language, including differences from approaches that use Dynamic Epistemic Logic. The new definitions are illustrated using the well-known story of two stockbrokers from the literature.
References
[1]
A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004).
[2]
A. Baltag, L. Moss, and S. Solecki. 1998. The logic of public announcements, common knowledge, and private suspicions. In 7th TARK. 43--56.
[3]
Chitta Baral, Gregory Gelfond, Enrico Pontelli, and Tran Cao Son. 2022. An action language for multi-agent domains. Artificial Intelligence 302 (2022), 103601.
[4]
Thomas Bolander. 2018. Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Springer International Publishing, Cham, 207--236.
[5]
David Buckingham, Daniel Kasenberg, and Matthias Scheutz. 2020. Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. (9 2020), 172--181.
[6]
Francesco Fabiano, Alessandro Burigana, Agostino Dovier, and Enrico Pontelli. 2020. EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. Proceedings of the International Conference on Automated Planning and Scheduling 30, 1 (Jun. 2020), 101--109. https://ojs.aaai.org/index.php/ICAPS/article/view/6650
[7]
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. 1995. Reasoning about Knowledge. MIT press.
[8]
Tiep Le, Francesco Fabiano, Tran Cao Son, and Enrico Pontelli. 2018. EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. In International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press.
[9]
Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, and Enrico Pontelli. 2022. A New Semantics for Action Language mA*. In Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 22). Springer, 553--562.
[10]
David Rajaratnam and Michael Thielscher. 2021. Representing and Reasoning with Event Models for Epistemic Planning. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. 519--528.
[11]
Johan van Benthem, Jan van Eijck, and Barteld P. Kooi. 2006. Logics of communication and change. Inf. Comput. 204, 11 (2006), 1620--1662.
[12]
H. van Ditmarsch. 2005. Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147 (2005), 229--275.
[13]
Hans van Ditmarsch, Petra Hendriks, and Rineke Verbrugge. 2020. Editors' Review and Introduction: Lying in Logic, Language, and Cognition. Top. Cogn. Sci. 12, 2 (2020), 466--484.
[14]
H. van Ditmarsch, W. van der Hoek, and B. Kooi. 2007. Dynamic Epistemic Logic. Springer.
[15]
Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. 2007. Dynamic Epistemic Logic (1st ed.). Springer Publishing Company, Incorporated.
[16]
Hans van Ditmarsch, Wiebe van der Hoek, and Barteld P. Kooi. 2005. Dynamic epistemic logic with assignment. In 4th International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, 141--148.
Index Terms
- Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains
Index terms have been assigned to the content through auto-classification.
Recommendations
A New Semantics for Action Language m
PRIMA 2022: Principles and Practice of Multi-Agent SystemsAbstractThe action language m employs the notion of update models in defining transitions between states. Given an action occurrence and a state, the update model of the action occurrence is automatically constructed from the given state and the ...
An action language for multi-agent domains
AbstractThe goal of this paper is to investigate an action language, called mA ⁎, for representing and reasoning about actions and change in multi-agent domains. The language, as designed, can also serve as a specification language for ...
Handling defeasibilities in action domains
Representing defeasibility is an important issue in common sense reasoning. In reasoning about action and change, this issue becomes more difficult because domain and action related defeasible information may conflict with general inertia rules. ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 2023
1932 pages
ISBN:9781450395175
DOI:10.1145/3555776
- Conference Chairs:
- Jiman Hong,
- Maart Lanperne,
- Program Chairs:
- Juw Won Park,
- Tomas Cerny,
- Publication Chair:
- Hossain Shahriar
Copyright © 2023 ACM.
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].
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 07 June 2023
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
SAC '23
Sponsor:
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Upcoming Conference
SAC '25
- Sponsor:
- sigapp
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 129Total Downloads
- Downloads (Last 12 months)101
- Downloads (Last 6 weeks)10
Reflects downloads up to 16 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in