Title :
Abduction for knowledge assimilation in deductive databases
Author_Institution :
Inst. fur Inf., Munchen Univ., Germany
Abstract :
We present a simplified version of SLDAI (SLD with Abduction and Integrity maintenance), an SLD-based proof procedure extended by abduction and integrity maintenance, for knowledge assimilation in deductive databases. For an update request in a database which satisfies its integrity requisite, SLDAI computes updates (hypothetical insertions or deletions of facts about base predicates) which satisfy the request while maintaining integrity. That is illustrated by an example
Keywords :
database theory; deductive databases; inference mechanisms; logic programming; theorem proving; truth maintenance; SLD-based proof procedure; SLDAI; abduction; abductive logic programming; base predicates; deductive databases; hypothetical fact deletions; hypothetical fact insertions; integrity maintenance; knowledge assimilation; update request; Deductive databases; Logic programming;
Conference_Titel :
Computer Science Society, 1997. Proceedings., XVII International Conference of the Chilean
Conference_Location :
Valparaiso
Print_ISBN :
0-8186-8052-0
DOI :
10.1109/SCCC.1997.636868
