Искусственный интеллект

с одной стороны все составляющие H ilbsв текущей СЗн пребывают латентно, поскольку в явном виде в ней отсутствуют;

однако, из этих латентных компонентов H ilbs познаваемые могут появиться в СЗн в процессе ее расширения и эволюции (т.е. включены в нее и перейти в другие ее зоны), а непознаваемые остаются в H absданной СЗн навсегда;

эти обнаруженные компоненты могут быть совместимыми или несовместимы с текущей СЗн (оценка К), последнее может привести к ее значительной или даже радикальной перестройке.

Это своеобразие отражается соответствующими дополнениями наших Аксиом. В частности, они могут быть дополнены Утверждениями (а) и (б), развивающими Аксиому А 2:

Утверждения: Неизвестные нам Системы Знаний, т.е. такие СЗн В H abs, к которым наша СЗн может получить прямой или косвенный доступ, могут оказаться несовместимыми по содержанию:

(а) , с нашей текущей СЗн,

(б) , с нашей СЗн даже при ее развитии, т.е. в принципе.

Трудно представить, как первобытный человек мог бы включить в свою СЗН современный компьютер. Тем не менее, сколь бы значительно не различались СЗн каменного века и начала 21-го, тем не менее вторая произошла от первой, хотя и по очень длинной цепочке трансформаций, значительная часть которых была настоящими революциями.

Мы можем абстрактно «макетировать» ощущения, выходящие за рамки нашей системы чувств, но проинтерпретировать их восприятие в ее рамках не представляется возможным. Еще менее вероятной кажется возможность совместить в одной СЗн наш мир и мир элементарной частицы, окажись она живым или, тем более, мыслящим существом.

3.5. Статус Утверждений (а) и (б) в рассматриваемых СЗн позволяет разделить их на:

открытые : готовые к «встрече» с качественно новыми знаниями, которые не только могут потребовать радикальной перестройки текущей СЗн, но и в принципе быть с ней несовместимыми, - Утверждение (б) в статусе Аксиомы;

приземленные : признающие, что развитие СЗн идет по спирали и радикальные перестройки в ней возможны, но принципиально несовместимые с ней знания вряд ли мыслимы, - Утверждение (а) в статусе Презумпции;

консервативные : развитие СЗн в основном достигнуто и никакие радикальные перестройки в ней невозможны или очень мало правдоподобны, - Утверждение (а) недостоверно.

К Аксиомам и Утверждениям (а) и (б) стоит добавить Утверждения А 3и А 4:

Утверждение A 3: H ilbs не только несоизмеримо больше З аы, но и гораздо сложнее, поскольку содержит более развитые СЗн. Это Утверждения А 3следует из Утверждения (а).

Утверждение А 4: Процесс расширения Картины Мира (Системы Знаний) потенциально бесконечен.

Может показаться, что последнее Утверждение является лишним, поскольку следует из уже заявленных Аксиом. Но это не так: вполне удовлетворяет Аксиомам такая конечная СЗн, которая способна достичь своего потолка развития и остановиться, сохранив H ab Sнепознаваемой. Однако такие нам тут вряд ли интересны, так что для их исключения Утверждения А 3и А 4переводятся в статус Аксиом.

Таким образом, при этом расширенном наборе Аксиом наши знания (точнее, Метазнания) о H absмогут быть дополнены еще одним Выводом:

Вывод: Hgbs содержит бесконечное число компонентов.

Ту составляющую Метазнаний СЗн (тот набор ее Аксиом), которые не подлежат изменениям в процессе ее развития, будем называть базовой (базовым). Аксиомы А - А 4относятся к базовому набору.

3.6. В рассматриваемом Пространстве зоне H absпротивопоставляется зона Абсолютного Знания 3 ab S, для всех компонентов которой оценки П и Д равны мах, а К - нулю.

Таким образом, полнота любого компонента X зоны Абсолютного Знания является законченной (по крайней мере, для текущей СЗн) при полной достоверности X и отсутствии конфликтов как в 3 abs, а также значимых для СЗн конфликтов с компонентами других приближенных к 3 abs зон. Иначе говоря, зона 3 ab Sвключает только те компоненты текущей СЗН, которые признаны в ней «вечными неоспоримыми истинами», не подлежащими (на данный момент) дополнению или пересмотру.

Как мы уже видели, для разных СЗнсодержание зоны 3 absможет быть различным, хотя в любой СЗн эта зона включает составляющую Абсолютное Метазнание, которая состоит, как минимум, из Аксиомы А.

Как уже отмечалось, более «продвинутые» СЗн включает в зону 3 absпереведенные в статус Аксиом некоторые или все обсуждавшиеся выше Утверждения. Статус ( Аксиома, Презумпция, Гипотеза ) остальных относящихся к Метазнаниям Утверждений, в частности, и приведенных ниже, определяется типом конкретной СЗн и влияет на формирование карты ее Пространства.

Естественно, что к 3 absотносятся и все те компоненты СЗн, которые выводимы из Аксиом с максимальной достоверностью. Присутствие же в 3 absнижней составляющей, т.е. фактов - знаний, не относящихся к Метазнаниям, определяется статусом Утверждения В:

Утверждение В: Помимо Аксиом существуют компоненты знания (факты), полнота и достоверность которых оцениваются как максимальные, а уровень конфликтов с другими компонентами 3^ равным 0, т.е. такие «абсолютные» факты, которые не подлежат расширению или пересмотру в рамках данной СЗН.

М-П:: П=мах, К=0, Д=Мах.

Поскольку мы знаем массу «неоспоримых» фактов, которые рассматриваются в нашей СЗн* как соответствующие Утверждению В, то его очевидность в СЗн* в статусе Аксиомы (и, следовательно, существования нижней составляющей зоны 3 abs) не подлежит сомнению.

3.7. С другой стороны, динамика развития рассматриваемого Пространства предполагает справедливость Утверждения В 1:

Утверждения В~: Для любого, кроме базовых, компонента X зоны 3db Sданной С3н\ существует явно или потенциально другая СЗн, в которой этот X относится к другим зонам, в частности, зонам Территории Незнания.

Данное Утверждение относится не только к тем СЗн, которые являются для C3hi альтернативным, но и к СЗн, принадлежащим фазам «траектории» компонента X в процессе развития С3щ:

восходящая - предыстория С3н ьотносящаяся к появлению X из Habs с дальнейшим переходом в зоны, приближающее его к зоне 3 absи включению в нее;

нисходящая - дальнейшее развитие С3н ьпри которой абсолютный компонент X теряет статус и переходит в зоны, более удаленные от 3 abs; это может происходить за счет дальнейшего развития СЗщ по спирали или появления новой «альтернативной» СЗн, выбирающей другой комплекс Аксиом, в той или иной степени конфликтных с X.

В качестве иллюстрации можно вспомнить о бесчисленных переписываниях истории не столько за счет объективного учета новых фактов, сколько из-за смены метода их интерпретации, т.е. перестройки комплекса Аксиом. Наиболее радикальный пример, - это концепция Фоменко. То же неоднократно происходило за последний век в физике. И не только в ней.