Scheduled System Maintenance:
On Monday, April 27th, IEEE Xplore will undergo scheduled maintenance from 1:00 PM - 3:00 PM ET (17:00 - 19:00 UTC). No interruption in service is anticipated.
By Topic

Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic

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

4 Author(s)
Zhengyuan Ning ; Fujian Agric. & Forestry Univ., Fuzhou ; Xianwei Lai ; Shanli Hu ; Qingqing Zhan

The paradigm example of social interaction is cooperative problem solving, in which a group of autonomous agents choose to work together to achieve a common goal. In order to improve existing work on developing formal computing model for cooperative problem solving in multi-agent systems, several efforts are made in this paper. Firstly, a new multi-agent cooperation logic called ATI-BDI designed in our previous work is enhanced so as to make it more suitable for modeling cooperative problem solving. Secondly, basing on ATI-BDI, the cooperative problem solving process is formally described. The corresponding new computing models of cooperation recognition, team formation, plan formation and execution are developed. The iteration of these steps is also well considered. Several important properties are gained and proved finally.

Published in:

Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2007. SNPD 2007. Eighth ACIS International Conference on  (Volume:2 )

Date of Conference:

July 30 2007-Aug. 1 2007