Sciweavers

102 search results - page 3 / 21
» On the Epistemic Foundations of Agent Theories
Sort
View
ATAL
2005
Springer
14 years 1 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
AAAI
1996
13 years 8 months ago
On the Foundations of Qualitative Decision Theory
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...
Ronen I. Brafman, Moshe Tennenholtz
ATAL
2008
Springer
13 years 9 months ago
Coalitions and announcements
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
Thomas Ågotnes, Hans P. van Ditmarsch
IAT
2009
IEEE
13 years 5 months ago
Strategic Ability Update: A Modal Logic Account
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
AAMAS
2002
Springer
13 years 7 months ago
The Implications of Philosophical Foundations for Knowledge Representation and Learning in Agents
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
Nicholas Lacey, Mark Lee