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!
cited_by cdi_FETCH-LOGICAL-c192t-5596ee8656d112c11f57320c36b03b07b9a5c15043204e877017a1951d2e77f03
cites
container_end_page 770
container_issue 6
container_start_page 719
container_title Journal of logic and computation
container_volume 2
creator KAKAS, A. C.
KOWALSKI, R. A.
TONI, F.
description 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.
doi_str_mv 10.1093/logcom/2.6.719
format article
fullrecord <record><control><sourceid>istex_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1093_logcom_2_6_719</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>ark_67375_HXZ_KRQ9LVS0_C</sourcerecordid><originalsourceid>FETCH-LOGICAL-c192t-5596ee8656d112c11f57320c36b03b07b9a5c15043204e877017a1951d2e77f03</originalsourceid><addsrcrecordid>eNo9j01LxDAURYMoWEe3btzMH0jnvaRJJsuhqCMW_JbiJqRpWqpTK0lH9N9bGXF14XLPhUPIKUKKoPliM7Ru6BcslalCvUcSzKSgXPJynySghaBKs_KQHMX4CgBMYpaQs1VVb93Yffp5MbSdm9-GoQ2277v39pgcNHYT_clfzsjTxfljvqbFzeVVviqoQ81GKoSW3i-lkDUic4iNUJyB47ICXoGqtBUOBWRTmfmlUoDKohZYM69UA3xG0t2vC0OMwTfmI3S9Dd8GwfyqmZ2aYUaaSW0C6A7o4ui__tc2vBmpuBJmXb6Y6_s7XTw_gMn5D75RUAM</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Abductive Logic Programming</title><source>Oxford University Press:Jisc Collections:Oxford Journal Archive: Access period 2024-2025</source><creator>KAKAS, A. C. ; KOWALSKI, R. A. ; TONI, F.</creator><creatorcontrib>KAKAS, A. C. ; KOWALSKI, R. A. ; TONI, F.</creatorcontrib><description>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.</description><identifier>ISSN: 0955-792X</identifier><identifier>EISSN: 1465-363X</identifier><identifier>DOI: 10.1093/logcom/2.6.719</identifier><language>eng</language><publisher>Oxford University Press</publisher><ispartof>Journal of logic and computation, 1992-12, Vol.2 (6), p.719-770</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c192t-5596ee8656d112c11f57320c36b03b07b9a5c15043204e877017a1951d2e77f03</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>KAKAS, A. C.</creatorcontrib><creatorcontrib>KOWALSKI, R. A.</creatorcontrib><creatorcontrib>TONI, F.</creatorcontrib><title>Abductive Logic Programming</title><title>Journal of logic and computation</title><description>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.</description><issn>0955-792X</issn><issn>1465-363X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1992</creationdate><recordtype>article</recordtype><recordid>eNo9j01LxDAURYMoWEe3btzMH0jnvaRJJsuhqCMW_JbiJqRpWqpTK0lH9N9bGXF14XLPhUPIKUKKoPliM7Ru6BcslalCvUcSzKSgXPJynySghaBKs_KQHMX4CgBMYpaQs1VVb93Yffp5MbSdm9-GoQ2277v39pgcNHYT_clfzsjTxfljvqbFzeVVviqoQ81GKoSW3i-lkDUic4iNUJyB47ICXoGqtBUOBWRTmfmlUoDKohZYM69UA3xG0t2vC0OMwTfmI3S9Dd8GwfyqmZ2aYUaaSW0C6A7o4ui__tc2vBmpuBJmXb6Y6_s7XTw_gMn5D75RUAM</recordid><startdate>199212</startdate><enddate>199212</enddate><creator>KAKAS, A. C.</creator><creator>KOWALSKI, R. A.</creator><creator>TONI, F.</creator><general>Oxford University Press</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>199212</creationdate><title>Abductive Logic Programming</title><author>KAKAS, A. C. ; KOWALSKI, R. A. ; TONI, F.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c192t-5596ee8656d112c11f57320c36b03b07b9a5c15043204e877017a1951d2e77f03</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1992</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>KAKAS, A. C.</creatorcontrib><creatorcontrib>KOWALSKI, R. A.</creatorcontrib><creatorcontrib>TONI, F.</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><jtitle>Journal of logic and computation</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>KAKAS, A. C.</au><au>KOWALSKI, R. A.</au><au>TONI, F.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Abductive Logic Programming</atitle><jtitle>Journal of logic and computation</jtitle><date>1992-12</date><risdate>1992</risdate><volume>2</volume><issue>6</issue><spage>719</spage><epage>770</epage><pages>719-770</pages><issn>0955-792X</issn><eissn>1465-363X</eissn><abstract>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.</abstract><pub>Oxford University Press</pub><doi>10.1093/logcom/2.6.719</doi><tpages>52</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0955-792X
ispartof Journal of logic and computation, 1992-12, Vol.2 (6), p.719-770
issn 0955-792X
1465-363X
language eng
recordid cdi_crossref_primary_10_1093_logcom_2_6_719
source Oxford University Press:Jisc Collections:Oxford Journal Archive: Access period 2024-2025
title Abductive Logic Programming
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T02%3A49%3A02IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-istex_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Abductive%20Logic%20Programming&rft.jtitle=Journal%20of%20logic%20and%20computation&rft.au=KAKAS,%20A.%20C.&rft.date=1992-12&rft.volume=2&rft.issue=6&rft.spage=719&rft.epage=770&rft.pages=719-770&rft.issn=0955-792X&rft.eissn=1465-363X&rft_id=info:doi/10.1093/logcom/2.6.719&rft_dat=%3Cistex_cross%3Eark_67375_HXZ_KRQ9LVS0_C%3C/istex_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c192t-5596ee8656d112c11f57320c36b03b07b9a5c15043204e877017a1951d2e77f03%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true