4 Hits in 1.4 sec


Muhammad Okky Ibrohim, Ari Saptawijaya
2019 Jurnal Ilmu Komputer dan Informasi  
Abduction (also called abductive reasoning) is a form of logical inference which starts with an observation and is followed by finding the best explanations.  ...  We implemented this improvement to a prototype, called as TABDUAL+INT.  ...  Kakas in providing the real world case of chemoprevention for this paper. Muhammad Okky Ibrohim acknowledges to Syukri M. A. Perkasa for his help in dealing with implementation issues.  ... 
doi:10.21609/jiki.v12i1.569 fatcat:nd4sgp2b4jg7ta4h4bcbivyv3i

Joint Tabling of Logic Program Abductions and Updates [article]

Ari Saptawijaya, Luís Moniz Pereira
2014 arXiv   pre-print
., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.  ...  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.  ...  Tabled abduction with its prototype Tabdual, implemented in XSB Prolog (Swift and Warren 2012) , consists of a program transformation from abductive normal logic programs into tabled logic programs; the  ... 
arXiv:1405.2058v1 fatcat:k6cejelv45evfiiibllgovb5de

Abductive Logic Programming with Tabled Abduction

Luís Pereira, Ari Saptawijaya
In this paper, we employ a tabling mechanism and propose a tabled abduction mechanism, that consists of a transformation from abductive normal logic programs into tabled dual programs, by tabling abductive  ...  Recomputation of abductive solutions for a different context, but consistent with them, can then be avoided, by reusing the tabled abductive solution entries.  ...  We thank David Warren for his comments on prior drafts and corresponding implementation.  ... 

Tabling Optimization for Contextual Abduction [article]

Ridhwan Dewoprabowo, Ari Saptawijaya
2020 pre-print
Tabling for contextual abduction in logic programming has been introduced as a means to store previously obtained abductive solutions in one context to be reused in another context.  ...  We propose a new program transformation for integrity constraints to deal with their proper application for filtering solutions while also reducing the table memory usage.  ...  Tabled abduction in TABDUAL involves a program transformation, that transforms abductive logic program to tabled logic program, and the abduction stage on top of the tabled logic program.  ... 
doi:10.4204/eptcs.325.20 arXiv:2009.10243v1 fatcat:75utaiz37vgbbpkjyzbdut6tuy