D2.3 Reason Maintenance - State of the Art

This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques.

[1]  Drew McDermott,et al.  Contexts and Data Dependencies: A Synthesis , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  Steffen Staab,et al.  Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases , 2005, J. Data Semant..

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

[4]  Truong Quoc Dung.  A Revision of Dependency-Directed Backtracking for JTMS , 1996, KI.

[5]  Steffen Staab,et al.  Incremental Maintenance of dynamic Datalog programs , 2003, PSSS.

[6]  Mark Ryan,et al.  Implementation of Belief Change Operators Using BDDs , 2002, Stud Logica.

[7]  François Bry,et al.  Towards Reasoning and Explanations for Social Tagging , 2008, ExaCt.

[8]  Johan de Kleer,et al.  Exploiting Locality in a TMS , 1990, AAAI.

[9]  G. Aldo Antonelli,et al.  Non-monotonic Logic , 2001 .

[10]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[11]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[12]  Steffen Staab,et al.  Incremental Maintenance of Materialized Ontologies , 2003, OTM.

[13]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

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

[15]  Atanas Kiryakov,et al.  Tracking Changes in RDF(S) Repositories , 2002, EKAW.

[16]  Seung Hwan Kang,et al.  Ontology Revision Using the Concept of Belief Revision , 2004, KES.

[17]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[18]  David A. McAllester.  A Three Valued Truth Maintenance System. , 1978 .

[19]  Seung Hwan Kang,et al.  Ontology Revision on the Semantic Web: Integration of belief revision theory , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[20]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[21]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[22]  Krzysztof R. Apt,et al.  Some Remarks on Boolean Constraint Propagation , 1999, New Trends in Constraints.

[23]  Stuart C. Shapiro,et al.  Reasoning in Multiple Belief Spaces , 1983, IJCAI.

[24]  Marco Schaerf,et al.  Reducing Belief Revision to Circumscription (and Vice Versa) , 1997, Artif. Intell..

[25]  Kenneth D. Forbus,et al.  Scaling up Logic-Based Truth Maintenance Systems via Fact Garbage Collection , 1996, AAAI/IAAI, Vol. 1.

[26]  Jon Doyle,et al.  The Ins and Outs of Reason Maintenance , 1983, IJCAI.

[27]  Quoc Dung Truong.  A new representation of JTMS , 1995 .

[28]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[29]  David Makinson,et al.  On the logic of theory change: Contraction functions and their associated revision functions , 2008 .

[30]  Pavlos Peppas,et al.  Conflicts between Relevance-Sensitive and Iterated Belief Revision , 2008, ECAI.

[31]  Kenneth D. Forbus,et al.  Building Problem Solvers , 1993 .

[32]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[33]  Maurizio Lenzerini,et al.  On the Approximation of Instance Level Update and Erasure in Description Logics , 2007, AAAI.

[34]  Claudio Gutiérrez,et al.  The Meaning of Erasing in RDF under the Katsuno-Mendelzon Approach , 2006, WebDB.

[35]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[36]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[37]  Sanja Vranes,et al.  Using truth maintenance systems. A tutorial , 1994, IEEE Expert.

[38]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[39]  Ulrich Junker,et al.  Variations on Backtracking for TMS , 1990, Truth Maintenance Systems.

[40]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[41]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

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

[43]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[44]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[45]  P. Pandurang Nayak,et al.  Fast Context Switching in Real-Time Propositional Reasoning , 1997, AAAI/IAAI.

[46]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[47]  Charles Elkan,et al.  A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems , 1990, Artif. Intell..

[48]  Michael Reinfrank,et al.  Logical Foundations of Nonmonotonic Truth Maintencance , 1989, EPIA.