Искусственный интеллект - [26]
Утверждение А>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.
В качестве иллюстрации можно вспомнить о бесчисленных переписываниях истории не столько за счет объективного учета новых фактов, сколько из-за смены метода их интерпретации, т.е. перестройки комплекса Аксиом. Наиболее радикальный пример, - это концепция Фоменко. То же неоднократно происходило за последний век в физике. И не только в ней.
Это еще раз подтверждает спорность возможности существования в «продвинутых» СЗн абсолютных (вечных) Аксиом и фактов, кроме ограниченного набора базовых, равно как и определений таких понятий как Абсолютные Знание, Истина и Информация вне конкретного контекста.
Это замечательно выразил Г.В.Ф.Гегель своим известным афоризмом: Истина рождается как ересь, а умирает как предрассудок.
3.8. Таким образом, отсюда следует, что отражаемое в 3>abs Знание о Незнании является той наиболее достоверной и фундаментальной частью СЗн, на которую опирается вся Система Знаний, следовательно, и наш аппарат ориентации. Более того, здесь мы обнаруживаем некоторую парадоксальность во взаимосвязи зон 3>abs и H>abs.
С одной стороны 3>abs оказывается первичной, поскольку именно ее компонент Аксиома А является отражением существования оппозиции «Знание—Незнание», а, следовательно, и зоны H
