Alternating-time Temporal Belief and Knowledge Logic in Multi-agent Systems
Multi-agent cooperation logics,which providepowerful tool for modeling knowledge-based systems andcooperative problem solving process,gained greatresearch interest in multi-agent systems community in thelast five years.ATEL(Alternating-time TemporalEpistemic Logic)which is an important kind of multi-agent cooperation logics only takes knowledge intoaccount,but does not deal with belief of agents.To solvethis problem,firstly,general concurrent game structuresare developed by extending concurrent game structures.Secondly,by introducing three kinds of belief operatorsinto ATEL,a new multi-agent cooperation logic namedATBKL (Alternating-time Temporal Belief andKnowledge Logic)is developed.Thirdly,a modelchecking algorithm is presented,and it is proved that themodel checking complexity of ATBKL is PTIME-complete.Lastly,several desired properties of ATBKL are gainedand proved.As a result,an expressive and powerful toolis developed for knowledge-based systems modeling.Further research is undertaken to model cooperativeproblem solving process based on this new logic.
Zhengyuan Ning Xianwei Lai Shanli Hu Xiuli Wang
Dept.of Computer Science and Technology,Fujian Agri.and Fore.University,Fuzhou,China Dept.of Computer Science and Technology,Fujian Agri.and Fore.University,Fuzhou,China The Correspondi Dept.of Computer Science and Technology,Fuzhou University,Fuzhou,China;Key Laboratory for Computer S
国际会议
厦门
英文
1357-1362
2008-11-17（万方平台首次上网日期，不代表论文的发表时间）