Rule Based Abduction

Authors:
Sai Kiran Lakkaraju;Yan Zhang
Affiliations:
-;-
Venue:
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Year:
2000

Citing 4
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Database Updates through Abduction

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Procedural Approach for Rule Based Update

AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Updating Extended Logic Programs through Abduction

LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a procedural approach to perform rule based abduction in a knowledge base. In this context a knowledge base is realised as a normal abductive logic program, and an observation can be either a literal or a rule. A SLDNF resolution based proof procedure is employed to achieve this rule based abduction. It is shown that using this algorithm, one can always find a minimal explanation for the observation if there exists such an explanation.