전략적 제한에 기초한 지식 및 전략 시스템

다국어 초록 (Multilingual Abstract)

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.

참고문헌 (Reference)

1 이근수, "멀티 에이전트를 이용한 인터넷 채용 협상 시스템의 구현" 한국컴퓨터정보학회 11 (11): 341-350, 2006

2 우종우, "멀티 에이전트 기반의 지능형 시뮬레이션 도구의 개발" 한국컴퓨터정보학회 12 (12): 21-30, 2007

3 Wiebe van der Hoek, "Tractable Multiagent Planning for Epistemic Goals" 1167-1174, 2002

4 W. Jamroga, "Some remarks on alternating-time temporal epistemic logic" 133-140, 2004

5 R. Fagin, "Reasoning about Knowledge" MIT Press 1995

6 Wojciech Jamroga, "On Obligations and Abilities" 165-181, 2004

7 Paul Harrenstein, "On Modal Logic Interpretations of Games" 2002

8 Sieuwert van Otterloo, "On Epistemic Temporal Strategic Logic" 126 : 77-92, 2005

9 Franco Raimondi, "Model Checking Multi-Agent Systems" University of London 2006

10 Alessio Lomuscio, "Model Checking Knowledge, Strategies, and Games in Multi-Agent Systems"

11 Clark, Grumberg, "Model Checking" The MIT Press 1999

12 A. Lomuscio, "MCMAS: A model checker for the verification of multi-agent systems" Springer 682-688,

13 F. Raimondi and A. Lomuscio, "MCMAS - A tool for verification of multi-agent systems"

14 Wojciech Jamroga, "Knowledge and Strategic Ability for Model Checknig: A Refined Approach" IfI 2008

15 P. Blackburn, "Handbook of Modal Logic" Elsevier 2007

16 G. Jonker, "Feasible strategies in alternating-time temporal epistemiclogic" Universiteit Utrecht 2003

17 Alessio Lomuscio, "Deontic Interpreted Systems" 75 (75): 63-92, 2003

18 V. Goranko, "Comparing Semantics of Logics for Multi-agent Systems" 1-41, 2004

19 Stuart Russel, "Artificial Intelligence-A Modern Approach" Prentice Hall 2003

20 Martin J. Osborne, "An Introduction to Game Theory" Oxford University Press 2004

21 Pierre-Yves Schobbens, "Alternating-time logic with imperfect recall" 85 : 1-12, 2004

22 Rajeev Alur, "Alternating-Time Temporal Logic" 49 (49): 672-713, 2002

23 Sieuwert van Otterloo, "A Strategic Analysis of Multi-agent Protocols" University of Liverpool 2005