Towards Intelligent Databases

This article is a presentation of the objectives and techniques of deductive databases. The deductive approach to databases aims at extending with intensional definitions other database paradigms that describe applications extensionaUy. We first show how constructive specifications can be expressed with deduction rules, and how normative conditions can be defined using integrity constraints. We outline the principles of bottom-up and top-down query answering procedures and present the techniques used for integrity checking. We then argue that it is often desirable to manage with a database system not only database applications, but also specifications of system components. We present such meta-level specifications and discuss their advantages over conventional approaches

A New Rational Algorithm for View Updating in Relational Databases

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In order to apply the rationality result of belief dynamics theory to various practical problems, it should be generalized in two respects: first it should allow a certain part of belief to be declared as immutable; and second, the belief state need not be deductively closed. Such a generalization of belief dynamics, referred to as base dynamics, is presented in this paper, along with the concept of a generalized revision algorithm for knowledge bases (Horn or Horn logic with stratified negation). We show that knowledge base dynamics has an interesting connection with kernel change via hitting set and abduction. In this paper, we show how techniques from disjunctive logic programming can be used for efficient (deductive) database updates. The key idea is to transform the given database together with the update request into a disjunctive (datalog) logic program and apply disjunctive techniques (such as minimal model reasoning) to solve the original update problem. The approach extends and integrates standard techniques for efficient query answering and integrity checking. The generation of a hitting set is carried out through a hyper tableaux calculus and magic set that is focused on the goal of minimality.Comment: arXiv admin note: substantial text overlap with arXiv:1301.515

Disjunctive deductive databases.

by Hwang Hoi Yee Cothan.Thesis (M.Phil.)--Chinese University of Hong Kong, 1996.Includes bibliographical references (leaves 68-70).Abstract --- p.iiAcknowledgement --- p.iiiChapter 1 --- Introduction --- p.1Chapter 1.1 --- Objectives of the Thesis --- p.1Chapter 1.2 --- Overview of the Thesis --- p.7Chapter 2 --- Background and Related Work --- p.8Chapter 2.1 --- Deductive Databases --- p.8Chapter 2.2 --- Disjunctive Deductive Databases --- p.10Chapter 2.3 --- Model tree for disjunctive deductive databases --- p.11Chapter 3 --- Preliminary --- p.13Chapter 3.1 --- Disjunctive Logic Program --- p.13Chapter 3.2 --- Data-disjunctive Logic Program --- p.14Chapter 4 --- Semantics of Data-disjunctive Logic Program --- p.17Chapter 4.1 --- Model-theoretic semantics --- p.17Chapter 4.2 --- Fixpoint semantics --- p.20Chapter 4.2.1 --- Fixpoint operators corresponding to the MMSpDD --- p.22Chapter 4.2.2 --- "Fixpoint operator corresponding to the contingency model, CMP" --- p.25Chapter 4.3 --- Equivalence between the model-theoretic and fixpoint semantics --- p.26Chapter 4.4 --- Operational Semantics --- p.30Chapter 4.5 --- Correspondence with the I-table --- p.31Chapter 5 --- Disjunctive Deductive Databases --- p.33Chapter 5.1 --- Disjunctions in deductive databases --- p.33Chapter 5.2 --- Relation between predicates --- p.35Chapter 5.3 --- Transformation of Disjunctive Deductive Data-bases --- p.38Chapter 5.4 --- Query answering for Disjunctive Deductive Data-bases --- p.40Chapter 6 --- Magic for Data-disjunctive Deductive Database --- p.44Chapter 6.1 --- Magic for Relevant Answer Set --- p.44Chapter 6.1.1 --- Rule rewriting algorithm --- p.46Chapter 6.1.2 --- Bottom-up evaluation --- p.49Chapter 6.1.3 --- Examples --- p.49Chapter 6.1.4 --- Discussion on the rewriting algorithm --- p.52Chapter 6.2 --- Alternative algorithm for Traditional Answer Set --- p.54Chapter 6.2.1 --- Rule rewriting algorithm --- p.54Chapter 6.2.2 --- Examples --- p.55Chapter 6.3 --- Contingency answer set --- p.56Chapter 7 --- Experiments and Comparison --- p.57Chapter 7.1 --- Experimental Results --- p.57Chapter 7.1.1 --- Results for the Traditional answer set --- p.58Chapter 7.1.2 --- Results for the Relevant answer set --- p.61Chapter 7.2 --- Comparison with the evaluation method for Model tree --- p.63Chapter 8 --- Conclusions and Future Work --- p.66Bibliography --- p.6

Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings

The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations

Machine learning and its applications in reliability analysis systems

In this thesis, we are interested in exploring some aspects of Machine Learning (ML) and its application in the Reliability Analysis systems (RAs). We begin by investigating some ML paradigms and their- techniques, go on to discuss the possible applications of ML in improving RAs performance, and lastly give guidelines of the architecture of learning RAs. Our survey of ML covers both levels of Neural Network learning and Symbolic learning. In symbolic process learning, five types of learning and their applications are discussed: rote learning, learning from instruction, learning from analogy, learning from examples, and learning from observation and discovery. The Reliability Analysis systems (RAs) presented in this thesis are mainly designed for maintaining plant safety supported by two functions: risk analysis function, i.e., failure mode effect analysis (FMEA) ; and diagnosis function, i.e., real-time fault location (RTFL). Three approaches have been discussed in creating the RAs. According to the result of our survey, we suggest currently the best design of RAs is to embed model-based RAs, i.e., MORA (as software) in a neural network based computer system (as hardware). However, there are still some improvement which can be made through the applications of Machine Learning. By implanting the 'learning element', the MORA will become learning MORA (La MORA) system, a learning Reliability Analysis system with the power of automatic knowledge acquisition and inconsistency checking, and more. To conclude our thesis, we propose an architecture of La MORA