Abduction for knowledge assimilation in deductive databases

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.