Hirofumi Katsuno, Alberto O. Mendelzon  Home/Search
Context Related
Links: DBLP | toronto.edu/db/papers/cup.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: toronto.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we argue that no such set of postulates will be adequate for every application. In particular, we make a fundamental distinction between two kinds of modifications to a knowledge base. The first one, update, consists of bringing the knowledge base up to date when the world described by it changes. For example, most database updates are of this variety, e.g. "increase Joe's salary by 5%". Another example is the incorporation into the knowledge base of changes caused in the world by... (Update)
Cited by: More
Elaborating Domain Descriptions - Laurent (2006) (Correct)
Constructive Modellings for Theory Change - Pavlos Peppas Mary-Anne (1995) (Correct)
On Computing Belief Change Operations Using Quantified.. - Delgrande, Schaub, al. (Correct)
Active bibliography (related documents): More All
1.3: Updates and Counterfactuals - Grahne (1991) (Correct)
0.5: How Hard is it to Revise a Belief Base? - Nebel (1996) (Correct)
0.3: Knowledgebase Transformations - Grahne, Mendelzon, Revesz (1992) (Correct)
Similar documents based on text: More All
0.6: On Persistent Semantics for Knowledge Base Update - Zhang, Foo (1993) (Correct)
0.6: Update Postulates Without Inertia - Dubois, de Saint-Cyr, Prade (1995) (Correct)
0.5: Syntax-Based Approaches to Belief Revision - Nebel (1992) (Correct)
Related documents from co-citation: More All
35: Reasoning about action using a possible models approach (context) - Winslett - 1988
20: Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
19: Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1991
BibTeX entry: (Update)
H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91), pages 387--394. http://citeseer.ist.psu.edu/417296.html More
@incollection{ katsuno91difference,
author = "Hirofumi Katsuno and Alberto Mendelzon",
title = "On the Difference Between Updating a Knowledge Base and Revising It",
booktitle = "{KR}'91: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Mateo, California",
editor = "James F. Allen and Richard Fikes and Erik Sandewall",
pages = "387--394",
year = "1991",
url = "citeseer.ist.psu.edu/417296.html" }
Citations (may not include all citations):663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
199 Reasoning about action using a possible models approach (context) - Winslett - 1988 DBLP
188 Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
156 Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1990 ACM DBLP
149 the logic of theory change: partial meet contraction and rev.. (context) - Alchourr'on, Gardenfors et al. - 1985
72 Updating Logical Databases (context) - Winslett - 1990 ACM DBLP
56 A knowledge level analysis of belief revision - Nebel - 1989 ACM
30 A unified view of propositional knowledge base updates (context) - Katsuno, Mendelzon - 1989 DBLP
28 How to give it up: A survey of some formal aspects of the lo.. (context) - Makinson - 1985
27 Conditional logic (context) - Nute - 1984
8 Minimal change and maximal coherence: A basis for belief rev.. (context) - Rao, Foo - 1989
5 Theory revision semantics for use in reasoning about action (context) - Winslett - 1989
4 Updates and Subjunctive Queries (context) - Grahne, Mendelzon - 1991 ACM DBLP
2 Conditionals and monotonic belief revisions: the success pos.. (context) - Costa - 1989
2 An Epistemic Approach to Conditionals (context) - Gardenfors - 1981
2 The Gardenfors impossibility theorem in non-monotonic contex.. (context) - Makinson - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.toronto.edu.html): More
Exploiting Cache Affinity in Software Cache Coherence - Li, Sevcik (1994) (Correct)
A New Approach to Tracking 3D Objects in 2D Image Sequences - Chan, Metaxas, Dickinson (1994) (Correct)
GraphLog: a Visual Formalism for Real Life Recursion - Consens (1990) (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