본문 바로가기
  • Home

Knowledge and Strategic Ability based on Strategic Constraints

  • Journal of The Korea Society of Computer and Information
  • Abbr : JKSCI
  • 2009, 14(12), pp.33-40
  • Publisher : The Korean Society Of Computer And Information
  • Research Area : Engineering > Computer Science

구자록 1

1울산대학교

Accredited

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.

Citation status

* References for papers published after 2023 are currently being built.