ABSTRAK Nama : Degoldie Sonny Program Studi : Ilmu Komputer Judul : Pemodelan Actual Causality dengan Contextual Abduction dalam Pemrograman Logika Pembimbing 1 : Ari Saptawijaya, S.Kom., M.C.S., Ph.D. Pembimbing 2 : Raja Oktovin P. Damanik, S.Kom., M.Sc. Causality berperan penting dalam menjelaskan hubungan causal pada kehidupan seharihari. Causality terbagi menjadi dua gagasan, yakni general causality untuk hubungan sebab-akibatdanactualcausalityuntukaccountabilitysuatukejadian. Terdapatbeberapa upayauntukmemodelkanactualcausalitysecaraformal,salahsatunyaadalahpemodelan menggunakan causal calculus yang diperkenalkan oleh Bochman, walaupun tidak dijelaskan bagiamana pemodelan ini diimplementasikan secara konkret. Dalam tugas akhir ini, dirancang sebuah pemodelan actual causality dalam pemrograman logika menggunakansuatupengembangandariabduction,yaitucontextualabduction. Abductionadalah sebuah penalaran yang mana seseorang mengambil penjelasan terbaik dari semua kemungkinan penjelasan sehingga masuk akal dalam menjelaskan suatu observasi. Contextual abduction adalah pengembangan dari abduction yang mana dapat menerima konteks masukan untuk mencari penjelasan yang sesuai dengan konteks. Pemodelan actual causality dengan contextual abduction ini diimplementasikan menggunakan TABDUAL olehSaptawijayadanPereiramenjadisuatuprototipe,yangdapatmelakukanpencarian actual cause. Prototipe ini diuji terhadap berbagai contoh yang menggambarkan kasus permasalahan actual causality yang mengkonfirmasi hasil pemodelan dengan causal calculus oleh Bochman. Kata kunci: abduction, actual causality, causality, contextual abduction, pemrograman logika