Sciweavers

212 search results - page 12 / 43
» Belief Revision and Rationalizability
Sort
View
ENTCS
2006
129views more  ENTCS 2006»
13 years 7 months ago
The Algebra of Multi-Agent Dynamic Belief Revision
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
Alexandru Baltag, Mehrnoosh Sadrzadeh
AAAI
2008
13 years 9 months ago
Horn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
Marina Langlois, Robert H. Sloan, Balázs Sz...
JANCL
2007
106views more  JANCL 2007»
13 years 7 months ago
Dynamic logic for belief revision
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
Johan van Benthem
AUSAI
1999
Springer
13 years 11 months ago
Minimal Belief Change and Pareto-Optimality
This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decisiontheoretic principle of Pareto-optimality to derive a no...
Oliver Schulte
JAIR
2006
117views more  JAIR 2006»
13 years 7 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer