Theories of intentions in the framework of situation calculus

Pilar Pozos Parra*, Abhaya Nayak, Robert Demolombe

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

7 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies II
Subtitle of host publicationSecond InternationalWorkshop, DALT 2004 NewYork, NY, USA, July 19, 2004 Revised Selected Papers
EditorsJoão Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Number of pages16
Volume3476 LNAI
ISBN (Print)3540261729, 9783540261728
Publication statusPublished - Jul 2005
Event2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004 - New York, United States
Duration: 19 Jul 200419 Jul 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3476 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349


Other2nd International Workshop on Declarative Agent Languages and Technologies II, DALT - 2004
Country/TerritoryUnited States
CityNew York


Dive into the research topics of 'Theories of intentions in the framework of situation calculus'. Together they form a unique fingerprint.

Cite this