Interpreted systems and game structures

Author

Koo, Jarok

Author_Institution

School of Electrical Engineering, University of Ulsan, Ulsan Korea

fYear

2012

fDate

18-21 Sept. 2012

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Strategic Technology (IFOST), 2012 7th International Forum on

Conference_Location

Tomsk

Print_ISBN

978-1-4673-1772-6

Type

conf

DOI

10.1109/IFOST.2012.6357653

Filename

6357653