|
могут быть отвергнуты, чего никогда не происходит при проведении общезначимых рассуждений. Указанная особенность, являющаяся непременной чертой всех немонотонных логик, позволяет уменьшить потери в случаях, когда предположения, на основе которых делались выводы по умолчанию, оказались ошибочными. Рассмотрим один из классов немонотонных логик логики умолчаний Рейтера [8 6], специально разработанные для формализации рассуждений с умолчаниями. Логики умолчаний формализуют рассуждения с умолчаниями с помощью специальных предметно-зависимых правил вывода, называемых умолчаниями. Умолчания (правила умолчания) имеют следующий вид: а : МВ1......М В т , (3.27) У где а , (31,..., 3т, у * суть формулы обычной логики первого порядка; а требование умолчания; (31,..., (Зт обоснование умолчания; у следствие умолчания; М символ метаязыка. Интуитивно умолчания имеют следующий смысл: если мы верим в а и 31,..., (Зт не противоречит всему, во что мы верим, то можно верить иву. Система логики умолчаний представляется теорией с умолчаниями (или точнее: с правилами с умолчаниями), состоящей из некоторого множества особо выделенных формул и правил вывода. В ней содержатся формулы логики предикатов, представляющие основную информацию о системе, обрабатываемую в соответствии с имеюшимися аксиомами. Содержатся также правила умолчаний, отражающие различные утверждения, касающиеся исключений. Для такой системы существует несколько (нуль или больше) множеств выводимых предположений. Эти множества представляют различные картины мира, которые можно представить, исходя из теории с умолчаниями. |
представляется менее опасным, чем бездействие из-за невозможности проведения этих надёжных (общезначимых) рассуждений. Рассуждения с умолчаниями особенно актуальны применительно к ИСРВ, так как здесь существенную роль в усилении обеих причин играет фактор времени; часто причиной неполноты знаний о предметной области оказывается дефицит времени, отведённого на принятие решений, не позволяющий собрать всю необходимую информацию в полном объёме. Важной особенностью рассуждений с умолчаниями является возможность их модификации при поступлении дополнительной информации, противоречащей принятым предположениям. В результате такой модификации некоторые утверждения, ранее считавшиеся истинными, могут быть отвергнуты, чего никогда не происходит при проведении общезначимых рассуждений. Указанная особенность, являющаяся непременной чертой всех немонотонных логик, позволяет уменьшить потери в случаях, когда предположения, на основе которых делались выводы по умолчанию, оказались ошибочными. Рассмотрим один из классов немонотонных логик логики умолчаний Рейтера [186], специально разработанные для формализации рассуждений с умолчаниями. Логики умолчаний формализуют рассуждения с умолчаниями с помощью специальных предметно-зависимых правил вывода, называемых умолчаниями. Умолчания (правила умолчания) имеют следующий вид: а: МВ1 МВт , (2.2) У где а, {31,..., р т , у суть формулы обычной логики первого порядка; а требование умолчания; 78 р1 ,..., ргп обоснование умолчания; у следствие умолчания; М символ метаязыка. Интуитивно умолчания имеют следующий смысл: если мы верим в а и [31,..., Рш не противоречит всему, во что мы верим, то можно верить и в у. Система логики умолчаний представляется теорией с умолчаниями (или точнее: с правилами с умолчаниями), состоящей из некоторого множества особо выделенных формул и правил вывода. В ней содержатся формулы логики предикатов, представляющие основную информацию о системе, обрабатываемую в соответствии с имеющимися аксиомами. Содержатся также правила умолчаний, отражающие различные утверждения, касающиеся исключений. Для такой системы существует несколько (нуль или больше) множеств выводимых предположений. Эти множества представляют различные картины мира, которые можно представить, исходя из теории с умолчаниями. Умолчание называется замкнутым тогда и только тогда, когда формулы а, ($1,..., {Зш, у не содержат свободных переменных. Свободные переменные умолчания считаются квантифицированными квантором всеобщности. Незамкнутое умолчание называется открытым. Оно представляет общую схему вывода. Его конкретизацией является замкнутое умолчание, полученное заменой всех свободных переменных открытого умолчания на константы языка логики предикатов первого порядка. Формально, теория с умолчаниями А это пара: А = < Б , Б>, (2.3.) 79 |