Belief revision for AgentSpeak agents
Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Thomas Jago, Brian S. Logan · 2006
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.