AI berbasis logika vs berbasis aturan

Saya selalu berpikir aturan berbasis sinonim dengan AI berbasis logika. Logika memiliki aksioma dan aturan inferensi, sedangkan ai berbasis aturan memiliki basis pengetahuan (pada dasarnya aksioma) dan jika-maka aturan untuk menciptakan pengetahuan baru (pada dasarnya aturan inferensi).

Tetapi dalam artikel terkenal mereka "Apa Representasi Pengetahuan?", Davis, Shrobe dan Szolovits tampaknya menyiratkan bahwa mereka tidak:

Logika, aturan, bingkai, dll., Masing-masing mewujudkan sudut pandang tentang hal-hal yang penting di dunia. Logika, misalnya, melibatkan komitmen (cukup minimal) untuk melihat dunia dalam hal entitas individu dan hubungan di antara mereka. Sistem berbasis aturan memandang dunia dalam kaitannya dengan atribut-objek-nilai tiga kali lipat dan aturan inferensi yang masuk akal yang menghubungkannya, sementara kerangka membuat kita berpikir dalam hal objek prototipe.

Apakah ini hanya mengatakan bahwa berbasis aturan adalah proposisional sedangkan berbasis logika biasanya berarti logika predikat? Atau ada yang lebih dari ini?

Saya ingin mengawali ini dengan mengatakan bahwa perbedaannya tidak jelas. Namun demikian, saya akan memberi tahu Anda apa yang saya ketahui tentang ini, dan saya akan berusaha untuk membuat klarifikasi lebih lanjut:

Struktur agen berbasis aturan adalah: Mengambil input dari lingkungan, melewati aturan berdasarkan kondisi, dan melakukan tindakan melalui aktuator atau apa pun yang menciptakan beberapa tindakan di lingkungan.

vs.

Struktur agen logis (berdasarkan keadaan internal) adalah: Ambil input dari lingkungan, dari pemeriksaan pengetahuan internal tentang apa keadaan itu dan bagaimana model dapat berkembang; selanjutnya, simpulkan apa yang akan saya lakukan; Akhirnya, lewati aturan berdasarkan kondisi dan ambil tindakan di lingkungan

_{SUMBER: Kecerdasan Buatan: Pendekatan modern oleh Stuart Russell dan Peter Norvig}

Karena ini adalah jawaban pertama saya di sini, jika saya telah melanggar aturan, tolong beri tahu saya.

Sistem berbasis aturan mencakup berbagai sistem. Beberapa memanfaatkan boolean jika / maka / aturan lain, yang lain mungkin menggunakan bobot atau bahkan kesimpulan probabilistik. Beberapa beroperasi pada frame, beberapa pada objek java, beberapa pada proposisi yang dapat dirumuskan dalam logika predikat. Contoh dari sistem aturan populer adalah Drools .

Beberapa sistem aturan dapat dinyatakan sebagai bagian dari logika predikat. Sebagai contoh, SWRL adalah bahasa aturan standar W3C yang memperluas OWL Description Logic (DL) dengan aturan tanduk. Baik OWL-DL dan SWRL dapat diekspresikan dalam logika predikat orde pertama. Namun, tidak semua bahasa aturan dapat diekspresikan secara langsung dengan cara ini, karena bahasa aturan mencakup rentang semantik seperti itu. Bahkan dalam kasus-kasus seperti Prolog ada kehalusan. Prolog murni adalah subset dari FOL, tetapi implementasi Prolog yang sebenarnya bukan subset FOL (mis. Urutan hal yang diutamakan).

Kelompok kerja Format Interchange Aturan W3C (RIF) telah melakukan banyak upaya untuk menyatukan berbagai perspektif yang berbeda ini. Saya tidak yakin tempat terbaik untuk mulai melihat ringkasan, tetapi Anda dapat melihat beberapa materi berguna di halaman piagam grup .