Sciweavers

ATAL
2006
Springer

Belief revision for AgentSpeak agents

13 years 7 months ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and support for ontological reasoning, which imply a need for belief revision within an AgentSpeak agent. In this paper, we show how a polynomial-time belief-revision algorithm can be incorporated into the Jason AgentSpeak interpreter. To the best of our knowledge, this is the first attempt to include belief revision within an interpreter for a practical agent programming language. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence--Intelligent Agents, Multiagent Systems; I.2.5 [Artificial Intelligence]: Programming Languages and Software; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving--Nonmonotonic reasoning and belief revision General Terms Languages Keywords Belief Revision, BDI, AgentSpeak, Jason
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATAL
Authors Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
Comments (0)