Logika Aktif, Komputasi Metakognitif dan Pikiran

Logika Aktif, Komputasi Metakognitif dan Pikiran – Akronim kami ALMECOM adalah singkatan dari Active L ogic , ME tacognitive CO mputation, dan M ind. 

Logika Aktif adalah formalisme peka waktu yang telah dikembangkan dengan aplikasi dunia nyata dan mempertimbangkan tantangannya. 

Sejarah Penalarannya

Logika aktif secara eksplisit bernalar dalam waktu, dan menggabungkan sejarah penalarannya saat berjalan. Karakteristik ini membuat logika aktif lebih fleksibel daripada sistem AI tradisional dan karenanya lebih cocok untuk penalaran dunia nyata yang masuk akal.

Salah satu strategi penting yang kami terapkan dalam logika aktif adalah metareasoning. Karena logika aktif melacak penalarannya, ia mampu menalar tentang kesimpulannya sendiri, dan dengan demikian mengenali dan pulih dari kesalahan.

Kami berhipotesis adanya serangkaian strategi generik metareasoning yang terbatas dan dapat diformalkan,

yang merupakan pusat kemampuan pikiran manusia untuk menangani kesalahan, kontradiksi, dan penyimpangan lainnya dengan mudah dan lancar; klik di sini untuk lebih lanjut tentang ini.

Strategi Yang Jelas

Salah satu bidang di mana strategi ini paling jelas, dan paling sering digunakan, adalah dalam percakapan , dan salah satu bidang utama penelitian kami berfokus pada dialog bahasa alami manusia-komputer.

Klik di sini untuk demo yang mengilustrasikan kemampuan simulator yang dirancang untuk menguji apa yang telah dipelajari robot (mirip dengan jenis pengujian yang dilakukan pada tikus laboratorium). 

Robot yang diteliti memiliki tindakan yang dipandu oleh interaksi kooperatif antara jaringan saraf dan penalaran simbolik.