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

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

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

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 2) представляет те компоненты X, которые определяются менее жестким критерием, чем для Зь

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

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

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

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

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

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

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

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

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

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

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

Я уверен, что Петров - человек порядочный. А что касается этих мелочей, то все мы не без греха. При расчетах определение решение с точностью до такого-то знака предполагает, что эта точность дает требуемое представление о результате; однако иногда задача может потребовать получение более высокой точности, которая с небольшой вероятностью, но может привести к некоторой корректировке принятой постановки задачи и\или метода ее решения (не меняя их в целом).

5.6. Естественным следующим шагом является выделение зоны « Привычного » Знания (3 4), которая занимает одно из центральных мест в Системах Знаний, так как ее компоненты X относятся к наиболее широкому и естественному типу устоявшихся знаний, составляющих костяк любой СЗН:

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

Некоторые компоненты этого определения выделены для указания на различия критериев для зон Зз и 3 4, хотя упрощенность нашей системы оценок не позволяет их различать :

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

Я считаю (почти уверен), что Петров - человек порядочный, хотя не мешало бы это еще раз проверить.

Как правило, туда можно доехать за полчаса.

5.7. Подведем итог обсуждению рассмотренной выше структуры Территории Знания, в которой выделено шесть зон. Пять из них были отнесены к сфере Устоявшегося Знания и включали:

зону Абсолютного Знания,

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

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

Остается открытым вопрос о том, что кроме упоминавшихся Аксиом может входить в базовую - стационарную - часть Абсолютного Знания?