Results 1 - 10
of
74
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals
- ARTIFICIAL INTELLIGENCE
, 1992
"... We study the complexity of several recently proposed methods for updating or revising propositional knowledge bases. In particular, we derive complexity results for the following problem: given a knowledge base T , an update p, and a formula q, decide whether q is derivable from T p, the updated (or ..."
Abstract
-
Cited by 215 (11 self)
- Add to MetaCart
(Show Context)
We study the complexity of several recently proposed methods for updating or revising propositional knowledge bases. In particular, we derive complexity results for the following problem: given a knowledge base T , an update p, and a formula q, decide whether q is derivable from T p, the updated (or revised) knowledge base. This problem amounts to evaluating the counterfactual p > q over T . Besides the general case, also subcases are considered, in particular where T is a conjunction of Horn clauses, or where the size of p is bounded by a constant.
Tableau Techniques For Querying Information Sources Through Global Schemas
- In Proc. of the 7th Int. Conf. on Database Theory (ICDT'99), volume 1540 of Lecture Notes in Computer Science
, 1999
"... . The foundational homomorphism techniques introduced by Chandra and Merlin for testing containment of conjunctive queries have recently attracted renewed interest due to their central role in information integration applications. We show that generalizations of the classical tableau representation ..."
Abstract
-
Cited by 126 (7 self)
- Add to MetaCart
(Show Context)
. The foundational homomorphism techniques introduced by Chandra and Merlin for testing containment of conjunctive queries have recently attracted renewed interest due to their central role in information integration applications. We show that generalizations of the classical tableau representation of conjunctive queries are useful for computing query answers in information integration systems where information sources are modeled as views defined on a virtual global schema. We consider a general situation where sources may or may not be known to be correct and complete. We characterize the set of answers to a global query and give algorithms to compute a finite representation of this possibly infinite set, as well as its certain and possible approximations. We show how to rewrite a global query in terms of the sources in two special cases, and show that one of these is equivalent to the Information Manifold rewriting of Levy et al. 1 Introduction Information Integration systems [Ull...
Combining knowledge bases consisting of first order theories
- Computational Intelligence
, 1992
"... Consider the construction of an expert system by encoding the knowledge of different experts. Suppose the knowledge provided by each expert is encoded into a knowledge base. Then the process of combining the knowledge of these different experts is an important and nontrivial problem. We study this p ..."
Abstract
-
Cited by 114 (6 self)
- Add to MetaCart
Consider the construction of an expert system by encoding the knowledge of different experts. Suppose the knowledge provided by each expert is encoded into a knowledge base. Then the process of combining the knowledge of these different experts is an important and nontrivial problem. We study this problem here when the expert systems are considered to be first-order theories. We present techniques for resolving inconsistencies in such knowledge bases. We also provide algorithms for implementing these techniques. Key words: knowledge bases, first-order theories. 1.
On the Semantics of Arbitration
- International Journal of Algebra and Computation
, 1995
"... : Revision and update operators add new information to some old information represented by a logical theory. Katsuno and Mendelzon show that both revision and update operators can be characterized as accomplishing a minimal change in the old information to accommodate the new information. Arbitratio ..."
Abstract
-
Cited by 87 (4 self)
- Add to MetaCart
: Revision and update operators add new information to some old information represented by a logical theory. Katsuno and Mendelzon show that both revision and update operators can be characterized as accomplishing a minimal change in the old information to accommodate the new information. Arbitration operators add two or more weighted informations together where the weights indicate the relative importance of the informations rather than a strict priority. This paper shows that arbitration operators can be also characterized as accomplishing a minimal change. The operator of model-fitting is also defined and analyzed in the paper. 1 Introduction Arbitration is the process of settling a conflict between two or more persons. Arbitration occurs in many situations. For example, settling a labor dispute by an outsider, reaching a verdict in a trial, evaluating several alternative research hypotheses, negotiating an international peace agreement, or setting the price of a product in a compe...
On Specifying Database Updates
, 1992
"... this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints. / This paper consolidates and expands on a variety of results, some of which have been describ ..."
Abstract
-
Cited by 79 (8 self)
- Add to MetaCart
this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints. / This paper consolidates and expands on a variety of results, some of which have been described elsewhere (Reiter [46, 45, 44])
On the Difference between Merging Knowledge Bases and Combining them
, 2000
"... We investigate the logical properties of knowledge base combination operators proposed in the literature. These operators are based on the selection of some maximal subsets of the union of the knowledge bases. We argue that they are not fully satisfactory to merge knowledge bases, since the so ..."
Abstract
-
Cited by 49 (12 self)
- Add to MetaCart
We investigate the logical properties of knowledge base combination operators proposed in the literature. These operators are based on the selection of some maximal subsets of the union of the knowledge bases. We argue that they are not fully satisfactory to merge knowledge bases, since the source of information is lost in the combination process. We show that it is the reason why those operators do not satisfy a lot of logical properties. Then we propose to use more rened selection mechanisms in order to take the distribution of information into account in the combination process. That allows to dene merging operators with a more subtle behaviour. 1 INTRODUCTION In the elds of articial intelligence and databases, one is often faced with conicting information coming from several sources. Thus, an important problem in such cases is how to reach a coherent piece of information from these contradictory ones. For example, if one wants to build an expert system from a ...
How Hard is it to Revise a Belief Base?
, 1996
"... If a new piece of information contradicts our previously held beliefs, we have to revise our beliefs. This problem of belief revision arises in a number of areas in Computer Science and Artificial Intelligence, e.g., in updating logical database, in hypothetical reasoning, and in machine learning. M ..."
Abstract
-
Cited by 43 (0 self)
- Add to MetaCart
If a new piece of information contradicts our previously held beliefs, we have to revise our beliefs. This problem of belief revision arises in a number of areas in Computer Science and Artificial Intelligence, e.g., in updating logical database, in hypothetical reasoning, and in machine learning. Most of the research in this area is influenced by work in philosophical logic, in particular by Gardenfors and his colleagues, who developed the theory of belief revision. Here we will focus on the computational aspects of this theory, surveying results that address the issue of the computational complexity of belief revision.
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets
"... A relational database may not satisfy certain integrity constraints (ICs) for several reasons. However most likely most of the information in it is still consistent with the ICs. The answers to queries that are consistent with the ICs can be considered sematically correct answers, and are characteri ..."
Abstract
-
Cited by 35 (23 self)
- Add to MetaCart
(Show Context)
A relational database may not satisfy certain integrity constraints (ICs) for several reasons. However most likely most of the information in it is still consistent with the ICs. The answers to queries that are consistent with the ICs can be considered sematically correct answers, and are characterized [2] as ordinary answers that can be obtained from every minimally repaired version of the database. In this paper we address the problem of specifying those repaired versions as the minimal models of a theory written in Annotated Predicate Logic [27]. It is also shown how to specify database repairs using disjunctive logic program with annotation arguments and a classical stable model semantics.
Updating knowledge bases while maintaining their consistency
- VLDB J
, 1995
"... When updating a knowledge base, several problems may arise. One of the most important problems is that of integrity constraints satisfaction. The classic approach to this problem has been to develop methods for checking whether a given update violates an integrity constraint. An alternative approa ..."
Abstract
-
Cited by 31 (14 self)
- Add to MetaCart
When updating a knowledge base, several problems may arise. One of the most important problems is that of integrity constraints satisfaction. The classic approach to this problem has been to develop methods for checking whether a given update violates an integrity constraint. An alternative approach consists of trying to repair integrity constraints violations by performing additional updates that maintain knowledge base consistency. Another major problem in knowledge base updating is that of view updating; which determines how an update request should be translated into an update of the underlying base facts. We propose a new method for updating knowledge bases while maintaining their consistency. Our method can be used for both integrity constraints maintenance and view updating. It can also be combined with any integrity checking method for view updating and integrity checking. The kind of updates handled by our method are: updates of base facts, view updates, updates of deductive rules, and updates of integrity constraints. Our method is based on events and transition rules, which explicitly define the insertions and deletions induced by a knowledge base update. Using these rules, an extension of the SLDNF procedure allows us to obtain all possible minimal ways of updating a knowledge base without violating any integrity constraint.
On Formalizing Database Updates: Preliminary Report
, 1992
"... We address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation calculus, which is a standard approach in artificial intelligence to the formalizati ..."
Abstract
-
Cited by 28 (4 self)
- Add to MetaCart
(Show Context)
We address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation calculus, which is a standard approach in artificial intelligence to the formalization of planning problems. We formalize database transactions in exactly the same way as actions in the artificial intelligence planning domain. This leads to a database version of the frame problem in artificial intelligence. We provide a solution to the frame problem for a special, but substantial, class of update transactions. We next briefly describe some of the results obtained within this axiomatization. Specifically, we provide procedures for determining whether a given sequence of update transactions is legal, and for query evaluation in an updated database. These procedures have the nice property that they appeal to theorem-proving only with respect to the initial database state. We a...
