Sciweavers

226 search results - page 26 / 46
» Conservative Belief Revision
Sort
View
LOGCOM
2007
141views more  LOGCOM 2007»
13 years 7 months ago
Conciliation through Iterated Belief Merging
Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes ...
Olivier Gauwin, Sébastien Konieczny, Pierre...
DEON
2008
Springer
13 years 9 months ago
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
Guido Governatori, Antonino Rotolo
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...
DEXAW
2000
IEEE
74views Database» more  DEXAW 2000»
13 years 12 months ago
Retrieval Situations and Belief Change
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
David E. Losada, Alvaro Barreiro