Рекомендуем

• На http://rookee.ru как найти хороший дроп-домен. | доставка вкусной пиццы в новосибирске Домашняя пекарня.

Счетчики








7.3.5. Путь к цели

Интегральная теория создания ИИ

Рассмотрим теперь проблему поиска пути к цели. Путь к цели - это
ряд из последовательности команд на E, в результате выполнения которых
цель будет достигнута. Как нам уже известно, у нас остался единственный
способ получения знаний - путем логического вывода из имеющихся знаний.
Обычно этот путь прорисовывается в виде поиска нужной последовательности
комбинаций объектов из vM. Известным также как поиск в лабиринте решений.
В нем решаются 2 основные задачи: получение возможных путей и их
оптимизация - выбор лучшего из них. Как известно лабиринт решений -
камень преткновения создателей ИИ. В соответствии с законами комбинаторики
его рост нелинейно зависит от роста числа входных данных. В нашем случае
ситуация гораздо хуже - внешний мир бесконечен, внутренний мир так же.
Из этого следует что и сам лабиринт будет также бесконечным. И эта
бесконечность сводит к нулю эффективность всех 3-х методов прохождения
лабиринта: повышения скорости, параллелизма и улучшение алгоритмов поиска.
В таких условиях мы вообще не сможем найти ни одного решения, не говоря уже
об их оптимизации. Итак, в рамках классической теории пройти бесконечный
лабиринт за конечное время и при конечной скорости невозможно. Но только
при случае если в самих объектах, составляющих лабиринт не содержится
подсказка - указатели нужного и притом оптимального пути. Что ж, такое
вполне возможно, но только в частных случаях построения внешнего мира.
Нас же интересует решение задачи в общем виде.
Напрашивается такое решение: в изначальной неактивной модели внутреннего
мира в неактивных объектах 2.2 самим поставить такие указатели (если мы
знаем общую картину построения M, то почему бы нам не знать и оптимальный
путь в общем же виде). Но изначально мы имеет только общую модель внешнего
мира, не детализированную еще на отдельные объекты. И расставить указатели
мы сможем лишь в общем виде. Образно говоря мы сможем только сказать
"иди на север" или "иди на юг", не раскрывая при этом конкретной дороги.
Но в случае бесконечного числа вариантов таких дорог может оказаться и так,
что число возможных путей от одного указателя до другого также бесконечно.
Таким образом нам придется усеять указателями весь путь, вплоть до
мельчайших деталей. Такое конечно недопустимо, не говоря уже и том, что в
этом случае придется также и самим же проводить детализацию пути, чтобы
было куда ставить указатели.
Но решить задачу все же возможно. И поможет нам в этом то, против чего
мы безуспешно боролись - бесконечность внешнего мира. Враг превратится в
союзника.
Так как vM бесконечен, то разделив его на конечное количество примерно равных
частей мы увидим что эти части также бесконечны. Разделим таким образом, что
каждая часть станет представлять собой логический домен, а все вместе они
образуют вложенную структуру. Это возможно, так как общая схема построения M
нам известна изначально. Каждый домен при этом будет состоять из бесконечного
количества физически элементарных объектов 1.1, уже неделимых далее. Либо его
опять можно представить как совокупность логических доменов более высокого
уровня (это также вытекает из вложенной структуры логических доменов внешнего
мира). Как известно логический домен - это совокупность связей типа
"причина - следствие", которые можно рассматривать как объекта класса 2.2.
Допустим у нас имеется некий логический домен, глобальные характеристики
которого описываются множеством объектов 2.2, среди которых имеются
A->X->B и C->Y->D. Так вот, если домен бесконечен и указанные процессы не
являются непосредственными свойствами слагающих его физически элементарных
объектов а являются свойствами их коллектива, то можно утверждать что домен
поддается разделению на два других домена (также бесконечных). Причем один из
них содержит процесс A->X->B и не содержит процесса C->Y->D, а другой
наоборот, содержит C->Y->D и не содержит A->X->B. И это условие выполнимо с
любой заданной степенью точности. Такое деление можно продолжать сколь угодно
долго. Справедливо и обратное: взяв два домена, содержащих различные процессы,
можно слить их в единый домен, обладающий процессами как первого, так и
второго домена. Причем гарантировать существование в новом домене процессов
A->X->B и C->Y->D как независимых объектов можно с вероятностью, сколь
угодно близкой к единице.
Эти свойства, вытекающие из центральной теоремы, и дают нам возможность
эффективно двигаться к цели. Очевидно что деление/слияние доменов возможно
только в случае бесконечной среды функционирования и только тогда, когда
разговор идет о глобальных характеристиках доменов. В конечных системах
объекты 2-го порядка неотделимы от объектов 1-го порядка и являются их
неотъемлемыми свойствами, подобно тому как масса в нашем мире однозначно
связана с энергией, а волновые свойства объектов неотделимы от корпускулярных.
Еще в самом начале нашего рассказа про объекты 3-го порядка мы говорили
о том, что объект 3.3 не может создавать объекты 1-го и 2-го порядка, а
может лишь менять свойства существующих. Не можем мы создать физически
элементарные объекты и в данной задаче. Но мы можем создавать логические
домены. Из ничего, из пустоты, создать логический домен конечно невозможно.
Но его можно получить путем деления произвольного логического домена на более
мелкие домены и объединяя их с другими доменами (уже существующими или
являющимися продуктами какого-либо деления).
Известно, что цель в 3.1 и 3.2, состоящая из конечного числа физически
элементарных элементов может быть преобразована конечным количеством способов
и только определенным кругом объектов, который также конечен.
Это вынуждает искать эти объекты и последовательность шагов преобразования.
В разделах, посвященных описанию 3.1 и 3.2 для простоты подразумевалось
что путь управления от эффекторов до цели (цепочка объектов 2.2) существует.
Но строго говоря это не всегда так. Вполне возможно что такого пути и нет.
Или же он есть, он не позволяет управлять объектом C->Y->D в полной мере.
Если же мир бесконечен, то на основании центральной теоремы можно утверждать
что построение бесконечного логического домена, глобальные параметры которого
уже существуют по отдельности в других доменах, возможно всегда. Это
утверждение вытекает и из общего принципа получения знаний из внешнего мира:
поскольку знания это объекты 2-го порядка - логические домены, то стало быть
наличие знаний во внешнем мире говорит о том что существуют и несущие их
домены.
Нужно лишь найти подходящие домены и преобразовать их. Как будет показано,
это преобразование принципиальным образом отличается от преобразования в
3.1 и 3.2. В 3.3 мы имеем уже процесс создания, а не поиска. Таким образом в
рамках бесконечного внешнего и внутреннего миров нам не нужно проходить
лабиринт решений - отпадает сама необходимость его прохождения. Вместо этого
строятся логические домены с заранее заданными свойствами, т.е. создаются
объекты 2-го порядка с условно-постоянными в рамках данной задачи свойствами.
А на основе уже их комбинаций - следующие объекты класса 2.2 и т.д..
С уходом лабиринта решений уходит и проблема потенциальных барьеров. Они
существуют лишь тогда, когда мы пользуемся готовыми путями и притом вслепую -
руководствуясь генератором случайности. Если же дорога к цели строится нами
самостоятельно, то на ней нет и барьеров, т.к. отсутствует понятие выбора
из множества путей: дорога-то одна!
Следует еще раз отметить что построение логического домена и изменение
свойств существующего - не одно и то же. При изменении свойств любого
объекта структура объекта остается неизменной. Поэтому изменяя состояние
домена мы не должны менять его структуру - распределение в нем объектов
1.1 и связей между ними, предполагая что требуемое состояние домена может
быть получено только путем изменения состояний (значений координат в
многомерных переменных объектов 1.1) слагающих его объектов 1.1. Для этого
приходится перебирать возможные состояния домена, ища требуемый (за счет
изменения состояния окружающих его доменов или иным способом). Возникает
лабиринт решений. В общем, изменение состояния домена можно сравнить с
поиском нужного решения в системе уравнений, без права изменения этих
уравнений. А создание домена - самим составлять систему уравнений, которая
будет иметь нужное решение, причем значения переменных, соответствующих
требуемому решению в общем-то уже известны.
Процесс построения логических доменов мы наблюдаем на примере нашей
цивилизации - оно не создает ничего нового на атомарном уровне (или если
угодно на кварковом - примеры ускорителей элементарных частиц и
искусственно осуществленных атомных превращений непринципиальны). Все
машины и механизмы были созданы путем преобразования из существующих
массивов вещества и энергии.

newpoisk.narod.ru, 21 марта 2005 года