Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-372
Collection Type Indeks Artikel prosiding/Sem
Title Tabling in Contextual Abduction with Answer Subsumption. Hal 459-465
Author Syukri Mullia Adil Perkasa, Ari Saptawijaya, Luis Moniz Pereira;
Publisher ICACSIS 2017 International Conference on Advanced Computer Science and Information System.
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-372 TERSEDIA
Tidak ada review pada koleksi ini: 47397
Abstract- Abduction is a from logical inference that seeks out best explanations for a given observation. Abduction has al ready been well studied in the field of computational logic, and logic programming in particular. In contextual abduction, explanations obtained within one context may also be relevant in different contexts. In such contextual abduction, explanations thus can be reused with little cost. When abduction is realized in logic programming, one can reuse previously obtained explanations from one contexts to another by benefiting from a logic programming feature called tabling. In this paper, we revisit tabling in contextual abduction and improve this technique subsumption. The employment of answer subsumption in this minimal explanations for an observation. It also helps avoid tabling to many and large explanations for a given observation, which may fail contextual abduction in practice as it requires too many resources before being able to return a solution. We provide a prototype, TABDUAL, of this improved technique as a proof of concept. Our experiments, booth in artificial and real words cases, show that's TABDUAL correctly returns minimal explanations, while the cost of their computation is greatly reduced.