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

Wojciech Janusz Jamroga

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

Wojciech Janusz Jamroga

Research output: Thesis › PhD Thesis - Research UT, graduation UT

267 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 language	English
Qualification	Doctor of Philosophy
Awarding Institution	University of Twente
Supervisors/Advisors	Nijholt, Anton, Supervisor van der Hoek, Wiebe, Co-Supervisor, External person Zwiers, J., Co-Supervisor
Award date	1 Jul 2004
Place of Publication	Enschede
Publisher	University of Twente
Print ISBNs	90-75296-11-8
Publication status	Published - 1 Jul 2004

Keywords

HMI-IA: Intelligent Agents

Access to Document

Thesis W.J. JamrogaFinal published version, 8.47 MB

Cite this

@phdthesis{9431d2573cc749bba04f6bd3b19765d8,

title = "Using Multiple Models of Reality: On Agents who Know how to Play Safer",

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.",

keywords = "HMI-IA: Intelligent Agents",

author = "Jamroga, \{Wojciech Janusz\}",

year = "2004",

month = jul,

day = "1",

language = "English",

isbn = "90-75296-11-8",

series = "CTIT Ph.D. Thesis Series",

publisher = "University of Twente",

number = "04-64",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation UT",

school = "University of Twente",

}

TY - THES

T1 - Using Multiple Models of Reality

T2 - On Agents who Know how to Play Safer

AU - Jamroga, Wojciech Janusz

PY - 2004/7/1

Y1 - 2004/7/1

N2 - 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.

AB - 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.

KW - HMI-IA: Intelligent Agents

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-75296-11-8

T3 - CTIT Ph.D. Thesis Series

PB - University of Twente

CY - Enschede

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this