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