Formal consistency verification of deliberative agents with respect to communication protocols

摘要: The aim of this paper is to show a method that able detect inconsistencies in the reasoning carried out by deliberative agent. agent supposed be provided with hybrid Knowledge Base expressed language called CCR-2, based on production rules and hierarchies frames, which permits representation non-monotonic reasoning, uncertain arithmetic constraints rules. can give specification scenarios would deduce an inconsistency. We define scenario description initial agent's state (in life cycle), deductive tree rule firings, partially ordered set messages and/or stimuli must receive from other agents environment. Moreover, will make sure valid w.r.t. communication protocols involved.