On the Logic of Cellular Reactive Systems

In multi-agent systems where the available actions of each agent are determined by its state change history, a small change in the states of any subset of the agents, caused by an external force, may induce an infinite chain of events which force the system to undergo a complex evolvement process, e...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02 Jg. 2; S. 241 - 248
Hauptverfasser: Wu, Jun, Wang, Chongjun, Tu, Xiaosong, Xie, Junyuan
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Washington, DC, USA IEEE Computer Society 15.09.2009
IEEE
Schriftenreihe:ACM Conferences
Schlagworte:
Atmosphere
Chaos
Computer systems organization > Architectures > Parallel architectures > Cellular architectures
Computing methodologies > Artificial intelligence > Distributed artificial intelligence > Multi-agent systems
Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies
Conferences
Hardware > Emerging technologies > Quantum technologies > Quantum dots and cellular automata
History
Intelligent agent
Large-scale systems
Logic
Marine technology
Multiagent systems
Theory of computation > Models of computation
Tornadoes
ISBN:0769538010, 9780769538013
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In multi-agent systems where the available actions of each agent are determined by its state change history, a small change in the states of any subset of the agents, caused by an external force, may induce an infinite chain of events which force the system to undergo a complex evolvement process, even when the interconnections between the agents are partial. This scenario is common in modeling the interactions in complex systems and can be manifested vividly by the well-known ``butterfly effect". Motivated by the idea of cellular automata, cellular reactive system is defined to capture the dynamics of such multi-agent systems. Then, the logic CRL is proposed to reason about the temporal effects of external forces in a cellular reactive system. Finally, the relation between CRL and ATL* is established formally and based on which the model checking problem of CRL is discussed.
ISBN:0769538010
9780769538013
DOI:10.1109/WI-IAT.2009.156