Volume: 3, Issue: 3(1994)
pp. 319-348 DOI: 10.1142/S0218215794000181
|
|
Abstract |
Full Text (PDF, 1,372KB)
|
 |
| Title: |
COMBINING DEFAULT LOGIC DATABASES
This research was supported by NSF grants IRI-8609170, IRI-9109755, CDA 90-15-006, IRI 92-11-662, by ARO grant DAAL-03-92-G-0225, by AFOSR grant F49620-93-1-0065 and by Israeli Ministry of Science and the Arts grant 4210-1-93. Please address all correspondence to: Jack Minker.
|
| Author(s): |
CHITTA BARAL
Department of Computer Science, University of Texas at El Paso, El Paso, Texas 79968, USASARIT KRAUS
Department of Computer Science, Bar-Ilan University, Ramat Gan, IsraelJACK MINKER
Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland 20742, USAV. S. SUBRAHMANIAN
Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, Maryland 20742, USA
|
| History: |
Received 23 March 1993
Revised 14 March 1994
|
| Abstract: |
During the past decade, it has become increasingly clear that the future generation of large-scale knowledge bases will consist, not of one single isolated knowledge base, but a multiplicity of specialized knowledge bases that contain knowledge about different domains of expertise. These knowledge bases will work cooperatively, pooling together their varied bodies of knowledge, so as to be able to solve complex problems that no single knowledge base, by itself, would have been able to address successfully. In any such situation, inconsistencies are bound to arise. In this paper, we address the question: "Suppose we have a set of knowledge bases, KB1, …, KBn, each of which uses default logic as the formalism for knowledge representation, and a set of integrity constraints IC. What knowledge base constitutes an acceptable combination of KB1, …, KBn?" |
| Keywords: |
Knowledge base combination; default logic; maximal consistency; priorities
|
|
|
