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