TABLING WITH INTERNED TERMS ON CONTEXTUAL ABDUCTION release_nd4sgp2b4jg7ta4h4bcbivyv3i

by Muhammad Okky Ibrohim, Ari Saptawijaya

Published in Jurnal Ilmu Komputer dan Informasi by Faculty of Computer Science, Universitas Indonesia.

2019   Volume 12

Abstract

Abduction (also called abductive reasoning) is a form of logical inference which starts with an observation and is followed by finding the best explanations. In this paper, we improve the tabling in contextual abduction technique with an advanced tabling feature of XSB Prolog, namely tabling with interned terms. This feature enables us to store the abductive solutions as interned ground terms in a global area only once so that the use of table space to store abductive solutions becomes more efficient. We implemented this improvement to a prototype, called as TABDUAL+INT. Although the experiment result shows that tabling with interned terms is relatively slower than tabling without interned terms when used to return first solutions from a subgoal, tabling with interned terms is relatively faster than tabling without interned terms when used to returns all solutions from a subgoal. Furthermore, tabling with interned terms is more efficient in table space used when performing abduction both in artificial and real world case, compared to tabling without interned terms.
In application/xml+jats format

Archived Files and Locations

application/pdf  529.5 kB
file_suqabyqokrhrvmum34f5qumr7e
jiki.cs.ui.ac.id (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2019-03-01
Container Metadata
Open Access Publication
In DOAJ
In ISSN ROAD
Not in Keepers Registry
ISSN-L:  2088-7051
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b6e9aa5c-fa12-4cd3-b92d-af3d592e61b0
API URL: JSON