By Topic

Coalition Logic of Propositional Control Based Multi Agent System Modeling

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

2 Author(s)
Oravec, V. ; Inst. of Informatics, Slovak Acad. of Sci., Bratislava ; Fogel, J.

Modeling of multi agent system behavior is very important part in the designing process. There are numerous logics which can fulfil this task. Several of them create group of logics called cooperation logics, which can model agent's cooperation behavior in the system. This paper presents an application of cooperation logic called coalition logic of propositional control (CL-PC) by van der Hoek and Wooldridge (2005). Similar logics such as alternating-time temporal logics look on the cooperation between agents like a sequence of actions, but CL-PC handles this cooperation problem by defining coalitions. The proposed application is a part of a discrete event dynamic system simulator based on agent technology which implements concurrent operation specification language. The main goal of this simulator's part is to transport of data between control logic generator and controlled discrete event system. Agents have to find a coalition which is able to transport data from its source into right destination

Published in:

Mechatronics, 2006 IEEE International Conference on

Date of Conference:

3-5 July 2006