다중에이전트 시스템의 분석에 중요한 시간, 지식, 그리고 전략에 관한 개념들을 구체화하기 위해 번역시스템(Interpreted Systems)과 ATL및 ATEL을 살펴보고, 특히 ATEL의 문제점, 즉 하나의 에이전트는 그 자신의 상태에 대해 확실한 정보를 갖지 못하더라도 전략을 구성함에 있어서 전체 시스템의 현재 상태에 접근할 수 있으며, 또한 ATEL의 불명확한 행위들에 대한 표현은 일반적인 상황을 모델링하는 것을 어렵게 하는 문제점들을 해결하기 위한 방안으로 게임이론의 서브게임 완전한 나쉬평형 (subgame perfect Nash equilibrium)에 기초한 전략적 제한(strategic constraints)을 그 문제의 해결책으로 제안한다. 또한, 전략적 제한에 기초한 번역시스템을 다중에이전트 시스템에서의 모델체킹 (model checking)을 위한 하나의 방법으로 제안한다.
We study Interpreted Systems, ATL, and ATEL to capture the notion of time, knowledge, and strategy which are important in the analysis of multi-agent systems and propose strategic constraints based on subgame perfect Nash equilibrium of game theory as one of the solutions for the issues of ATEL which an agent can access the current state of the whole system when making up his strategy even when he should be uncertain about the state, and no explicit representation of actions in ATEL models makes some natural situations harder to model. Also, we present strategic constraints-based Interpreted Systems for model checking of multi-agent systems.
