ABSTRAK Nama : Muhammad Zaky Khairuddin Program Studi : Ilmu Komputer Judul : PemodelanPenalaranManusiadalamPemrogramanLogika Menggunakan Weak Completion Semantics dan Implementasinya Pemodelan penalaran manusia secara komputasional merupakan penelitian yang masih terus berkembang. Tugas akhir ini membahas pemodelan penalaran manusia berbasiskan pemrograman logika menggunakan sebuah semantik yang disebut Weak Completion Semantics. Weak Completion Semantics merupakan semantik program logika dengan tiga nilai kebenaran, berbasiskan Łukasiewicz Logic, yang mendukung penalaran non-monoton. Pendekatan ini telah diterapkan untuk memodelkanberbagaipermasalahanpenalaranmanusiayangmelibatkanpenalaran abduction seperti suppression task dan selection task. Dalam tugas akhir ini, sebuah sistem untuk abduction berbasiskan Weak Completion Semantics diimplementasikan dalam XSB Prolog. Sistem tersebut, TABDUAL+WCS, dikembangkan dari prototipe tabled abduction TABDUAL+ sebagai dasarnya. TABDUAL+WCS telah diuji melalui sejumlah eksperimen dan berhasil memodelkan penalaran manusia padapermasalahansuppressiontask danselectiontask,mendukunghasilpenelitian empirik di bidang psikologi. Kata Kunci: Weak Completion Semantics, XSB Prolog, Pemrograman Logika, Abduction, Penalaran Manusia