Abductive Logic Programming

This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argu...

Full description

Saved in:
Bibliographic Details
Published in:Journal of logic and computation 1992-12, Vol.2 (6), p.719-770
Main Authors: KAKAS, A. C., KOWALSKI, R. A., TONI, F.
Format: Article
Language:English
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as an interpretation for negation as failure. We also analyse the links between abduction and the extension of logic programming obtained by adding a form of explicit negation. Finally we discuss the relation between abduction and truth maintenance.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/2.6.719