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

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02 Vol. 2; pp. 241 - 248
Main Authors: Wu, Jun, Wang, Chongjun, Tu, Xiaosong, Xie, Junyuan
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 15.09.2009
IEEE
Series:ACM Conferences
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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