Multi-agent Belief,Goal and Exceptions Reasoning  

作　　者：赖贤伟 胡山立 宁正元 王秀丽 

机构地区：[1]Institute of Computer Application,Fujian Agriculture and Forestry University [2]Department of Computer Science and Technology,Fuzhou University

出　　处：《Journal of Donghua University(English Edition)》2010年第2期165-168,共4页东华大学学报（英文版）

基　　金：Natural Science Foundation of Fujian Province of China ( No.2006J0316);College Scientific and Technological Project of Office of Education of Fujian Province of China ( No.JB09302);Scientific Research Foundation for Young Teachers ofFujian Agriculture and Forestry University, China (No.08B21)

摘　　要：Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Although there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL),the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem,this paper proposed non-monotonic alternating-time temporal logic with belief and goal,namely N-ATL-BG,to facilitate the non-monotonic reasoning of mental states of agents. The semantic model,syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Although there are works on non-monotonic extension of linear temporal logic （LTL） and branching time temporal logic （CTL）, the non-monotonic extension of alternating-time temporal logic （ATL） which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.

关 键 词：multi-agent cooperation logic mental states EXCEPTIONS 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] N945[自动化与计算机技术—控制科学与工程]