Table of Contents
ISRN Artificial Intelligence
Volume 2013, Article ID 632319, 11 pages
Research Article

Belief Revision in the GOAL Agent Programming Language

Algorithms, Logic and Graphs Section, Department of Applied Mathematics and Computer Science, Technical University of Denmark, Matematiktorvet, Building 303B, 2800 Kongens Lyngby, Denmark

Received 31 May 2013; Accepted 15 July 2013

Academic Editors: C. Kotropoulos, L. Mikhailov, and B. Schuller

Copyright © 2013 Johannes Svante Spurkeland et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


Agents in a multiagent system may in many cases find themselves in situations where inconsistencies arise. In order to properly deal with these, a good belief revision procedure is required. This paper illustrates the usefulness of such a procedure: a certain belief revision algorithm is considered in order to deal with inconsistencies and, particularly, the issue of inconsistencies, and belief revision is examined in relation to the GOAL agent programming language.