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

Wojciech Janusz Jamroga

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    56 Downloads (Pure)

    Abstract

    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
    Awarding Institution
    • University of Twente
    Supervisors/Advisors
    • Nijholt, Antinus, Supervisor
    • van der Hoek, W., Co-Supervisor, External person
    • Zwiers, Jakob, Co-Supervisor
    Award date1 Jul 2004
    Place of PublicationEnschede
    Publisher
    Print ISBNs90-75296-11-8
    Publication statusPublished - 1 Jul 2004

    Keywords

    • HMI-IA: Intelligent Agents

    Fingerprint

    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