Paper Info
Title
Consistency verification of the reasoning in a deliberative agent with respect to the communication protocols
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.
Year
DOI
Venue
2005
10.1007/11759683_6
ESAW
Keywords
Field
DocType
owl lite ontology,communication protocol,rule antecedent,non-monotonic reasoning,agent life cycle,consistency verification,initial agent,deliberative agent,utilizes production rule,rule firing,partially ordered set,life cycle
Decision rule,Ontology,Computer science,Semantic Web,Property (programming),Data integrity,Circumscription,Artificial intelligence,Web service,Communications protocol
Conference
Volume
ISSN
ISBN
3963
0302-9743
3-540-34451-9
Citations 
PageRank 
References 
0
0.34
8
Authors
2
Name
Order
Citations
PageRank
Jaime Ramírez111416.36
Angélica de Antonio216127.23