Coalition Logic of Propositional Control Based Multi Agent System Modeling

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 app...

Full description

Saved in:
Bibliographic Details
Main Authors: Oravec, V., Fogel, J.
Format: Conference Proceeding
Language:English
Subjects:
Control system synthesis
Discrete event simulation
Discrete event systems
Informatics
Information technology
Logic design
Modeling
Multiagent systems
Process design
Specification languages
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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
DOI:10.1109/ICMECH.2006.252540