Theories of Intentions in the Framework of Situation Calculus

  • Pilar Pozos Parra
  • Abhaya Nayak
  • Robert Demolombe
Conference paper

DOI: 10.1007/11493402_2

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3476)
Cite this paper as:
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 . (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science, vol 3476. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Pilar Pozos Parra
    • 1
  • Abhaya Nayak
    • 1
  • Robert Demolombe
    • 2
  1. 1.Division of ICSMacquarie UniversityAustralia
  2. 2.ONERA-ToulouseToulouseFrance

Personalised recommendations