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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02 Ročník 2; s. 241 - 248
Hlavní autoři: Wu, Jun, Wang, Chongjun, Tu, Xiaosong, Xie, Junyuan
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 15.09.2009
IEEE
Edice:ACM Conferences
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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