Perkembangan teknologi kecerdasan buatan seringkali dihadapkan pada situasi di mana penalaran memerlukan fakta-fakta yang benar di sebagian besar kasus namun tidak selalu mutlak. Untuk mengatasi tantangan tersebut, lahirlah sebuah konsep bernama default logic atau logika default yang diperkenalkan oleh Raymond Reiter guna memformalkan penalaran dengan asumsi default.
Related Stories
Suka dengan Artikel Ini?
Dapatkan lebih banyak cerita menarik dengan berlangganan newsletter kami. Gratis!
Subscribe →Berbeda dari logika standar yang hanya bisa mengekspresikan sesuatu secara mutlak benar atau salah, default logic memungkinkan sistem untuk mengekspresikan asumsi umum seperti aturan bahwa "burung pada umumnya bisa terbang". Melalui pendekatan ini, para pengembang dapat merumuskan aturan inferensi tanpa harus merinci setiap pengecualian secara secara manual seperti kasus burung penguin atau burung unta.
Dalam praktiknya, teori default terdiri dari dua elemen utama yaitu teori latar belakang yang berisi fakta pasti serta sekumpulan aturan default. Aturan ini bekerja dengan memeriksa apakah suatu prasyarat bernilai benar dan konsisten dengan keyakinan saat ini, sehingga kesimpulan yang diinginkan dapat ditarik dengan valid.
Penerapan logika ini juga berkaitan erat dengan Closed-World Assumption di mana apa yang tidak diketahui kebenarannya dianggap sebagai sesuatu yang salah. Konsep serupa bahkan banyak diadopsi dalam bahasa pemrograman komputer seperti Prolog ketika menangani proses negasi dan evaluasi data dalam sistem.
Kendati demikian, penggunaan default logic memiliki kompleksitas tersendiri seperti munculnya varian normal, semi-normal, hingga potensi munculnya beberapa ekstensi dalam satu teori seperti contoh kasus terkenal Nixon diamond. Sistem implementasinya sendiri telah dikembangkan melalui berbagai perangkat lunak khusus di bidang komputasi.