Belief and Knowledge Reasoning  

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

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

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

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

摘　　要：Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account,but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL,a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL,i.e.,the presented logic is better for further study of multi-agent systems.Alternating-time Temporal Epistemic Logic （ATEL） which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multiagent cooperation logic named ATBKL （Alternating-time Temporal Belief and Knowledge Logic） was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i. e., the presented logic is better for further study of multi-agent systems.

关 键 词：multi-agent cooperation logic BELIEF KNOWLEDGE 

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