Title :
Multi-agent belief and normative ability reasoning
Author :
Ning, Zheng-yuan ; Lai, Xian-wei ; Hu, Shan-Li ; Jian, Lin-xiang
Author_Institution :
Dept. of Comput. Sci. & Technol., Fujian Agric. & Forestry Univ., Fuzhou
Abstract :
Multi-agent cooperation logic gained great research interest in multi-agent systems community in the last five years. In this paper, general concurrent game structures are developed based on extending concurrent game structures. By introducing three kinds of belief operators into ATL (Alternating-time temporal logic), a new multi-agent cooperation logic named ATBL (alternating-time temporal belief logic) is developed. And then normative ability is introduced into ATBL, and NATBL is developed. Further research is undertaken to model cooperative problem solving process based on these new logics.
Keywords :
belief networks; game theory; multi-agent systems; temporal logic; alternating-time temporal belief logic; belief operators; concurrent game structures; multiagent belief; multiagent cooperation logic; multiagent systems; normative ability reasoning; Agriculture; Artificial intelligence; Computational complexity; Computer science; Cybernetics; Forestry; Logic; Machine learning; Multiagent systems; Problem-solving; Normative ability; alternating-time temporal logic; belief; epistemic logic; multi-agent systems;
Conference_Titel :
Machine Learning and Cybernetics, 2008 International Conference on
Print_ISBN :
978-1-4244-2095-7
Electronic_ISBN :
978-1-4244-2096-4
DOI :
10.1109/ICMLC.2008.4620542
