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

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

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

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, а «ссылкой» в зоны более удаленные, невелика, но более вероятна, чем для компонентов зоны Очевидного Знания.

округление решения может оказаться недостаточно точным и потребовать корректирующего перерасчета.

5.5. Следующая зона ЗнанияЗ (Зз) включает, естественно, те компоненты X, которые подчиняются еще менее жесткому и более широкому критерию, чем рассмотренные выше:

X в зоне ЗнанияЗ данной СЗн занимает устойчивое, не вызывающее сомнений место, при отсутствии уверенности в максимальной полноте, непротиворечивости и \ или достоверности X; при этом X может допускать не только расширение и уточнение, но, возможно, и частичный пересмотр, при котором СЗн с высокой вероятностью не меняет основной части знаний X.

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