Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Theories of Intentions in the Framework of Situation Calculus

  • Conference paper
Declarative Agent Languages and Technologies II (DALT 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3476))

Included in the following conference series:

Abstract

We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted to consider the new components. The intention theories take account of the BDI (Belief-Desire-Intention) architecture. In order to avoid the computational complexity of theorem proving in modal logic, we explore an alternative approach that introduces the notions of belief, goal and intention fluents together with their associated successor state axioms. Hence, under certain conditions, reasoning about the BDI change is computationally similar to reasoning about ordinary fluent change. This approach can be implemented using declarative programming.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Singh, M.P.: Multiagent Systems. A Theoretical Framework for Intentions, Know-How, and Communications. LNCS (LNAI), vol. 799. Springer, Heidelberg (1994)

    Google Scholar 

  2. Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  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, Cambridge (1998)

    Google Scholar 

  4. van Linder, B.: Modal Logics for Rational Agents. PhD thesis, University of Utrecht (1996)

    Google Scholar 

  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, San Francisco (1991)

    Google Scholar 

  6. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  7. Rao, A.: Agentspeak(l): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  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, Amsterdam (2000)

    Google Scholar 

  9. Hustadt, U., Dixon, C., Schmidt, R., Fisher, M., Meyer, J.J., van der Hoek, W.: Verification within the KARO agent theory. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, p. 33. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  11. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  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, pp. 359–380. Academic Press, London (1991)

    Google Scholar 

  13. Petrick, R., Levesque, H.: Knowledge equivalence in combined action theories. In: Proceedings of the 8th International Conference on Knowledge Representation and Reasoning, pp. 613–622 (2002)

    Google Scholar 

  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, pp. 387–394 (1991)

    Google Scholar 

  15. Pirri, F., Reiter, R.: Some contributions to the metatheory of the situation calculus. Journal of the ACM 46, 325–361 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  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, 59–84 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  17. Scherl, R., Levesque, H.: The Frame Problem and Knowledge Producing Actions. In: Proc. of the National Conference of Artificial Intelligence. AAAI Press, Menlo Park (1993)

    Google Scholar 

  18. van Riemsdijk, B., Dastani, M., Dignum, F., Meyer, J.J.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of ICS, Macquarie University, NSW, 2109, Australia

    Pilar Pozos Parra & Abhaya Nayak

  2. ONERA-Toulouse, 2 Avenue E. Belin, BP 4025, 31055, Toulouse, France

    Robert Demolombe

Authors
  1. Pilar Pozos Parra
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Abhaya Nayak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Demolombe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Department of Computer Engineering, Boğaziçi University, Bebek, 34342, Istanbul, Turkey

    pInar Yolum

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parra, P.P., Nayak, A., Demolombe, R. (2005). Theories of Intentions in the Framework of Situation Calculus. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_2

Download citation

  • DOI: https://doi.org/10.1007/11493402_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26172-8

  • Online ISBN: 978-3-540-31927-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation