Sciweavers

212 search results - page 7 / 43
» Belief Revision and Rationalizability
Sort
View
DLOG
2008
13 years 9 months ago
A Kernel Revision Operator for Terminologies
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pa...
AAAI
1998
13 years 8 months ago
Belief Revision with Unreliable Observations
Research in belief revision has been dominated by work that lies firmly within the classic AGM paradigm, characterized by a well-known set of postulates governing the behavior of ...
Craig Boutilier, Nir Friedman, Joseph Y. Halpern
LOGCOM
2008
99views more  LOGCOM 2008»
13 years 7 months ago
Three Scenarios for the Revision of Epistemic States
This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often present...
Didier Dubois
SLOGICA
2002
74views more  SLOGICA 2002»
13 years 7 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
FUIN
2002
76views more  FUIN 2002»
13 years 7 months ago
Making revision reversible: an approach based on polynomials
This paper deals with iterated belief change and proposes a drastic revision rule that modifies a plausibility ordering of interpretations in such a way that any world where the in...
Salem Benferhat, Didier Dubois, Sylvain Lagrue, Od...