Sciweavers

Share
DALT
2004
Springer

Theories of Intentions in the Framework of Situation Calculus

10 years 3 months ago
Theories of Intentions in the Framework of Situation Calculus
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.
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robe
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where DALT
Authors Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe
Comments (0)
books