Non-Monotonic Knowledge Evolution in VLKDBs

Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches. Their study along a common framework reveals a few basic issues which require further theoritical investigation. In the context of very large knowledge/data bases (VLKDBs), specific constraints must be taken into account. They require a specific approach of the problem, which can be sketched by a set of basic guidelines. In order to illustrate the importance of the problem, a proposal called semantic tolerance is briefly described. Its various relationships with user interfaces, rule administration, advanced design techniques and long-term transactions show that non-monotonic knowledge evolution constitute a central problem in advanced databases, and consequently would deserve a major research effort by the database community.

[1]  Matthew L. Ginsberg,et al.  Multi-Valued Logics , 1986, AAAI.

[2]  David J. Israel.  What's Wrong with Non-Monotonic Logic? , 1980, AAAI.

[3]  Raj Bhatnagar,et al.  Handling Uncertain Information: A Review of Numeric and Non-numeric Methods , 1985, UAI.

[4]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[5]  Won Kim,et al.  A Model of CAD Transactions , 1985, VLDB.

[6]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA '87.

[7]  Kurt Konolige,et al.  On the Relation Between Default Theories and Autoepistemic Logic , 1987, IJCAI.

[8]  Ronald K. Stamper.  The Processing of Business Semantics: Necessity and Tools , 1986, DS-2.

[9]  Christian Esculier.  Inheritances with Exceptions: An Approach Based on Semantic Tolerance , 1988, DS-3.

[10]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[11]  John B. Goodenough,et al.  Exception handling: issues and a proposed notation , 1975, CACM.

[12]  Ronald R. Yager,et al.  Fuzzy set and possibility theory , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  Martin L. Kersten,et al.  Using the Guardian Programming Paradigm to Support Database Evolution , 1986, DS-2.

[14]  Alexander Borgida,et al.  Accommodating Exceptions in Databases, and Refining the Schema by Learning from them , 1985, VLDB.

[15]  Vladimir Lifschitz,et al.  Computing Circumscription , 1985, IJCAI.

[16]  L. J. Pinson,et al.  An Introduction to Object-Oriented Programming and Smalltalk , 1988 .

[17]  Lewis J. Pinson,et al.  2. Introduction to Object-Oriented Programming and C++ , 2019, Programming in C++.

[18]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[19]  Craig Harris,et al.  Combining language and database advances in an object-oriented development environment , 1987, OOPSLA 1987.

[20]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[21]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[22]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.

[23]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[24]  Paul R. Cohen,et al.  Heuristic Reasoning About Uncertainty , 1983 .

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

[26]  McDermottDrew.  Nonmonotonic Logic II , 1982 .

[27]  Christophe Lécluse,et al.  The O2 Database Programming Language , 1989, Building an Object-Oriented Database System, The Story of O2.

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

[29]  Philippe Smets.  Non-standard logics for automated reasoning , 1988 .

[30]  David Maier,et al.  Making smalltalk a database system , 1984, SIGMOD '84.

[31]  David C. Luckham,et al.  Ada exception handling: an axiomatic approach , 1980, TOPL.

[32]  Paul R. Cohen,et al.  Heuristic reasoning about uncertainty: an artificial intelligence approach , 1984 .

[33]  Alan Snyder,et al.  Exception Handling in CLU , 1979, IEEE Transactions on Software Engineering.

[34]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[35]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[36]  Joobin Choobineh,et al.  Extension of relational views to derived relations with exceptions , 1990, Inf. Syst..

[37]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[38]  Flaviu Cristian,et al.  Exception Handling and Software Fault Tolerance , 1982, IEEE Transactions on Computers.

[39]  Flaviu Cristian.  Le traitement des exceptions dans les programmes modulaires , 1979 .