ABSTRAK
Nama : Syukri Mullia Adil Perkasa
Program Studi : Ilmu Komputer
Judul : Tabling dan Answer Subsumption pada Contextual Abduction
Abduction merupakan suatu bentuk penalaran logika untuk mencari penjelasan terbaik
dari suatu pengamatan. Penggunaan abduction pada dekade terakhir banyak
ditemukan pada bidang logika komputasional, khususnya pada bidang pemrograman
logika. Pada abduction, sering ditemukan bahwa penjelasan yang didapatkan
pada suatu konteks ternyata relevan dan dapat digunakan kembali pada konteks
yang lainnya. Di sisi lain, pada pemrograman logika terdapat suatu fitur yang disebut
dengan tabling, yaitu suatu teknik menggunakan kembali solusi yang sudah pernah
didapatkan untuk menghindari komputasi ulang terhadap solusi tersebut. Penggunaan
tabling untuk menggunakan kembali penjelasan yang didapatkan dari satu
konteks abduction pada konteks lainnya disebut sebagai tabling pada contextual
abduction. Selain itu, ketika melakukan abduction, terkadang seseorang hanya tertarik
dengan penjelasan yang minimal. Pada XSB Prolog, terdapat suatu fitur pada
tabling yaitu answer subsumption. Fitur ini dapat dimanfaatkan oleh tabling pada
contextual abduction sehingga dapat memberikan penjelasan yang minimal. Pada
tugas akhir ini penulis melakukan eksplorasi mengenai tabling dan answer subsumption
pada contextual abduction dan membuat implementasinya menggunakan
XSB Prolog. Penulis juga melakukan eksperimen terhadap implementasi yang
dibuat menggunakan berbagai macam persoalan abduction, baik persoalan yang riil
maupun artifisial. Eksperimen dilakukan untuk mengilustrasikan dan mengevaluasi
contextual abduction yang dilakukan dengan memanfaatkan fitur tabling, baik
tanpa answer subsumption maupun dengan answer subsumption (untuk memperoleh
penjelasan minimal).
Kata Kunci:
tabling, contextual abduction, answer subsumption, program logika, XSB Prolog
vii
|
|