Title :
Interpreted systems and game structures
Author_Institution :
School of Electrical Engineering, University of Ulsan, Ulsan Korea
Abstract :
An interpreted system is a formal description of the computations carried out by a set of agents. And also interpreted systems have been proven a suitable formalism for reasoning about temporal and epistemic properties of agents. Alternating-time temporal logic(ATL) is a temporal logic that incorporates some basic game theoretical notions. Interpreted systems and the concurrent game structures in ATL are closely related. So we study the differences and similarities between the interpreted systems and the game structures for the notions like time, knowledge, strategy for analyzing the behavior of agents and multi-agent systems.
Keywords :
game theory; inference mechanisms; multi-agent systems; temporal logic; ATL; agent behavior analysis; alternating-time temporal logic; concurrent game structures; game theoretical notions; interpreted systems; multiagent system behavior analysis; reasoning-about-epistemic properties; Cognition; Educational institutions; Games; Joints; Multiagent systems; Protocols; Semantics; ATL(Alternating-Time Temporal Logic); concurrent game structures; interpreted systems; multi-agent systems;
Conference_Titel :
Strategic Technology (IFOST), 2012 7th International Forum on
Conference_Location :
Tomsk
Print_ISBN :
978-1-4673-1772-6
DOI :
10.1109/IFOST.2012.6357653
