Metode Penelitian ini yaitu pendekatan untuk koreksi epistemik non – motoric
Litimasi Penelitian Kecerdasan epistemic non motoric
Variabel penelitian Penelitian ini memiliki variable penelitian diantaranya :
Spesifikasi epistemic,
Program logika epistemic,
Logika autoepistemik,
Penalaran non-motorik
Logika keseimbangan.
Hasil penelitian Spesifikasi epistemik merupakan perpanjangan dari Answer Set Programming
(ASP) yang memperkenalkan literal subjektif. Sebuah literal subjektif
memungkinkan memeriksa apakah beberapa literal reguler benar di semua
(atau di beberapa) set jawaban program, yang selanjutnya dikumpulkan dalam
set yang disebutpandangan dunia. Satu program epistemik dapat menghasilkan
beberapa pandangan dunia tetapi, di bawah semantik asli, beberapa di
antaranya dihasilkan dari derivasi yang didukung sendiri.
Kesimpulan Menjelaskan bahwa pendekatan sebelumnya melanggar kemapanan, dan
melanjutkan untuk mengusulkan semantik baru berdasarkan kombinasi Logika
Autoepistemic Moore dan Logika Ekuilibrium Pearce. Kombinasi ini
membuka jalan bagi pengembangan perpanjangan autoepistemik ASP. Hasil
utama membuktikan bahwa semantik baru ini secara tepat menangkap
kumpulan pandangan dunia dari semantik asli yang didirikan.
Saran Kedepannya agar ada penelitian yang meneruskan tentang program epistemic.