See this document in CiteSeerX!

Investigations Into a Theory of Knowledge Base Revision (1988)  (Make Corrections)  (120 citations)
Mukesh Dalal
Proceedings of the Seventh National Conference on Artificial Intelligence



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
columbia.edu/~dalal/pape...aaai88.ps.gz
columbia.edu/pub/dalal/p...aaai88.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  columbia.edu/~dalal/papers (more)
Homepages:  M.Dalal  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A fundamental problem in knowledge representation is how to revise knowledge when new, contradictory information is obtained. This paper formulates some desirable principles of knowledge revision, and investigates a new theory of knowledge revision that realizes these principles. This theory of revision can be explained at the knowledge level, in purely model-theoretic terms. A syntactic characterization of the proposed approach is also presented. We illustrate its application through examples... (Update)

Cited by:   More
A Revision-Based Approach to Resolving Conflicting Information - Guilin Qi Queen's   (Correct)
Measuring Conflict and Agreement Between Two Prioritized.. - Guilin Qi Weiru   (Correct)
Combining Multiple Knowledge Bases by Negotiation: A.. - Qi, Liu, Bell (2005)   (Correct)

Active bibliography (related documents):   More   All
0.1:   Rational Belief Revision - Doyle (1991)   (Correct)
0.1:   A Knowledge Level Analysis of Belief Revision - Nebel (1989)   (Correct)
0.1:   Reaching Agreements Through Argumentation: A Logical Model and.. - Kraus, al. (1998)   (Correct)

Similar documents based on text:   More   All
0.1:   Semantics of an Efficient Propositional Reasoner : Preliminary.. - Mukesh Dalal (1996)   (Correct)
0.0:   Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP - Roy-Chowdhury, Dalal   (Correct)
0.0:   Anytime Families of Tractable Propositional Reasoners - Dalal   (Correct)

Related documents from co-citation:   More   All
48:   Propositional knowledge base revision and minimal change (context) - Katsuno, Mendelzon - 1991
44:   Reasoning about action using a possible models approach (context) - Winslett - 1988
35:   Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988

BibTeX entry:   (Update)

M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. Proceedings of the AAAI, pages 475--479, 1988. http://citeseer.ist.psu.edu/dalal88investigations.html   More

@inproceedings{ dalal88investigations,
    author = "Mukesh Dalal",
    title = "Investigations Into a Theory of Knowledge Base Revision: Preliminary Report",
    booktitle = "Proceedings of the Seventh National Conference on Artificial Intelligence",
    volume = "2",
    publisher = "AAAI Press",
    address = "Menlo Park, California",
    editor = "Paul Rosenbloom and Peter Szolovits",
    pages = "475--479",
    year = "1988",
    url = "citeseer.ist.psu.edu/dalal88investigations.html" }
Citations (may not include all citations):
458   A theory of diagnosis from first principles (context) - Reiter - 1987  ACM   DBLP
189   The knowledge level (context) - Newell - 1981  ACM   DBLP
96   the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
91   Artificial Intelligence (context) - Ginsberg - 1986
86   Foundations of a functional approach to knowledge representa.. (context) - Levesque - 1984  DBLP
77   the logic of theory change: Partial meet contraction and rev.. (context) - Alchourron, Gardenfors et al. - 1985
59   Language features for flexible handling of exceptions in inf.. - Borgida - 1985  ACM   DBLP
28   How to give it up: A survey of some formal aspects of the lo.. (context) - Makinson - 1985
26   Updating propositional formulas (context) - Weber - 1987  DBLP
15   Updates in propositional databases (context) - Dalal - 1988
6   Is belief revision harder than you thought (context) - Winslett - 1986
1   A logic of explicit and implicit belief (context) - Levesque - 1984



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.columbia.edu/~dalal/papers.html):   More
Negotiation for Automated Generation of Temporal.. - Dalal, Feiner.. (1996)   (Correct)
Tractable Deduction in Knowledge Representation Systems - Dalal (1992)   (Correct)
OOLP: A Translation Approach to Object-Oriented Logic.. - Dalal, Gangopadhyay (1989)   (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