Читаем Искусственный интеллект полностью

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

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

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

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

4 относятся к базовому набору.

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

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

включает только те компоненты текущей СЗН, которые признаны в ней «вечными неоспоримыми истинами», не подлежащими (на данный момент) дополнению или пересмотру.

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

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

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

фактов - знаний, не относящихся к Метазнаниям, определяется статусом Утверждения В:

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

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

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

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

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

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

восходящая -

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

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

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

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

Перейти на страницу:

Похожие книги