На интуитивном уровне можно признать, что человеческий мозг, являясь сложной системой, наиболее адекватно отражает реальный мир и пространство. Человеческий мозг осознаёт возможности своего бытия в этом реальном мире и пространстве, которое проявляется в единстве человека и реального мира и пространства. Человеческий разум и мышление, действующий в среде обитания человека, реализует возможность решения поставленной природой или им самим перед собой задачи из множества возможностей с учётом свободы выбора оптимальной для себя возможности.
Выбор оптимальной возможности решения задачи характеризует детерминированность поведения человека в среде обитания, которое можно спрогнозировать и, следовательно, понять его поведение в будущем.
Принцип оптимальности сводит свободу выбора разумного человека к нулю.
Отсюда следует возможность создания искусственного мозга (АМИМ) по Канту, подобного человеческому мозгу.
Определим, что АМИМ характеризуется детерминированным поведением в среде обитания, на основе принципа оптимальности, с учётом свободы выбора путём случайного поиска, который характеризуется допущением, в процессе принятия решения, ошибки. Для иррационального принятия решения АМИМ использует эффективный метод комбинаторной оптимизации (ЭМКО).
Метаразум (чистый искусственный разум и мышление по Канту)
При разработке модели метаразума на основе АМИМ, понимающего и решающего реальные проблемы, но лишённого эмоций, предлагается среду обитания человека представить средой абстрактных математических моделей различных объектов, понятий, структур и сложных систем из реального мира и пространства в АМИМ согласно Канта.
Определим априорные и апостериорные по Канту понятия метаразума как отражение существенных свойств, связей и отношений между различными объектами, структурами и сложными системами и явлениями из реального мира и пространства в АМИМ как трансцендентальные (содержательные) идеи по Канту.
Определим, что суждение метаразума представляет из себя утверждение или отрицание чего-либо и может быть только ложным или истинным, а также по Канту имееют ценностное или содержательное значение (количество, качество, и соотношение).
Суждения метаразума, по Канту, могут быть: общие, частные, единичные, утвердительные, отрицательные, бесконечные, категорические, гипотетические, разделительные, проблематические, ассерторические и аподиктические.
Умозаключение метаразума может быть дедуктивным, как аналитика понятий по Канту, или индуктивным.
Дедукция метаразума – это логический вывод от общего к частному, на основании знания общих трансцендентальных (содержательных) законов и правил по Канту, который обуславливает истинность суждения метаразума об априорных теоретических знаниях метаразума.
Индукция метаразума – это логический вывод от частного к общему, установление общих законов и правил на основании изучения трансцендентальных (содержательных) отдельных фактов и явлений по Канту на основе опыта, которые обуславливают истинность суждения метаразума об апостериорных теоретических знаниях метаразума.
.Аналогия метаразума – это логический вывод от частного к частному на основе некоторых элементах сходства
Абстрактное моделирование различных объектов, понятий, структур и сложных систем из реального мира и пространства
Примем, что моделирование (воображение по Канту) АМИМ является основным методом исследований и оценок характеристик различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной объёмной модели реального мира и пространства (СОМРМП) в АМИМ по Канту, которое используется при принятии решения метаразумом.
Анализ различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит расчленение, на основе аналитики по Канту, различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых путём апперцепции по Канту в субъективной модели реального мира и пространства АМИМ как формы явлений, на образующие их части, выделяет из них отдельные части, признаки и свойства для решения поставленной им перед собой задачи или задачи поставленной перед ним природой. Абстрактные формы явлений как математические модели в виде графов (трансцендентальные схемы по Канту) запоминаются в базе данных машинной памяти.
Синтез различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит соединение по Канту отдельных элементов, частей и признаков различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ как формы явлений по Канту, в единое целое, что позволяет переходить к более общим различным объектам, понятиям, структурам и сложным системам. В основе синтеза лежит абстракция различных форм явлений по Канту (объектов, понятий, структур и сложных систем из реального мира и пространства). Абстрактные формы явлений как математические модели в виде графов (трансцендентальные схемы по Канту) запоминаются в базах данных и знаний машинной памяти в виде понятий (пропозициональных переменных).
Сравнение различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит сопоставление и сравнение по Канту отдельных элементов, частей и признаков различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых как абстрактные формы явлений по Канту, в субъективной модели реального мира АМИМ, друг с другом, что позволяет выявлять общность или различия между различными объектами, понятиями, структурами и сложными системами.
Абстракция различных объектов, понятий, структур и сложных систем из реального мира и пространства
Абстрактные математические модели представляют из себя идеальные геометрические конструкции по Канту как трансцендентальные схемы в виде графов или феноменов по Лейбницу в машинном мозге, которые подобны различным объектам, понятиям, структурам и сложным системам из реального мира и пространства, исследуемым АМИМ.
АМИМ формирует адекватные модели исследуемым объектам, понятиям, структурам и сложным системам из реального мира и пространства и отражает полноту их свойств. АМИМ добивается максимальной изоморфности и гомоморфности, а также инвариантности модели и различных объектов, понятий, структур и сложных систем из реального мира и пространства за счёт декомпозиции и инкапсуляции. Модели характеризуются иерархическим построением путём наследования, типизацией данных, параллельностью исполнения, продолжительностью существования.
Таким образом, исследуемый АМИМ граф (трансцендентальная схема по Канту), представляет из себя концептуальную модель. Исходя, из полученной концептуальной модели АМИМ разрабатывает математическую модель различных объектов, понятий, структур и сложных систем из реального мира и пространства на искусственном языке исчисления высказываний (ИЯИВ). Для этого АМИМ обозначает вершины графа (машинная трансцендентальная схема по Канту) как пропозициональные переменные, а рёбра графа как математические отношения с их весом. Решение оптимизационных задач на графах относится к дискретной математике, а именно к разделу комбинаторной оптимизации.
Обобщение различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит объединение абстрагированных отдельных элементов, частей и признаков различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), друг с другом по сходным или существенным признакам объектов, понятий, структур и сложных систем с целью отбрасывания единичных признаков, при сохранении общих.
Конкретизация различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит выведение частных проявлений различных объектов, понятий, структур и сложных систем из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), что позволяет выявлять конкретные проявления между различными абстрагированными объектами, понятиями, структурами и сложными системами.
Классификация различных объектов, понятий, структур и сложных систем из реального мира и пространства
Метаразум производит отнесение единичного объекта, понятия, структуры и единичной сложной системы из реального мира и пространства, отображённых в субъективной модели реального мира АМИМ в виде графов (машинных трансцендентальных схем по Канту), к некоторому классу в виде символа или значения, систематизацию их, установлению связей между ними.
Распознавание различных объектов, понятий, структур и сложных систем из реального мира и пространства
Анализ современных логических языков для обработки символьной информации при распознавании различных объектов, понятий, структур и сложных систем из реального мира и пространства, а также использование их для реализации интеллектуальных систем показывает, что Лисп остаётся основным языком для реализации экспертных систем, баз данных и знаний, который разрабатывался для американского министерства обороны.
Можно надеяться, что будет разработан логический язык на основе индуктивного метода, аналогии и ЭМКО, который вберёт лучшие черты Лисп, СНОБОЛ, Рефал, Пролог, Плэнер, Плэнер-БЭСМ, Конивер, KRL, FRL, RLL, ART, Ether, SQL и др.
Мышление метаразума
Как известно логика является наукой о мышлении.
Со времён Аристотеля рассматривались различные модальные понятия, которые отражали развитие модальной логики.
Примем машинную логику как модальную многозначную пропозициональную логику, использующую сравнительные модальные понятия.
Сравнительные модальные понятия, которые являются содержательными (трансцендентальными) по Канту и могут быть охарактеризованы как количественные, качественные и понятия о соотношении по Канту, а также их оценка позволяют определить критерий разумности по Канту.
Согласно Аристотелю высказывания о будущем не может быть ни истинным, ни ложным, т.е. оно является неопределённым, случайным.
Представим мышление метаразума как процесс решения задач комбинаторной оптимизации (ЗКО).
Решение ЗКО на основе ЭМКО предполагает принятие случайного решения, которое может быть ошибочным, назовём его неопределённым решением.
Таким образом, определим мышление метаразума как три типа мышления:
– рациональное мышление (РМ) на основе модальной многозначной пропозициональной логики (ММПЛ) (трансцендентальной по Канту);
– иррациональное мышление (ИМ) на основе машинной интуиции (антиципации по Канту);
– неопределённое мышление (НМ) на основе метода Монте-Карло.
Согласно Канту понятие истинности не носит всеобщий характер т.к. это требование заключает в себе противоречие.
С помощью дедуктивного логического вывода на основе ММПЛ возможен поиск метаразумом апостериорного приближённого решения ЗКО по Канту и случайным образом оптимального решения. Данное решение определим как логическую истину (ЛИ).
Поиск априорного оптимального решения осуществляется с помощью машинной интуиции (антиципации по Канту), на основе расчёта с использованием ЭМКО. Данное решение определим как математическую истину (МИ) по Канту (априорное синтетическое машинное суждение).