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

Volume

2

fYear

2008

Firstpage

953

Lastpage

956

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Machine Learning and Cybernetics, 2008 International Conference on

Print_ISBN

978-1-4244-2095-7

Electronic_ISBN

978-1-4244-2096-4

Type

conf

DOI

10.1109/ICMLC.2008.4620542

Filename

4620542