ABSTRAK Nama : Adam Jordan Program Studi : Ilmu Komputer Judul : Evaluasi Counterfactual menggunakan Tabling Gabungan pada Abduction dan Updating Program Logika serta Aplikasinya pada Bidang Machine Ethics Agen cerdas sudah secara aktif dikembangkan untuk bersifat otonom dan berinteraksi dengan agen-agen lain, tidak tertutup kemungkinan pada bidang-bidang yang melibatkan dilema moral. Untuk memecahkan masalah tersebut, machine ethics hadir sebagai suatu bidang yang berusaha memahami dan memodelkan secara komputasional pengambilan keputusan secara moral, salah satunya adalah melalui pendekatan yang memanfaatkan penalaran counterfactual. Dalam tugas akhir ini, QUALM, sebuah prototipe yang dapat mengevaluasi validitas dari suatu pernyataan counterfactual dirancang dan diimplementasikan dengan berbasiskan QUALM*, yang merupakan sebuah modul tabling gabungan pada abduction dan updating program logika yang telah dibangun oleh Sabili. Prototipe QUALM kemudian digunakan dalam sebuah aplikasi di bidang machine ethics, berupa interactive storytelling, yang mengilustrasikan secara visual penalaran counterfactual olehagencerdasdalampengambilankeputusanpadadilema-dilemamoralyangdigunakan di bidang filsafat dan psikologi. Dalam hal ini, penalaran counterfactual digunakanuntukmemberikanjustifikasiapakahsuatukeputusanyangdiambiloleh agen cerdas diperbolehkan secara moral dengan berpedoman pada suatu prinsip moral yang sudah dikenal di bidang filsafat, yakni doctrine of double effect. Kata Kunci: counterfactual, machine ethics, program logika, tabling, abduction, updating, agen cerdas