Progression and verification of situation calculus agents with bounded beliefs

13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014

Volumn 1, Issue , 2014, Pages 141-148

  De Giacomo, Giuseppe ^a   Lespérance, Yves ^b   Patrizi, Fabio ^a   Vassos, Stavros ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b YORK UNIVERSITY   (Canada)

Author keywords

Bounded action theories; Online execution; Progression; Situation calculus; Verification of agents

Indexed keywords

EID: 84911376160     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. B. Bonet. Conformant plans and beyond: Principles and complexity. Artificial Intelligence, 174(3-4):245-269, 2010.
2. G. De Giacomo, Y. Lespérance, H. J. Levesque, and S. Sardina. IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. In Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009.
3. G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Epistemic Situation Calculus Theories. In Proc. of IJCAI'13.
4. G. De Giacomo, Y. Lespérance, and F. Patrizi. Bounded Situation Calculus Action Theories and Decidable Verification. In Proc. of KR'I2.
5. E. A. Emerson. Model Checking and the Mucalculus. In Descriptive Complexity and Finite Models, 1996.
6. M. Fisher and M. Wooldridge. On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst., 6(1):37-66, 1997.
7. G. Lakemeyer and H. J. Levesque. Only-knowing: Taking it Beyond Autoepistemic Reasoning. In Proc. of AAAI'05.
8. H. J. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. JLP, 31:59-84, 1997.
9. F Lin and R. Reiter. How to Progress a Database. Artificial Intelligence, 92(1-2): 131-167, 1997.
10. A. Lomuscio, H. Qu, and F. Raimondi. MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In Proc. of CAV'09.
11. J. McCarthy and P. J. Hayes. Some Philosophical Problems From the Standpoint of Artificial Intelligence. Machine Intelligence, 4:463-502, 1969.
12. F. Pirri and R. Reiter. Some Contributions to the Metatheory of the Situation Calculus. J. ACM, 46(3):261-325, 1999.
13. R. Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
14. S. Sardina, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On Ability to Autonomously Execute Agent Programs with Sensing. In Proc. of AAMAS'04.
15. S. Sardina, G. De Giacomo, Y. Lespérance, and H. J. Levesque. On the Limits of Planning over Belief States under Strict Uncertainty. In Proc. of KR'06.
16. R. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144(1-2): 1-39, 2003.
17. S. Shapiro, Y. Lespérance, and H. J. Levesque. The Cognitive Agent Specification Language and Verification Environment. In Specification and Verification of Multi-Agent Systems/Programs. Springer, 2010.
18. S. Vassos and H. J. Levesque. How to progress a database III. Artificial Intelligence, 195:203-221, 2013.
19. S. Vassos and F. Patrizi. A Classification of First-Order Progressable Action Theories in Situation Calculus. In Proc. of IJCAI'13.
20. M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception, and Knowledge. Logic Journal of the IGPL, 9(2):257-272, 2001.