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

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

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

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

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

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

Таким образом, исследуемый АМИМ граф (трансцендентальная схема по Канту), представляет из себя концептуальную модель . Исходя, из полученной концептуальной модели АМИМ разрабатывает математическую модель различных объектов, понятий, структур и сложных систем из реального мира и пространства на искусственном языке исчисления высказываний (ИЯИВ). Для этого АМИМ обозначает вершины графа (машинная трансцендентальная схема по Канту) как пропозициональные переменные, а рёбра графа как математические отношения с их весом . Решение оптимизационных задач на графах относится к дискретной математике, а именно к разделу комбинаторной оптимизации.

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

Метаразум производит объединение абстрагированных отдельных элементов, частей и признаков различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), друг с другом по сходным или существенным признакам объектов, понятий, структур и сложных систем с целью отбрасывания единичных признаков, при сохранении общих.

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

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

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

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

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

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

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