Искусственный ложный Разум и Мир

Распознавание различных объектов, понятий, структур и сложных систем из реального мира и пространства

Анализ современных логических языков для обработки символьной информации при распознавании различных объектов, понятий, структур и сложных систем из реального мира и пространства, а также использование их для реализации интеллектуальных систем показывает, что Лисп остаётся основным языком для реализации экспертных систем, баз данных и знаний, который разрабатывался для американского министерства обороны.

Можно надеяться, что будет разработан логический язык на основе индуктивного метода, аналогии и ЭМКО, который вберёт лучшие черты Лисп, СНОБОЛ, Рефал, Пролог, Плэнер, Плэнер-БЭСМ, Конивер, KRL, FRL, RLL, ART, Ether, SQL и др.

Мышление метаразума

Как известно логика является наукой о мышлении.

Со времён Аристотеля рассматривались различные модальные понятия, которые отражали развитие модальной логики.

Примем машинную логику как модальную многозначную пропозициональную логику, использующую сравнительные модальные понятия.

Сравнительные модальные понятия, которые являются содержательными (трансцендентальными) по Канту и могут быть охарактеризованы как количественные, качественные и понятия о соотношении по Канту, а также их оценка позволяют определить критерий разумности по Канту.

Согласно Аристотелю высказывания о будущем не может быть ни истинным, ни ложным, т.е. оно является неопределённым, случайным.

Представим мышление метаразума как процесс решения задач комбинаторной оптимизации (ЗКО).

Решение ЗКО на основе ЭМКО предполагает принятие случайного решения, которое может быть ошибочным, назовём его неопределённым решением.

Таким образом, определим мышление метаразума как три типа мышления:

– рациональное мышление (РМ) на основе модальной многозначной пропозициональной логики (ММПЛ) (трансцендентальной по Канту);

– иррациональное мышление (ИМ) на основе машинной интуиции (антиципации по Канту);

– неопределённое мышление (НМ) на основе метода Монте-Карло.

Согласно Канту понятие истинности не носит всеобщий характер т.к. это требование заключает в себе противоречие.

С помощью дедуктивного логического вывода на основе ММПЛ возможен поиск метаразумом апостериорного приближённого решения ЗКО по Канту и случайным образом оптимального решения. Данное решение определим как логическую истину (ЛИ).