Decision procedures for prepositional linear-time belief-desire-intention logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1037, Issue , 1996, Pages 33-48

  Rao, Anand S ^a  

^a Australian Artificial Intelligence   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS;

BELIEF-DESIRE-INTENTION LOGIC; DECISION PROCEDURE; MULTI-MODAL LOGIC; MULTIPLE MODALITIES; RATIONAL AGENTS; SITUATED SYSTEMS; SOUND AND COMPLETE; TEMPORAL MODALITIES;

TEMPORAL LOGIC;

EID: 84957712938     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3540608052_57     Document Type: Conference Paper

References (17)

1. M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
2. L. Catach. Tableaux: A general theorem prover for modal logics. Journal of Automated Reasoning, 7:489-510,1991.
3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3), 1990.
4. E. A. Emerson. Temporal and modal logic. InJ. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B, Formal Models and Semantics, pages 995-1072. Elsevier Science Publishers and MIT Press, Amsterdam and Cambridge, MA, 1990.
5. M. J. Fischer and R. E. Ladner. Prepositional dynamic logic of regular programs. Journal of Computing and System Sciences, 18:194-211,1979.
6. J. Y. Halpern and Y. O. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319-379,1992.
7. G. E. Hughes and M. J. Cresswell. A Companion to Modal Logic. Methuen & Co. Ltd., London, England, 1984.
8. S. Kripke. A semantical analysis of modal logic I: Normal modal prepositional calculi. Z. Math. Logik Grundl. Math., 9:67-96,1963.
9. A. S. Rao. Decision procedures for prepositional linear-time belief-desire-intention logics. Technical Report No. 68, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.
10. A. S. Rao and M. P. Georgeff. Asymmetry thesis and side-effect problems in linear time and branching time intention logics. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, 1991.
11. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Mateo, CA, 1991.
12. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI-93), Chamberey, France, 1993.
13. M. P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications. Springer Verlag, Heidelberg, Germany, 1994.
14. B. van Linder, W. van der Hoek, and J. J. C. Meyer. How to motivate your agents. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents Volume II-Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95), Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996. (In this volume).
15. P. Wolper. The tableau method for temporal logic: An overview. Logic et Analyse, 28:119-136,1985.
16. M. Wooldridge and M. Fisher. A decision procedure for a temporal belief logic. In Proceedings of the First International Conference on Temporal Logic, Bonn, Germany, 1994.
17. M. Wooldridge and N. R. Jennings. Agent theories, architectures, and languages: A survey. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI890, Amsterdam, Netherlands, 1995. Springer Verlag.