Revision and Updating in Knowledge Bases
Rights Contact Login For More Details
More About This Title Revision and Updating in Knowledge Bases
English
French researchers present formal models of cognitive change operations, bridging the gap between nonstandard logic discussed by philosophers and artificial intelligence (AI). Synthesizes the state of the art and describes central issues raised by the knowledge change problems. Details belief revision when knowledge is represented by classical logic formulas or when knowledge is exemplified by means of numerical formalisms. Covers topics closely related to knowledge transition such as nonmonotonic reasoning, conditionals, temporal revision and reasoning with inconsistent knowledge and database updates.
English
A Glance at Revision and Updating in Knowledge Bases (L. Sombé).
A Survey of Belief Revision and Updating in Classical Logic (F. Lévy).
A Survey of Belief Revision and Updating Rules in Various Uncertainty Models (D. Dubois & H. Prade).
Notes on Change and Nonmonotony (Y. Moinard).
Interference Logic = Conditional Logic + Frame Axiom (L. del Cerro & A. Herzig).
A Temporal Revision Model for Reasoning About World Change (M.-O.
Cordier & P. Siegel).
Revision and Action (C. Schwind).
A Knowledge Representation Perspective: Logics for Paraconsistent Reasoning (P. Besnard & E. Laenens).
Database Updates and Transition Constraints: A Formula-Based Approach (L. Cholvy).
Index.
