Affordable Access

Using multiple models of reality: on agents who know how to play safer

University of Twente
Publication Date
  • Logic


This thesis considers some aspects of multi-agent systems, seen as a metaphor for reasoning about the world, and providing a conceptual machinery that can be used to model and analyze the reality in which an agent is embedded. First, we study several modal logics for multi-agent systems; in particular, Alternating-time Temporal Logic (ATL) is studied in various contexts. Then, a concept of multi-level modeling of reality and multi-level decision making is proposed in the second part of the thesis.

There are no comments yet on this publication. Be the first to share your thoughts.