Automating Belief Revision for AgentSpeak
- Cite this paper as:
- Alechina N., Bordini R.H., Hübner J.F., Jago M., Logan B. (2006) Automating Belief Revision for AgentSpeak. In: Baldoni M., Endriss U. (eds) Declarative Agent Languages and Technologies IV. DALT 2006. Lecture Notes in Computer Science, vol 4327. Springer, Berlin, Heidelberg
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and support for reasoning with ontological knowledge, which imply the 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 by making use of Jason’s language constructs and customisation features. This is one of the first attempts to include automatic belief revision within an interpreter for a practical agent programming language.
Unable to display preview. Download preview PDF.