Theories of intentions in the framework of situation calculus

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

Volumn 3476 LNAI, Issue , 2005, Pages 19-34

  Parra, Pilar Pozos ^a   Nayak, Abhaya ^a   Demolombe, Robert ^b  

^a MACQUARIE UNIVERSITY   (Australia)

^b ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; MODAL ANALYSIS; THEOREM PROVING;

BELIEF-DESIRE-INTENTION (BDI); DECLARATIVE PROGRAMMING; MODAL LOGIC; SUCCESSOR STATE AXIOMS;

COMPUTATIONAL COMPLEXITY;

EID: 26844488276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_2     Document Type: Conference Paper

References (18)

1. Singh, M.P.: Multiagent Systems. A Theoretical Framework for Intentions, Know-How, and Communications. LNAI 799, Springer-Verlag (1994)
2. Wooldridge, M.: Reasoning about Rational Agents. MIT Press (2000)
3. Singh, M.P., Rao, A., Georgeff, M.: Formal method in dai : Logic based representation and reasoning. In Weis, G., ed.: Introduction to Distributed Artificial Intelligence, New York, MIT Press (1998)
4. van Linder, B.: Modal Logics for Rational Agents. PhD thesis, University of Utrecht (1996)
5. Rao, A., Georgeff, M.: Modeling Rational Agents within a BDI Architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann (1991)
6. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
7. Rao, A.: Agentspeak(l): BDI agents speak out in a logical computable language. In: Proceedings of the 7th European Workshop on Modelling autonomous agents in a multi-agent world: Agents breaking away, Springer-Verlag (1996) 42-55
8. Dixon, C., Fisher, M., Bolotov, A.: Resolution in a logic of rational agency. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, IOS Press (2000)
9. Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J.J., van der Hoek, W.: Verification within the KARO agent theory. LNCS 1871, Springer-Verlag (2001)
10. Demolombe, R., Pozos Parra, P.: BDI architecture in the framework of Situation Calculus. In: Proc. of the Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions at IJCAI, Acapulco, Mexico (2003)
11. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)
12. Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V., ed.: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press (1991) 359-380
13. Petrick, R., Levesque, H.: Knowledge equivalence in combined action theories. In: Proceedings of the 8th International Conference on Knowledge Representation and Reasoning. (2002) 613-622
14. Katsuno, H., Mendelzon, A.: On the difference between updating a Knowledge Base and Revising it. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning. (1991) 387-394
15. Pirri, F., Reiter, R.: Some contributions to the metatheory of the situation calculus. Journal of the ACM 46 (1999) 325-361
16. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A Logic Programming Language for Dynamic Domains. Journal of Logic Programming 31 (1997) 59-84
17. Scherl, R., Levesque, H.: The Frame Problem and Knowledge Producing Actions. In: Proc. of the National Conference of Artificial Intelligence, AAAI Press (1993)
18. van Riemsdijk, B., Dastani, M., Dignum, F., Meyer, J.J.: Dynamics of Declarative Goals in Agent Programming. In: Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag (2005). In this volume.