Joint Tabling of Logic Program Abductions and Updates release_k6cejelv45evfiiibllgovb5de

by Ari Saptawijaya, Luís Moniz Pereira

Released as a article .

2014  

Abstract

Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problems that are susceptible to hypothetical reasoning about change. Taking this as a motivation, in this paper we integrate abductive logic programs and logic program updates by jointly exploiting tabling features of logic programming. The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.
In text/plain format

Archived Files and Locations

application/pdf  217.5 kB
file_gcjaktvpzzhmbmyeuruebz4orm
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2014-05-08
Version   v1
Language   en ?
arXiv  1405.2058v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6e690187-57ba-4d58-8352-d56bf0d1d261
API URL: JSON