Sciweavers

240 search results - page 19 / 48
» A Logic for Reasoning about Rational Agents
Sort
View
AAAI
1996
15 years 1 months ago
Splitting a Default Theory
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
Hudson Turner
AIA
2006
15 years 1 months ago
Some Semantics for a Logical Language for the Game of Dominoes
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
Fernando R. Velázquez-Quesada, Francisco He...
ICNC
2005
Springer
15 years 5 months ago
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
Xinyu Zhao, Zuoquan Lin
IAT
2009
IEEE
14 years 9 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, ...
TARK
2009
Springer
15 years 6 months ago
A logical characterization of iterated admissibility
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
Joseph Y. Halpern, Rafael Pass