Theories of intentions in the framework of situation calculus

Authors:
Pilar Pozos Parra;Abhaya Nayak;Robert Demolombe
Affiliations:
Division of ICS, Macquarie University, NSW, Australia;Division of ICS, Macquarie University, NSW, Australia;ONERA-Toulouse, Toulouse, France
Venue:
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Year:
2004

Citing 9
Cited 5

Intention is choice with commitment

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications

Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Verification within the KARO Agent Theory

FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
The frame problem and knowledge-producing actions

AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Dynamics of declarative goals in agent programming

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

The semantics of MALLET–An agent teamwork encoding language

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Representational content and the reciprocal interplay of agent and environment

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The chisholm paradox and the situation calculus

ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Intention recognition in the situation calculus and probability theory frameworks

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Reasoning about the intentions of agents

Logic Programs, Norms and Action

Quantified Score

Hi-index	0.00

Visualization

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.