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

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan
• Keywords: Artificial Intelligence, ATAL 2006, Belief Revision, Intelligent Agents, Programming Languages