Неполнота и абсурдность знаний

из "Ситуационное управление теория и практика "

Начнем с того, что неполнота, о которой идет речь, многолика. Существует несколько видов неполноты, по-разному сказывающихся на возможности появления противоречивой информации в памяти системы. Во-первых, значения данных, начиная с числовых, могут быть точно не определены. Вместо точного значения q, о котором известно, что оно принимает некоторое числовое значение, в памяти системы имеется лишь указание на некий интервал, в котором находится это значение. Пусть, например, мы имеем q, значение которого фиксировано где-то в интервале (0, 10) и g, значение которого фиксировано где-то в интервале (5, 12).. И пусть нам известно, что g q. Тогда информация, хранимая в памяти системы, в некотором смысле противоречива, так как при значениях g из интервала (10, 12) будет нарушаться условие g q. Для устранения этого противоречия можно произвести уточнение информации для g и считать, что g приписывается значение из интервала (5, 10), a q — значение также из интервала (5, 10). С такими интервальными значениями можно совершать все необходимые операции. В настоящее время арифметика, работающая с интервальными представлениями, хороша развита. Две такие системы описаны в работах, указанных в комментарии к данной главе. [c.157]
Можно предполагать, что конкретные значения, которые на самом деле соответствуют q, не просто фиксированы где-то на интервале (а, Ь), а имеется дополнительная информация о выборе истинного значения q на этом интервале. Такая информация может иметь характер вероятностного распределения для поиска истинного значения или задаваться, например, в виде функции принадлежности того типа, который мы ввели в 2.11 и уже неоднократно использовали. В подобных случаях также могут возникать противоречивые ситуации, связанные, например, с несовместимостью таких утверждений С вероятностью, большей 0,99, значение q находится в интервале (О, 1) и С вероятностью, большей 0,95, значение q находится в интервале (10, 60) . Арифметика таких интервальных величин развита чрезвычайно слабо и еще ждет своих исследователей. [c.157]
Таким же образом можно определить неопределенное множество, неопределенную переменную, неопределенный предикат и неопределенное отношение. Несколько сложнее вводится понятие неопределенной функции. Весь этот набор не-объек-тов требует создания для оперирования с ним специального математического аппарата. Только в этом случае появляется надежда справиться с теорией баз знаний, в которых представлены неопределенные объекты. В рамках этой теории должны быть, в частности, разработаны методы уточнения границ интервалов и описания множеств, предикатов, отношений и функций, которые позволили бы системе максимально устранять в содержимом памяти возможные в будущем противоречия из-за поступления новой информации. [c.157]
В заключение настоящего параграфа напомним о том, о чем уже говорилось в 1.6. В ряде случаев противоречащие друг другу утверждения возникают в памяти системы и из-за того, что для каждого достаточно жизненного (не чисто математического) понятия всегда возможно его рассмотрение в различных аспектах или различных возможных мирах. И это противоречие устраняется фиксацией того аспекта или мира, к которому данный объект относится. [c.158]

Вернуться к основной статье