СУЩЕСТВОВАНИЕ И ВОСПРИЯТИЕ КАК ОСНОВА AGI
Как известно, AGI (Artificial General Intelligence), в отличие от AI, оперирует смыслами. И именно это отличает его от AI. Любые успешные реализации AI (игра в шахматы, беспилотное вождение, распознавание лиц и т.д.) смыслами обрабатываемых объектов никак не оперируют и смысл не распознают. Но им это и не нужно. А вот для AGI, эмулирующего мышление человека, такая способность является определяющей. Многочисленные попытки определения понятия «смысл» обладают одним весьма существенным недостатком - все такие определения не являются строгими и формализованными, поэтому их нельзя запрограммировать. Процедура поиска смысла должна использовать формализованное описание его существования и возможных форм его восприятия. Для практической реализации AGI необходимо разработать такие «ready-to-code» описания в контексте их использования для обработки связанных когнитивных понятий «смысл» и «знание».
Попытка формализованного определения таких понятий предпринимается в данной статье.
БАЗОВОЕ ОПРЕДЕЛЕНИЕ / BASIC DEFINITION
Существование есть принадлежность элемента множеству / Existence is the belonging of an element to a set
Это универсальное базовое определение. Далее мы развиваем это определение и делаем некоторые выводы.
РЕКУРСИВНОСТЬ / RECURSIVENESS
Сила данного определения в его рекурсивности. Существование множества также есть принадлежность его как элемента другому множеству. Т.е., данное определение применяется рекурсивно и позволяет понять и описать сложность и разнообразность различных форм существования. В том числе оценить субъективность существования.
«ЧТО» И «ГДЕ» / «WHAT» AND «WHERE»
Все попытки зафиксировать существование чего-либо неизбежно будут приводить к необходимости определиться с 2-мя сущностями «что существует» — элемент и «где существует» (или «когда», а для нематериальных сущностей даже «как») — область существования, множество, которому этот элемент принадлежит.
Кроме значений «существует» и «не существует», критерий существования имеет начальное значение «не определено». Данное значение однозначно указывает на субъективность понятия существования - «не определено» фактически означает «неизвестно» для некоторого субъекта, наблюдателя, стремящегося сделать вывод о существовании некоторого объекта. Для другого субъекта значение критерия существования для данного объекта может быть вполне определено.
Категория существования фундаментальна и неотделима от категории истинности (тем не менее, при этом, эти категории субъективны). Поскольку истинно лишь то, что существует. И все функционирование интеллекта, хоть естественного, хоть искусственного, сводится к проблеме поиска истины в различных ее формах — ответов на вопросы, формулирования утверждений, поиска решений. Как известно, «правильно заданные вопросы уже содержат в себе ответы». Правильно заданный вопрос, прежде всего, определяет и ограничивает область существования ответа. Т.е., правильно сформулированный вопрос уменьшает неопределенность. И этим определяется его «правильность».
В нашей формулировке поиск решения / ответа является процессом определения множества, являющегося такой областью существования возможных решений / ответов и далее определения в нем факта существования конкретного ответа на заданный вопрос.
ФИЗИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ / PHYSICAL INTERPRETATION
Вполне понятно на интуитивном уровне, что для материальных объектов нечто может существовать только в некоторой объемлющей его области пространства. Находится внутри — значит, существует для этой области. И не существует для другой, если эти области никак не взаимодействуют (т.е. точно также сами являются или не являются элементами другого множества — определение применяется рекурсивно). Если 2 области пространства (определяемые как множества) не принадлежат никакой другой области, то объекты одной области (элементы) не существуют для другой. Это интерпретация данного определения для материальных объектов. В универсальной трактовке используются именно «множество» и «элемент». Поскольку множество это наиболее общая сущность, способная включать в себя составные части, элементы. Пространство, территория, область и даже Вселенная это менее общие такие сущности. Поскольку даже Вселенная может быть лишь элементом в множестве всех Вселенных. И поскольку и сами объекты и область их существования могут быть не только физической областью пространства, но и нематериальными, виртуальными сущностями— это могут быть, например, параметры функционирования некоторой системы и область их возможных значений.
СУЩЕСТВОВАНИЕ МАТЕРИАЛЬНОГО И НЕМАТЕРИАЛЬНОГО / THE EXISTENCE OF THE MATERIAL AND THE INTANGIBLE
Универсальность предлагаемого определения позволяет снять возникающие противоречия при попытках различать существование материальных и нематериальных объектов. Объект материален или нематериален равно как множество, которому он принадлежит. Но для данного множества он существует — независимо от того, материален ли он. Такое подход позволяет рассматривать конструктивно и единообразно существование любых материальных или нематериальных, абстрактных объектов.
Нематериальные объекты окружают нас повсеместно — это, например, параметры экономических или социальных систем, абстрактные термины математических теорий и даже многие простые, казалось бы, понятия разговорного языка. Задавая вопрос «а есть ли в этом смысл?» мы пытаемся определить существование нематериального объекта «смысл» на множестве правильных линий поведения, понять, принадлежит ли предлагаемое действие множеству правильных решений, «смыслов». Ниже мы определим это понятие более строго.
Таким образом, данное базовое определение увязывает вместе субъективистский (релятивистский, идеалистический..) и объективистский («материалистический») подходы к проблеме существования. Для вполне материальных множеств существование материально, для «нематериальных» существование нематериально, но это тоже существование. Очевидно, что субъектность играет важную роль в понимании понятия существования. Роль субъекта - наблюдателя множеств и существующих в них элементов ‒ является определяющей, собственно, наблюдатель и определяет (для себя, что важно) как множество, так и тестируемый элемент. Соответственно, надо признать, что существование является категорией субъективной и относительной.
ОТНОШЕНИЯ / RELATIONS
Определение: Отношение есть взаимодействие или связь любого рода между элементами множества.
Если 2 элемента принадлежат множеству, они могут быть связаны или не связаны некоторым отношением. Если они не связаны никаким отношением, они существуют, но не воспринимаются друг другом. Не наблюдаемы. Не осязаемы. Не измеримы. (Пишется раздельно, так как не неизмеримы в принципе, а не измеримы друг другом). Если отношение существует, т.е. элементы связаны некоторым отношением, то такие элементы будем называть воспринимаемыми друг другом (см. ниже определение восприятия). Восприятие может быть однонаправленным, односторонним или двунаправленным, двусторонним. Наличие отношений на множестве хорошо иллюстрируется несвязным ориентированным графом.
Физический смысл отношений определяется природой множества. Человек увидел яблоко. Оно (элемент) существовало в саду (множество) до того, как человек (элемент) его видел. После того, как человек увидел яблоко, этот элемент стал воспринимаемым. На множестве элементов появилось отношение. Если субъект понимает или воспринимает некоторое понятие как элемент множества, оно существует в той же степени, в которой само множество существует как элемент некоторого другого множества.
Элемент множества существует в той же степени, в которой существует само множество.
Квадратный корень из числа 2 существует на множестве вещественных чисел, если существует само такое множество. Красота художественного произведения существует только для того, кто ее воспринимает - ощущает отношение предпочтения на множестве таких произведений. Трактор (элемент) в поле (множество) существует и воспринимаем для тракториста (элемент), существует и не воспринимаем для остальных тружеников (элементы) села (множество), пока они его не увидели, а для всех остальных существует или не существует равно как все это село как элемент их системы мироздания (множество).
ПАРАДОКСЫ ВОЗМОЖНЫ / PARADOXES ARE POSSIBLE
В силу теоретико-множественной природы и рекурсивности предложенного базового определения существования оно допускает парадоксы. Также интересно отметить, что для каких-то элементов факт существования может быть определен созданием отношения, которое удаляет (разрушает, изменяет) элемент из множества. Т. е. определить, что элемент существует (измерить) можно лишь удалив (разрушив, изменив) его. Такое, как известно, наблюдается в квантовой физике. В макромире также любое наблюдение (реализация отношения) изменяет как наблюдаемый объект, так и наблюдателя, просто такие изменения могут признаваться несущественными, но они всегда есть.
«CŌGITŌ ERGŌ SUM»
Как было показано выше, наличие отношений между двумя элементами множества делает их воспринимаемыми друг другом. Соответственно, фиксирует факт существования одного объекта восприятия для другого. Если такое отношение является однонаправленным, фиксация существования происходит только для одного объекта. Фотография артиста в рекламе мыла фиксирует факт его существования (и артиста и мыла) для многих людей, при этом для артиста (и мыла) факт существования конкретных людей, видевших рекламу, остается неизвестным. Отношение может применяться, в том числе, и только к одному элементу. В этом случае происходит фиксация существования объекта только для него самого.
«Cōgitō ergō sum» — «я мыслю, следовательно, я существую», утверждение Рене Декарта иллюстрирует этот факт. При этом, с учетом вышеизложенного, можно сделать вывод, что утверждение Декарта является верным, поскольку любое утверждение объекта относительно себя самого уже является отношением и, соответственно, подтверждением существования (однако, только для себя самого). Но надо отметить, что это утверждение является частным, не общим, применимым только к части существующих сущностей, а именно, мыслящих. Поскольку верным будет и «я не мыслю, следовательно, я существую» и множество других высказывний (например, «I Am Groot» / «Я есть Грут». Грут знал только эту фразу и произносил её, доказывая свое существование как мыслящей личности себе и окружающим). Краткое утверждение «Азъ есмь» и даже просто «я» уже является отношением и, соответственно, восприятием самого себя и подтверждением существования.
ВОСПРИЯТИЕ, ДАННЫЕ, СМЫСЛ И ЗНАНИЕ / PERCEPTION, DATA, MEANING AND KNOWLEDGE
Определения:
Восприятие есть проекция (результат взаимодействия, реализация связи) отношения на объект (элемент(ы) множества).
Сознание это восприятие. Самосознание это восприятие собственной сущности.
Внимание есть форма восприятия. Также как осязание, обоняние, слух. И даже размышление можно назвать формой восприятия объекта размышления.
Данное есть представление любого вида (например, описание или машинный вид) единичного элемента восприятия.
Таким образом, данное это представление в любой форме элементарного результата взаимодействия некоторых объектов
Любой набор (множество) данных образует данные.
Смысл есть представление любого вида (например, осознание или описание, в том числе формула, алгоритм, программный код) единичного акта отношения.
Таким образом, смысл это представление в любой форме единичного акта взаимодействия или реализация связи некоторых объектов в целом, а не только результата такого взаимодействия. Т.е. смысл в нашей терминологии это механизм единичного взаимодействия, а данные это результат такого взаимодействия. Единичность взаимодействия можно понимать как целостность, законченность элементарного акта взаимодействия. В силу рекурсивности всего рассматриваемого в данной статье «единичное» взаимодействие также может быть достаточно сложным результатом предыдущих рекурсий.
Исходя из приведенных определений, рассматриваемый выше вопрос «а есть ли в этом смысл?» можно представить как попытку определить принадлежность предполагаемого действия (единичного акта отношения) целостному представлению о взаимодействии объектов (некоторого отношения). Действие может иметь смысл, т.е. соответствовать некоторому взаимодействию, например, совместной работе сотрудников для достижения групповой цели или не иметь смысла, если действие не принадлежит множеству правильных действий.
Интеллект есть оператор смыслов.
Субъект, оперирующий смыслами, формирующий, создающий смыслы, т.е. определяющий (для себя, поскольку смыслы субъективны) существование отношений между элементами различных множеств, объектов окружающей среды или виртуальных сущностей.
Знание есть некоторый набор (множество) смыслов как представление любого вида (например, осознание или описание, в том числе формула, алгоритм, программный код) отношения в целом или любого его подмножества.
Истина есть существующее.
А истинность есть существование. Существующее истинно. Истинное существует. Знание есть существующее. Знание истинно. Формирование смысла интеллектом есть определение истинности, т. е. факта существования.
Любой набор (множество) знаний образует знания.
Таким образом, знания это набор (множество) представлений (смыслов) об отношениях — взаимодействиях или связях между объектами любой природы. А данные это представление восприятия результатов такого взаимодействия.
На примере числа π:
• число π принадлежит множеству вещественных чисел и, в этом смысле, существует. В той же мере, как и само множество вещественных чисел
• определение числа π в любой форме это отношение, оно определяет связь числа π с другими вещественными числами
• любая формула вычисления числа π это знание
• формула вычисления любого десятичного знака числа π это смысл
• любой вычисленный десятичный знак числа π (либо его приближение до этого знака) это данное
• любое подмножество десятичных знаков числа π либо его приближений это данные
См. также: AGI (ARTIFICIAL GENERAL INTELLIGENCE, ОБЩИЙ ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ), ПРОБЛЕМА СМЫСЛА И КОЛМОГОРОВСКАЯ СЛОЖНОСТЬ ЧИСЛА π... / AGI, THE PROBLEM OF MEANING AND THE KOLMOGOROV COMPLEXITY OF THE NUMBER π
https://www.facebook.com/V.Senkevich/posts/1280542788952393
Данные это, конечно же, информация. В данной статье мы не рассматриваем связь этих понятий в контексте теории информации. Но очевидно, что и данные и знания также связаны с мерой неопределенности, энтропии Шеннона. Наша цель, в том числе, показать субъективность этого понятия. В теории информации мера неопределенности вполне объективная величина - в строго определенной весьма абстрактной области). В нашей интерпретации объективность, материальность и само существование любой величины напрямую зависит от той области, в которой она определена.
См. также: ИНТЕЛЛЕКТ И НЕОПРЕДЕЛЕННОСТЬ
https://www.facebook.com/V.Senkevich/posts/1187413631598643
СИСТЕМА И ОНТОЛОГИЯ КАК ФУНКЦИЯ ВОСПРИЯТИЯ / SYSTEM AND ONTOLOGY AS A FUNCTION OF PERCEPTION
Определение: Система есть объект с разнообразием.
Объект означает, что систему можно как-то выделить из окружающего мира посредством восприятия. Разнообразие означает наличие у системы воспринимаемой структуры — атрибутов, поведений, элементов и т.п.
Восприятие разнообразия в окружающем мире является средой формирования онтологий.
Онтология есть метаданные.
Прерогатива интеллекта, хоть естественного, хоть искусственного - создавать свои собственные онтологии, взаимодействуя с окружающим миром (предметной областью) и определяя его структуру, индивидуальную для данного субъекта. Cтруктура предметной области описывается метаданными, представляющими собой знание (в простом случае метаданные это данные о данных, также представляющие собой отношение, т.е. знание). Там, где такой механизм присутствует - там наличествует интеллект. Там, где он жестко задается извне - там программный робот.
В этом смысле любой материальный объект — камень, стол, яблоко — становятся системой тогда, когда мы фиксируем у них наличие разнообразия любого рода: элементов онтологии, атрибутов, категорий, свойств (цветов, запахов, других физических параметров). С нематериальными объектами то же самое. Текст романа Льва Толстого «Война и мир» и симфония Шостаковича вовсе не разнообразны, а, наоборот, вполне однообразны для наблюдателя, не обладающего восприятием такового разнообразия. Генератор случайных чисел не обладает разнообразием и сложностью. И системой не является. Но для того, кто узнал, что некоторый такой генератор был реализован с помощью функции вычисления числа π, уже является. И текст литературного произведения и симфонию можно воспринимать как такой генератор - случайную последовательность букв или нот, достаточно равномерно распределенную. Системой эти произведения становятся только для наблюдателя, воспринимающего их структуру (в том числе смысл, гармонию). Для остальных это не система, а информационный или звуковой шум.
Таким образом, квалификация объекта как системы зависит от восприятия присущего ему разнообразия (некоторые называют это сложностью, структурой, свойствами, связями, но разнообразие это наиболее общий термин). При этом не имеет значения, является ли рассматриваемый объект статичным или динамичным. И динамичная конструкция системой не является, пока вы таковой себе её не представите и не осознаете наличие у нее структуры, связей, поведения. И начнёте её воспринимать как систему. Упавшее с дерева на голову яблоко не является системой для большинства, это просто динамичный объект. А для Ньютона, представившего себе сопутствующий яблоку набор связей и свойств, является.
ТРИГГЕРЫ, МОТИВАЦИИ И СВОБОДА ВОЛИ
Восприятие может инициировать триггеры. Внимание, осязание, ощущение и даже размышление как формы проявления восприятия это инструменты для формирования триггеров.
Триггеры это реакции субъекта.
Мотивация это осознанная необходимость действия.
Триггеры это просто реакции субъекта, но мы за использование для AGI более формализованных терминов вместо биологических. Триггеры формируют желания, цели и необходимость действия, мотивацию. Заданный вопрос, брошенный мяч, ощущение голода или жажды, возникшая в процессе размышления мысль и т.п. воспринимаются с помощью имеющегося инструментария (формы восприятия). Или не воспринимаются и тогда триггеры не возникают. Брошенный мяч пролетает мимо. Мысль собеседника не воспринимается. Если восприятие (внимание, ощущение etc) обнаруживает отклонение/событие, то срабатывает триггер (реакция), который формирует цель или желание, мотивацию (уклониться или поймать мячик, попить воды, ответить на заданный вопрос и т.п.) Далее при генерации ответа возникает или не возникает неопределенность (как поймать мяч, где попить воды etc).
Свобода воли есть свобода алгоритму выбрать решение при наличии альтернатив, используя либо встроенную мотивацию либо метод случайного выбора при отсутствии оной.
Свобода в неопределенности. Свобода подразумевает наличие неопределенности, наличие альтернатив. Там, где всё предопределено и нет неопределенности, свобода отсутствует.
ЗАДАЧИ, ЦЕЛИ И МЕЧТЫ
В общем случае Цель – это Задача, имеющая неопределенности, не позволяющие ее однозначно решить. Неопределенность - фундаментальное свойство Цели, делающее невозможным реализацию Целей в информационной системе с помощью каких-либо жестких алгоритмов. Цель, лишенная неопределенности, превращается в Задачу. А Цель, лишенная определенности, превращается в Мечту.
Если действия достичь некоторого состояния или значения некоторого критерия вполне понятны и обеспечены ресурсами (полностью определены), то это Задача.
Если действия вполне понятны и не обеспечены ресурсами (частично определены), то это Цель.
Если действия не вполне понятны и не обеспечены ресурсами (полностью неопределенны), то это Мечта.
Пример - покупка автомобиля.
• Если есть деньги, водительские права, наличие нужной модели в магазине - это Задача, ее берут и выполняют.
• Если нет денег или прав или нужной модели в магазине - это Цель, ее достигают разными способами, ставя себе Задачи (получить права, взять кредит и т.п.)
• Если ничего нет, кроме желания - это Мечта, о ней мечтают или ставят себе промежуточные Цели.
Наличие неопределенности делает похожими Цели и Проблемы. Отличие в том, что обычно Цели формулируются субъектами самостоятельно, а Проблемы, как правило, возникают извне.
«ДА», «НЕТ», «НЕ ЗНАЮ»
При создании реального АGI необходимо определиться с инструментарием для конструирования выводимости суждений на естественном языке. Применяя для этого аппарат формальной логики, первое, от чего необходимо сразу отказаться, это закон исключенного третьего — основа бинарной логики.
Фундаментальным требованием является необходимость обрабатывать неопределенности. Поэтому необходимо использовать трехзначную логику с кортежем базовых значений {«да», «нет», «не знаю/не применимо»} / {true, false, null}. Иначе вопросы типа «Вы перестали пить коньяк по утрам? Да или нет?» искусственный интеллект так и не сможет правильно обрабатывать. Это принципиальная проблема выводимости суждений на естественном языке.
Трехзначная логика позволяет строить итерационные и рекурсивные процедуры формирования суждений более естественным образом. Значения «да» или «нет» завершают процесс познания. Значение «не знаю/не применимо» инициирует новый этап процесса.
Данное требование является базовым. Инструментарий можно расширять, используя нечеткую и/или многозначную логику, но принцип отказа от принятия решения вместо принятия неправильного решения можно принять как аксиому при построении AGI.
СУЩЕСТВОВАНИЕ, АБДУКЦИЯ И ПОИСК СМЫСЛА/ EXISTENCE, ABDUCTION AND THE SEARCH FOR MEANING