Cтраница 4
Типичным источником ошибок в рассуждениях являются правила вывода. [46]
Нам необходимы правила преобразования ( или правила вывода) одних высказываний в другие без потери их истинности. [47]
Избыточные данные, структуры гипотез, правила вывода могут оказаться полезными для решения проблем, связанных с ошибочной или отсутствующей информацией. Ни одно заключение не должно основываться только на одном источнике подтверждения. [48]
База данных АРЗ позволяет также использовать правила вывода и ограничения. Помимо применения при реализации самой системы HEARSAY-III эти возможности предоставлены также в распоряжение пользователя для кодирования глобальных предметно-зависимых связей. Например, приведенное ниже правило вывода констатирует, что присутствие в резервуаре одновременно и нефти, и воды означает наличие видимых разводов в этом резервуаре. [49]
При вводе простого правила, т.е. правила вывода значения простой цели, в сеть добавляются вершина, соответствующая этому правилу, и дуги, представляющие связи между простой целью и правилом, между правилом и его подцелями. При вводе сложного правила из него создается несколько простых правил, предназначенных для вывода значений утверждений о сложной цели вводимого правила. Простые правила добавляются описанным ранее образом в сеть вывода. [50]
Дальше указываются аксиомы интуиционистского исчисления предикатов и правила вывода. [51]
Нужны ли нам еще какие-нибудь аксиомы и правила вывода. Конечно, нужны, поскольку уже сформулированные аксиомы не полностью отражают смысл кванторов. Например, они вполне согласуются с таким пониманием этого смысла: формула V. Поэтому мы введем в наше исчисление два правила вывода, называемые правилами Бернайса, и на этом определение исчисления предикатов будет завершено. [52]