Cтраница 3
В классической дедуктивной системе растущее множество образуют все заключения, выводимые из множества посылок. Немонотонная система не обязана обладать этим свойством. Отдельно взятое множество заключений существенно зависит от порядка применения правил вывода. Если выведена всего лишь правдоподобная формула, то следует запретить дальнейшее выведение других правдоподобных ( но невыполнимых вместе с первой) формул. Например, если выведено Тити летает, то нельзя выводить Тити не летает. [31]
Классическая логика формализует строго корректные рассуждения. Моделирование встречающихся в ИИ рассуждений не должно ограничиваться формализацией непогрешимого интеллекта. Наш интеллект часто способен вырабатывать разумные рассуждения в условиях неопределенности. Имея дело с неполной, неточной или изменчивой информацией, наши рассуждения часто предположительны, всего лишь правдоподобны и должны подвергаться пересмотру. Зная, что большинство птиц может летать и что Тити - птица, я заключаю, что Тити может летать. Этот вывод кажется приемлемым. Между тем он не является абсолютно корректным и общезначимым, ибо не учитывает возможных исключений. Следовательно, он неточен и подлежит пересмотру. Если уточнено, что Тити - страус, то утверждение Тити может летать отвергается. [32]