Controlled Revision - An Algorithmic Approach for Belief Revision

This paper provides algorithmic options for belief revision of a database receiving an infinite stream of inputs. At stage , the database is , receiving the input . The revision algorithms for moving to the new database take into account the history of previous revisions actually executed as well as possible revision options which were discarded at the time but may now be pursued. The appropriate methodology for carrying this out is Labelled Deductive Systems.

[1]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[2]  Hans Rott.  Conditionals and theory change: Revisions, expansions, and additions , 2004, Synthese.

[3]  Yoav Shoham,et al.  Logics of Mental Attitudes in AI , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[4]  W. Quine,et al.  The web of belief , 1970 .

[5]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[6]  Isaac Levi,et al.  For The Sake Of The Argument , 1996 .

[7]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[8]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[9]  Jon Doyle,et al.  Belief Revision: Reason maintenance and belief revision: Foundations versus coherence theories , 1992 .

[10]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[11]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[12]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[13]  John Hayden Woods,et al.  Paradox and paraconsistency - conflict resolution in the abstract sciences , 2002 .

[14]  Renata Wassermann.  An Algorithm for Belief Revision , 2000, KR.

[15]  Dov M. Gabbay,et al.  Revision by Translation , 2000 .

[16]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[17]  Craig Boutilier,et al.  Belief Revision with Unreliable Observations , 1998, AAAI/IAAI.

[18]  Joseph Y. Halpern,et al.  Belief Revision: A Critique , 1996, J. Log. Lang. Inf..

[19]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[20]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[21]  S. Hansson.  In defense of base contraction , 1992, Synthese.

[22]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[23]  Peter Gärdenfors,et al.  Knowledge, belief, and strategic interaction: The dynamics of belief systems: Foundations versus coherence theories , 1992 .

[24]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[25]  Dov M. Gabbay.  Compromise Update and Revision: A Position Paper , 1999 .