Journal of the Korea Society of Computer and Information (한국컴퓨터정보학회논문지)

Korean Society of Computer Information (한국컴퓨터정보학회)
권호 표지
DOI QR코드

DOI QR Code

Knowledge and Strategic Ability based on Strategic Constraints

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

  • 구자록 (울산대학교 컴퓨터정보통신공학부)
  • Published : 2009.12.31
Download PDF
⟨ Previous Next ⟩

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.

다중에이전트 시스템의 분석에 중요한 시간, 지식, 그리고 전략에 관한 개념들을 구체화하기 위해 번역시스템(Interpreted Systems)과 ATL및 ATEL을 살펴보고, 특히 ATEL의 문제점, 즉 하나의 에이전트는 그 자신의 상태에 대해 확실한 정보를 갖지 못하더라도 전략을 구성함에 있어서 전체 시스템의 현재 상태에 접근할 수 있으며, 또한 ATEL의 불명확한 행위들에 대한 표현은 일반적인 상황을 모델링하는 것을 어렵게 하는 문제점들을 해결하기 위한 방안으로 게임이론의 서브게임 완전한 나쉬평형 (subgame perfect Nash equilibrium)에 기초한 전략적 제한(strategic constraints)을 그 문제의 해결책으로 제안한다. 또한, 전략적 제한에 기초한 번역시스템을 다중에이전트 시스템에서의 모델체킹 (model checking)을 위한 하나의 방법으로 제안한다.

Keywords

References

  1. Martin J. Osborne, "An Introduction to Game Theory," Oxford University Press, 2004.
  2. Sieuwert van Otterloo, "A Strategic Analysis of Multi-agent Protocols," Ph.D. thesis, University of Liverpool, 2005.
  3. Stuart Russel, Peter Norvig, "Artificial Intelligence-A Modern Approach," Prentice Hall, 2003.
  4. Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman, "Alternating-Time Temporal Logic," Journal of the ACM, Vol. 49, No.5, pp.672-713, Sept. 2002. https://doi.org/10.1145/585265.585270
  5. V. Goranko, W. Jamroga, "Comparing Semantics of Logics for Multi-agent Systems," Synthese 00: pp.1-41, 2004.
  6. Franco Raimondi, "Model Checking Multi-Agent Systems," Ph.D. thesis, University of London, 2006.
  7. R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, "Reasoning about Knowledge," MIT Press, Cambridge, MA,1995.
  8. Alessio Lomuscio, Marek Sergot, "Deontic Interpreted Systems," Studia Logica, 75(1), pp.63-92, 2003. https://doi.org/10.1023/A:1026176900459
  9. Alessio Lomuscio, Franco Raimondi, "Model Checking Knowledge, Strategies, and Games in Multi-Agent Systems," AAMAS, '06.
  10. Wojciech Jamroga, Wiebe van der Hoek, and Michael Wooldridge, "On Obligations and Abilities," DEON 2004, LNAI 3065 , pp.165-181, 2004.
  11. Clark, Grumberg, and Peled, "Model Checking," The MIT Press, 1999.
  12. P. Blackburn, J. Van Benthem, and F. Wolter, "Handbook of Modal Logic," Elsevier, 2007.
  13. Sieuwert van Otterloo, Geert Jonker, "On Epistemic Temporal Strategic Logic," Electronic Notes in Theoretical Computer Science 126, pp.77-92, 2005.
  14. Wiebe van der Hoek, Michael Wooldridge, "Tractable Multiagent Planning for Epistemic Goals," Proceedings of the 1st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), pp.1167-1174, 2002.
  15. Pierre-Yves Schobbens, "Alternating-time logic with imperfect recall," Electronic Notes in Theoretical Computer Science 85, pp.1-12, 2004.
  16. G. Jonker, "Feasible strategies in alternating-time temporal epistemiclogic," Universiteit Utrecht Master Thesis, 2003.
  17. W. Jamroga, W. van der Hoek, "Some remarks on alternating-time temporal epistemic logic," Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS '03), pp.133-140, 2004.
  18. Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer, and Cees Witteveen, "On Modal Logic Interpretations of Games," Proceedings of ECAI, 2002.
  19. Wojciech Jamroga, "Knowledge and Strategic Ability for Model Checknig: A Refined Approach," IfI Technical Report Series IfI-07-11, 2008
  20. A. Lomuscio, H. Qu, F. Raimondi, "MCMAS: A model checker for the verification of multi-agent systems," Proceedings of the 21th International Conference on Computer Aided Verification (CAV 2009). Grenoble, France. Lecture Notes in Computer Science. Vol 5643 pp. 682-688. Springer.
  21. F. Raimondi and A. Lomuscio. "MCMAS - A tool for verification of multi-agent systems," 2009. http://www.cs.ucl.ac.uk/staff/f.raimondi/MCMAS/.
  22. 이근수, 윤선희, "멀티 에이전트를 이용한 인터넷 채용 협상 시스템의 구현," 한국 컴퓨터정보학회 논문지, 제11권, 제2호, 341-349쪽, 2006년 5월.
  23. 우종우, 김대령, "멀티 에이전트 기반의 지능형 시뮬레이션 도구의 개발," 한국 컴퓨터정보학회 논문지, 제12권, 제6호, 21-30쪽, 2007년 12월.