• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Искусственный интеллект и когнитивные вычисления

С. 43-49.

Существует возможность сделать вычисления, лежащие в основании моделирования ментальных операций вычислительными средствами, описываемыми с помощью машины Тьюринга, гораздо более гибкими и изощренными, позволяющими проектировать и описывать системы ИИ с гораздо более широкими когнитивными свойствами. В этом случае применяются нестандартные рекурсивные вычисление и нестандартные рекурсивные машины Тьюринга. Плюрализм современной логики, ведущий к пролиферации систем неклассической логики, заставляет нас конструировать альтернативных машин Тьюринга, в частности, рассмотрены модальные и релевантные машины Тьюринга, основанные на идеях, заимствованных из семантики модальных и релевантных логик.