Искусственный интеллект - [29]

5. ТЕРРИТОРИЯ ЗНАНИЯ

Как уже говорилось выше, в Пространстве выделяются несколько зон, в той или иной степени близких к З_аь и отнесенных поэтому к Территории Знания.

5.1. Начнем с вариантов дополнения самой зоны З_аы.

Наиболее примитивный из них включает в качестве Аксиомы Утверждение В*:

Утверждение В*: Вне текущей зоны З_аь и ее прямых следствий нет компонентов, могущих быть отнесеными к ней в процессе дальнейшего развития.

Такое Утверждение относительно зоны 3_ab_S характеризует достаточно примитивную СЗн, разделяющую apriori все знания на абсолютные и «прочие»:

с одной стороны, эта СЗн совершенно ригидна: любой X, хотя бы частично несовместный с абсолютными, оценивается в ней как эрзац, либо анти- знание;

с другой, в развитии остальных ее компонентов отсутствует перспектива достижения уровня З_аы (что возможно в СЗн, исключающих Утверждение В*).

Такая СЗн соответствует обскурантизму и консервативной доктрине. Будем считать, что на интересующей нас части Пространства достоверность Утверждения В* отрицается, и поэтому далее оно не упоминается.

Более гибкие СЗн допускают два варианта формирования 3^, при которых изменение 3_ab_S может происходить за счет:

только расширения, при котором все компоненты 3_abs сохраняют свой статус или

возможности корректировки, через редакцию множества компонентов 3_abs.

Первый вариант соответствует такому упрощенному типу СЗн, при котором текущее содержание зоны З_аь остается в СЗн навсегда в качестве «вечных основ» и может лишь пополняться за счет совместимых с ним компонентов из других зон (в частности, и из H_abs).

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

Именно такими «нормальными» СЗн будет ограничено наше рассмотрение дальше.

5.2. Территорию Знания можно разделить на две основные сферы:

«Устоявшееся» Знание, вложенное в привычную сложившуюся СЗн и объединяющее пять зон, которые будут рассмотрены ниже в пп.5.3 - 5.7, и

«Спорное» Знание.

Компоненты Спорного Знания не включены в текущую сферу Устоявшегося Знания, но радикально не противоречит ей, т.е.:

Компонент X в сфере Спорного Знания характеризуется достаточной достоверностью, причем противоречие X со сложившейся СЗн не оценивается как неразрешимое.

М-П:: П>0, К >0, Д > 0.

Достаточно правдоподобные, но не окончательно закрепившиеся гипотезы (например, из-за наличия альтернативных неусгоявшихся или спорных гипотез).

Сфера Спорного Знания является буферной между Устоявшимся Знанием и Территорией Неопределенности: ее компоненты имеют неплохие шансы продвинуться к 3_abs, подняв свой уровень релевантности. Самые смелые гипотезы обычно зарождаются в зонах Территории Незнания и\или в сфере Спорного, переходя в процессе их подтверждения и развития в зоны Устоявшегося Знания.

5.3. Наиболее близкая к 3_ab_S зона «Очевидного Знания» (3i) определяется следующим образом:

В зоне Очевидного Знания полнота X, его совместимость и достоверность оцениваются как близкие к максимуму; при этом текущее представление о X допускает расширение, но не редакцию и не снижение оценок совместимости и достоверности.

К зоне Очевидного Знания относятся компоненты, максимально близкие к переходу в статус Аксиомы и к включению в 3_abs Их нахождение в 3, может быть связано только с отсутствием некоторых второстепенных деталей, так что именно эта неполнота мешает им получить максимальные оценки совместимости и достоверности.

М-П:: П почти мах, К почти О, Д почти мах.

Презумпции (п.2.5)

Устоявшиеся теории, ставшие настолько привычными, что получают в общественном сознании статус Аксиом, хотя ими не являются.

Последний пример показывает, что «бытовые» СЗн не различают зоны 3_abs и 3i. Более того, чем грубее и примитивней СЗн, тем меньше в ней зон и тем более размыты их границы.

5.4. Ближайшая к Очевидному Знанию зона Знания2 (3₂) представляет те компоненты X, которые определяются менее жестким критерием, чем для Зь

Полнота X зоны Знания2 и его достоверность оцениваются как близкие к максимуму, а его совместимость как достаточно высокая; текущее представление о X допускает его расширение и редакцию деталей, и не предполагает снижение оценок совместимости и достоверности.

Соответственно, паспорт зоны 3₂ отличается от зон 3_abs и 3i оценкой П и К:

М-П:: П почти мах, К > О, Д »0.

Зона 3₂ охватывает компоненты, близкие к переходу в зону Очевидного Знания, для чего требуется уточнение некоторых деталей, которые могут оказаться частично несовместимыми с другими второстепенными компонентами Территории Знания, имеющими высокие оценки совместимости и достоверности, т.е. требовать «косметической» адаптации X к СЗн, или их редакции для согласования.

отчет готов, осталось уточнить отдельные чисто технические пункты.

при расчетах в этом случае говорят: допустимое округление решения.

Вероятность, что «косметическая» адаптация X может закончиться не продвижением X в 3i, а «ссылкой» в зоны более удаленные, невелика, но более вероятна, чем для компонентов зоны Очевидного Знания.