Cart (Loading....) | Create Account
Close category search window
 

N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems

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 ; Dept. of Comput. Sci. & Technol., Fujian Agric. & Forestry Univ., Fuzhou ; Xianwei Lai ; Shanli Hu ; Xiuli Wang

When specifying goals of agents, temporal logics such as linear temporal logic LTL and branching time temporal logic CTL are adopted as basic tools. In order to specify goals in view of multi-agent cooperation which is one aspect of social interaction, two logic frameworks are proposed in this paper based on alternating-time temporal logic ATL. Firstly, ATL is extended with strong and weak exceptions so as to facilitate non-monotonic reasoning of goals, and N-ATL whose model checking complexity is PTIME-complete is proposed. As far as we know, N-ATL is the first multi-agent cooperation logic that takes non-monotonic reasoning into account in the literature. Secondly, ATL is extended with goal operator which is one kind of modal operators, and ATL-G whose model checking complexity is also PTIME-complete is proposed. Examples are introduced to show the usage of these two new multi-agent cooperation logics whose properties are analyzed as well.

Published in:

Networked Computing and Advanced Information Management, 2008. NCM '08. Fourth International Conference on  (Volume:1 )

Date of Conference:

2-4 Sept. 2008

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.