Rule Based Abduction

@inproceedings{Lakkaraju2000RuleBA,
  title={Rule Based Abduction},
  author={Sai Kiran Lakkaraju and Yan Zhang},
  booktitle={ISMIS},
  year={2000}
}
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. 

Abduction and Update in Logic Programs

TLDR
A SLDNF based procedural approach to perform simple fact/rule based update and abduction is proposed and it is shown that using this algorithm, one can always find a minimal explanation for the observation if there exists such an explanation.

Creating Rules Using Abduction for Legal Reasoning by Logic Programming

TLDR
The result showed that using the proposed procedure to create rules for legal knowledge base, one can find rules for an explanation of each legal case.

An Architectural Framework for a Web Based Knowledge System

TLDR
An architectural framework for a web based knowledge system based on an existing web-based system CBEADS, which can generate/capture knowledge and provide higher throughput in information supply which has many uses in knowledge management.

References

SHOWING 1-9 OF 9 REFERENCES

A Procedural Approach for Rule Based Update

TLDR
A correctness theorem is proved for the proposed SLDNF resolution based procedure to implement a rule based update of knowledge base update under the stable model semantics and a minimal change criterion is also satisfied in the underlying update formalization.

Updating Extended Logic Programs through Abduction

TLDR
The proposed technique provides a uniform framework for three different types of updates, view updates, theory updates, and inconsistency removal, and each update is computed using existing procedures of logic programming.

Database Updates through Abduction

TLDR
It is shown that this abductive approach deals successfully, in a simple yet powerful way, with the difficulties related to the presence of negation in the database and provides a uniform common procedure for insert and delete update requests.

Updating Logic Programs

TLDR
This paper views knowledge bases as extended logic programs such that defeasible knowledge can be explicitly represented and shows how the concept of priority associated with logic programs is employed to achieve the purpose.

Foundations of Logic Programming

Abductive Logic Programming

This article was processed using the L A T E X macro package with LLNCS style

  • This article was processed using the L A T E X macro package with LLNCS style