Paper Info
Title
Formal consistency verification of deliberative agents with respect to communication protocols
Abstract
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a hybrid Knowledge Base expressed in a language called CCR-2, based on production rules and hierarchies of frames, which permits the representation of non-monotonic reasoning, uncertain reasoning and arithmetic constraints in the rules. The method can give a specification of the scenarios in which the agent would deduce an inconsistency. We define a scenario 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 that the agent must receive from other agents and/or the environment. Moreover, 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
2004
10.1007/978-3-540-30960-4_15
FAABS
Keywords
Field
DocType
uncertain reasoning,hybrid knowledge base,communication protocol,non-monotonic reasoning,production rule,agent life cycle,formal consistency verification,deductive tree,initial agent,deliberative agent,arithmetic constraint,knowledge base,partially ordered set,consistency,hierarchies,communication networks,knowledge based systems,life cycle
Telecommunications network,Knowledge-based systems,Artificial intelligence,Knowledge base,Hierarchy,Partially ordered set,Mathematics,Communications protocol
Conference
Volume
ISSN
ISBN
3228
0302-9743
3-540-24422-0
Citations 
PageRank 
References 
1
0.36
9
Authors
2
Name
Order
Citations
PageRank
Jaime Ramírez111416.36
Angélica de Antonio216127.23