Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/149734
4 Visitors
5 Hits
0 Downloads
- Title
- Theories of intentions in the framework of situation calculus
- Related
- International Workshop on Declarative Agent Languages and Technologies (2nd : 2004) (19 July 2004 : New York)
- Related
- Leite, João; Omicini, Andrea; Torroni, Paolo and Yolum, Pinar. Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers, p.19-34
- DOI
- 10.1007/11493402_2
- Related
- Lecture notes in computer science Vol. 3476
- Publisher
- Berlin : Springer Verlag
- Date
- 2005
- FoR/RFCD Code(s)
-
080400 Data Format
- Author/Creator
- Pozos Parra, Pilar
- Author/Creator
- Nayak, Abhaya
- Author/Creator
- Demolombe, Robert
- Description
- 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.
- Description
- 16 page(s)
- Subject Keyword
- 080400 Data Format
- Resource Type
- conference paper
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/149734
- Identifier
- ISBN:9783540261728
- Identifier
- ISSN:0302-9743
- Identifier
- mq-rm-2005003187
- Language
- eng
- Reviewed
