Sistem pakar yang merupakan suatu program yang menggunakan teknik pengambilan kesimpulan dari data yang ada sebagaimana layaknya seorang pakar, haruslah senantiasa modifikasi basis ilmu pengetahuannya sesuai dengan perkembangan ilmu pengetahuan. Modifikasi ini bisa menyebabkan terjadinya ketidakkonsistenan dalam basis itu sendiri. Sistem dalam analisis ini merupakan sebuah prototipe yang dikembangkan untuk menguji basis ilmu pengetahuan suatu sistem pakar yang bersaingan aturan, dimana sebagai input basis tersebut haruslah ditulis dalam berkas teks (text file). Output yang dihasilkan berupa sebuah tabel yang memuat aturan-aturan mana saja yang tidak konsisten. Ketidakkonsistenan ini dibedakan atas konflik, redundasi, dan subsumsi, Pengembangan sistem ini banyak mengambil ide dari konsep penguraian Basis Ilmu Pengetahuan. Sistem ini juga menyediakan fasilitas tambahan berupa penambahan, penghapusan, perubahan, dan penataan basis ilmu pengetahuan. Semuanya ini dipadukan dalam sebuah jendela (window).