Penalaran Otomatis dan Pembuktian Teorema Kecerdasan Buatan

Sisi menarik dari pembuktian teorema otomatis terletak pada kelakuan dan keumuman suatu logika. Hal tersebut merupakan suatu sistem formal, logika meminjam logika itu sendiri untuk automasi.
Berbagai permasalahan secara umum dapat digambarkan dengan merepresentasikan definisi permasalahn dan informasi mengenai penyebab permasalahan yang relevan sebagai aksioma logika dan memperlakukan masalah sebagai teorema yang akan dibuktikan.



Sayangnya usaha awal menlis pembukuan teorema gagal digunakan untuk mengembangkan suatu sistem yang dapat secara konsisten menyelesaikan masalah masalah yang rumit. Hal ini disebabkan kemampuan sistem logika dan penalaran yang kompleks melahirkan suatu bilangan tak berhingga dari teorema teorema yang dapat dibuktikan tanpa suatu teknik yang tangguh untuk memandu pencariannya.
Penalaran Otomatis dan Pembuktian Teorema Kecerdasan Buatan Rating: 4.5 Diposkan Oleh: budis

No comments:

Berlangganan Via Email