Melola Discovery

← Melola Discovery

Jurnal SINTA 2

TABLING WITH INTERNED TERMS ON CONTEXTUAL ABDUCTION

Jurnal Ilmu Komputer dan Informasi (JIKI) · Vol. 12 No. 1 (2019) · pp. 1–11

DOI
10.21609/jiki.v12i1.569
ISSN
2502-9274, 2088-7051
Published
2019-03-01
Publisher
Faculty of Computer Science - Universitas Indonesia
Language
eng

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.

Keywords

Collaboration network of the authors

5 authors · 7 co-authorship links

Hover or tap a name to highlight its co-authors. Double-click to open the author's page.

  • University of Indonesia
  • Affiliation unknown
  • Different organisations
  • Same organisation
  • Affiliation unknown
  • Thicker line = more joint articles · bigger circle = more articles
Show as table
Co-authorOrganisationJoint articles
Meganingrum Arista JiwanggiUniversity of Indonesia1
Chandra LesmanaAffiliation unknown1
Indra BudiAffiliation unknown1

Affiliations come from OpenAlex; journal OAI-PMH metadata carries none. Authors without an OpenAlex ID are matched by name, which can merge or split people.

Metadata source: OAI-PMH (metadata jurnal) https://jiki.cs.ui.ac.id/index.php/jiki/oai, first harvested 26 Okt 2026, last seen 1 Nov 2026.
Original metadata (oai_dc) 
<oai_dc:dc xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/  http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
	<dc:title xml:lang="en-US">TABLING WITH INTERNED TERMS ON CONTEXTUAL ABDUCTION</dc:title>
	<dc:creator>Ibrohim, Muhammad Okky</dc:creator>
	<dc:creator>Saptawijaya, Ari</dc:creator>
	<dc:subject xml:lang="en-US">abduction</dc:subject>
	<dc:subject xml:lang="en-US">logic programming</dc:subject>
	<dc:subject xml:lang="en-US">contextual abduction</dc:subject>
	<dc:subject xml:lang="en-US">tabling</dc:subject>
	<dc:subject xml:lang="en-US">interned terms</dc:subject>
	<dc:description xml:lang="en-US">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.</dc:description>
	<dc:publisher xml:lang="en-US">Faculty of Computer Science  - Universitas Indonesia</dc:publisher>
	<dc:date>2019-03-01</dc:date>
	<dc:type>info:eu-repo/semantics/article</dc:type>
	<dc:type>info:eu-repo/semantics/publishedVersion</dc:type>
	<dc:format>application/pdf</dc:format>
	<dc:identifier>https://jiki.cs.ui.ac.id/index.php/jiki/article/view/569</dc:identifier>
	<dc:identifier>10.21609/jiki.v12i1.569</dc:identifier>
	<dc:source xml:lang="en-US">Jurnal Ilmu Komputer dan Informasi; Vol. 12 No. 1 (2019): Jurnal Ilmu Komputer dan Informasi (Journal of Computer Science and Information); 1-11</dc:source>
	<dc:source>2502-9274</dc:source>
	<dc:source>2088-7051</dc:source>
	<dc:source>10.21609/jiki.v12i1</dc:source>
	<dc:language>eng</dc:language>
	<dc:relation>https://jiki.cs.ui.ac.id/index.php/jiki/article/view/569/404</dc:relation>
	<dc:rights xml:lang="en-US">Copyright (c) 2019 Jurnal Ilmu Komputer dan Informasi</dc:rights>
</oai_dc:dc>