Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols

  • Jaime Ramírez
  • Angélica de Antonio
Conference paper

DOI: 10.1007/11759683_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3963)
Cite this paper as:
Ramírez J., de Antonio A. (2006) Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols. In: Dikenelli O., Gleizes MP., Ricci A. (eds) Engineering Societies in the Agents World VI. ESAW 2005. Lecture Notes in Computer Science, vol 3963. Springer, Berlin, Heidelberg

Abstract

The paper presents a method that can detect inconsistencies in the reasoning carried out by a deliberative agent in a changing environment. The verified agent operates on a description of the world represented by means of an OWL Lite ontology, and utilizes production rules to take decisions related to its future behaviour. The considered kind of rules allows for representing non-monotonic reasoning and linear arithmetic constraints in the rule antecedents. The proposed method can specify the scenarios in which the agent would deduce an inconsistency. A scenario is defined to be a description of the initial agent’s state (in the agent life cycle), a deductive tree of rule firings, and a partially ordered set of messages and/or stimuli schemas that the agent must receive from other agents and/or the environment. Besides, the method will make sure that the scenarios will be valid w.r.t. the communication protocols in which the agent is involved.

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

  • Jaime Ramírez
    • 1
  • Angélica de Antonio
    • 1
  1. 1.Technical University of MadridMadridSpain

Personalised recommendations