By Topic

Multi-Agent Cooperation Logic with Actions and Normative Ability

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Xian-Wei Lai ; Coll. of Math. & Comput. Sci., Fuzhou Univ. ; Shan-Li Hu ; Zheng-Yuan Ning

The logical analysis of cooperation ability of agents has entered the mainstream of multi-agent systems research. In this paper, the cooperation logic called normative alternating-time temporal logic with actions is developed to extend the alternating-time temporal logic. Three main contributions have been made. Firstly, the assumption is not valid any more that different agents cannot control the same actions which obviously does not fit human commonsense understanding of the world. Secondly, several functions are brought in to make it possible to deal with the relation between agents and actions and the relation between actions and states separately. Finally, actions and normative ability are represented in the object language at the same time, so that the flexibility and expressive power of cooperation logics have been greatly improved. It can be used in reasoning about multi-agent systems, as well as in formalizing social contract. A case study is also given at last

Published in:

Machine Learning and Cybernetics, 2006 International Conference on

Date of Conference:

13-16 Aug. 2006