Interpreted systems and game structures
Ja-Rok Koo · 2012
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.