Revision of knowledge bases using modification instead of revision
Abstract: We present three approaches to belief base revision, which are examined also in the case in which the sentences in the base are partitioned between those which can and those which cannot be changed; the approaches are shown to be semantically equivalent. A new approach is then presented, based on the modification of individual rules, instead of deletion. The resulting base is semantically equivalent to that generated by the other approaches, in the sense that it has the same models, but the... (Update)
Similar documents (at the sentence level):
57.1%: A New Approach to Base Revision - Di Giusto, Governatori (1999)
(Correct)
Active bibliography (related documents): More All
0.3: Analytic Modal Revision for Multi-agent Systems - Di Giusto, Governatori (1999)
(Correct)
0.2: Entrenchment and Retractability: A Preliminary Report - Nayak, Pagnucco, Foo, Kwok (1995)
(Correct)
0.2: Analysing Rational Properties of Change Operators.. - Bezzazi, Janot..
(Correct)
Similar documents based on text: More All
0.4: Representation Results for Defeasible Logic - Antoniou, Billington.. (2001)
(Correct)
0.3: A Semantic Decomposition of Defeasible Logics - Maher, Governatori
(Correct)
0.3: A Flexible Framework for Defeasible Logics - Antoniou, Billington.. (2000)
(Correct)
BibTeX entry: (Update)
@inproceedings{ revision-ai*ia,
author = {Di Giusto, Paolo and Governatori, Guido},
title = {Modifying Is Better Than Deleting: A New Approach To
Base Revision},
booktitle = {AI*IA 99},
editor = {Lamma, Evelina and Mello, Paola},
pages = {145-154},
year = 1999,
address = {Bologna},
publisher = {Pitagora},
url = {citeseer.ist.psu.edu/governatori99modifying.html} }
Citations (may not include all citations):
144
Knowledge in Flux (context) - Gardenfors - 1988
96
the semantics of Updates in Databases (context) - Fagin, Ullmann et al. - 1983
91
Artificial Intelligence (context) - Ginsberg - 1986
56
A Knowledge Level Analysis of Belief Revision
- Nebel - 1989
48
Syntax-based Approaches to Belief Revision
- Nebel - 1993
48
Nonmonotonic inference based on expectations (context) - Gardenfors, Makinson - 1994
46
Relations between the logic of Theory change and Nonmonotoni.. (context) - Makinson, Gardenfors - 1991
33
Theory contraction through base contraction (context) - Fuhrmann - 1991
18
A Survey of Multiple Contractions (context) - Fuhrmann, Hansson - 1994
18
the logic of theory change: safe contraction (context) - Alchourron, Makinson - 1985
17
Iterated Revision and Minimal Change of Conditional Beliefs
- Boutilier - 1996
13
A Dyadic Representation of Belief (context) - Hansson
6
Changing the Theory of Theory Change: Towards a Computationa.. (context) - Tennant - 1994
5
A Methodology for Iterated Theory Change (context) - Gabbay, Rodrigues - 1996
2
How to give up: a survey of some formal aspects of the logic.. (context) - Makinson - 1985
Documents on the same site (http://www.itee.uq.edu.au/~guido/Papers/index.html): More
KE+: Beyond Refutation - Governatori (1995)
(Correct)
Ideality and Subideality From a Computational Point of View - Governatori (1998)
(Correct)
Labelled Tableaux for Non-Normal Modal Logics - Governatori, Luppi (2000)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC