Using Multiple Models of Reality: On Agents who Know how to Play Safer

Wojciech Janusz Jamroga

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    96 Downloads (Pure)


    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.
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Twente
    • Nijholt, Anton, Supervisor
    • van der Hoek, Wiebe, Co-Supervisor, External person
    • Zwiers, Jakob, Co-Supervisor
    Award date1 Jul 2004
    Place of PublicationEnschede
    Print ISBNs90-75296-11-8
    Publication statusPublished - 1 Jul 2004


    • HMI-IA: Intelligent Agents


    Dive into the research topics of 'Using Multiple Models of Reality: On Agents who Know how to Play Safer'. Together they form a unique fingerprint.

    Cite this