Automating Belief Revision for AgentSpeak

  • Natasha Alechina
  • Rafael H. Bordini
  • Jomi F. Hübner
  • Mark Jago
  • Brian Logan
Conference paper

DOI: 10.1007/11961536_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4327)
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

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Natasha Alechina
    • 1
  • Rafael H. Bordini
    • 2
  • Jomi F. Hübner
    • 3
  • Mark Jago
    • 1
  • Brian Logan
    • 1
  1. 1.School of Computer ScienceUniversity of NottinghamNottinghamUK
  2. 2.Dept. of Computer ScienceUniversity of DurhamDurhamUK
  3. 3.Dept. Sistemas e ComputaçãoUniv. Regional de BlumenauBlumenauBrazil

Personalised recommendations