Reasoning about Belief, Goal and Exceptions in Multi-agent Cooperation Logics
When specifying mental states such as belief andgoal of agents,temporal logics are often adopted asbasic tools.Although there are work on non-monotonic extension of linear temporal logic LTLand branching time temporal logic CTL,the non-monotonic extension of alternating-time temporallogic A TL which is an important kind of multi-agentcooperation logics has not been discussed yet inliterature.To solve this problem,this paperproposed non-monotonic alternating-time temporallogic with belief and goal,namely N-ATL-GB tofacilitate the non-monotonic reasoning of mentalstates of agents.Firstly,Concurrent GameStructures of ATL are extended by strong and weakexceptions,two kinds of modal operators areintroduced into the syntax of N-ATL-GB,andexceptions removing model is built.Secondly,thecorresponding model checking algorithm which canbe finished in polynomial time is proposedExamples are given to show the usage of this newlogic at last.
Xianwei Lai Shanli Hu Zhengyuan Ning Xiuli Wang
Dept.of Computer Science and Technology,Fujian Agri.and Fore.University,Fuzhou,China Dept.of Computer Science and Technology,Fuzhou University,Fuzhou,China;Key Laboratory for Computer S
国际会议
厦门
英文
1271-1275
2008-11-17（万方平台首次上网日期，不代表论文的发表时间）