Abstract
Knowledge present in multiple knowledge bases might need to be reviewed to make decisions based on the combined knowledge. We define the concept of combining knowledge present in a set of knowledge bases and present algorithms to maximally combine them so that the combination is consistent with respect to the integrity constraints associated with the knowledge bases. For this we define the concept of maximality and prove that the algorithms presented combine the knowledge bases to generate a maximal theory. We also discuss the relationships between combining multiple knowledge bases and the view update problem.
Original language | English (US) |
---|---|
Pages (from-to) | 208-220 |
Number of pages | 13 |
Journal | IEEE Transactions on Knowledge and Data Engineering |
Volume | 3 |
Issue number | 2 |
DOIs | |
State | Published - Jun 1991 |
Externally published | Yes |
Keywords
- Consistent
- integrity constraints
- knowledge bases
- logic programs
- maximally combining theories
ASJC Scopus subject areas
- Information Systems
- Computer Science Applications
- Computational Theory and Mathematics