Правила - вывод
Cтраница 3
Покажите, что все правила вывода для F-зависимостей переходят в корректные логические правила вывода, если F-зависимости интерпретируются как пропозициональные формулы. [31]
Покажите, что все правила вывода для одних MV-зависимостей и для F-зависнмостей совместно с MV-зависимостями переходят в корректные логические правила, когда F - и MV-зависимости интерпретируются как пропозициональные формулы. [32]
Если все посылки какого-нибудь правила вывода являются тавтологиями, то его заключение также является тавтологией. [33]
Для этого необходимо иметь правила вывода, которые указывают, как из одной или более зависимостей выводить другие зависимости. Фактически мы можем сделать большее - предоставить полное множество правил вывода. [34]
 |
Редактор правил вывода. [35] |
Теперь нам необходимо задать правила вывода, которыми будет руководствоваться наша экспертная система. Перед этим необходимо определиться, какие нечеткие множества мы будем использовать и как их именовать в CubiCalc - правила в системе записываются на английском языке. [36]
Для многозначной зависимости существуют правила вывода, аналогичные правилам для функциональных зависимостей. Эти правила позволяют находить новые зависимости, если известно некоторое множество многозначных зависимостей. [37]
Нам осталось проверить, что правила вывода сохраняют общезначимость. Проверим это для правил Бернайса. Это совсем несложно, так как здесь нет речи ни о каких корректных подстановках. [38]
В нечеткой логике имеются свои правила вывода для нечетких множеств. Ее полезность в рассуждениях о ненадежных данных зависит от приемлемости интерпретации мягких данных [238] как нечетких высказываний. Среди исследователей в области искусственного интеллекта существуют большие разногласия в отношении полезности таких модифицированных логических систем для интеллектуальных систем и даже об их преимуществах для рассуждений с неполными данными. [39]
Во всех этих манипуляциях используются разнообразные правила вывода в логике предикатов первого порядка. Для успешного и эффективного выполнения верификации вручную требуется определенный опыт в обращении с подобными правилами. [40]
В различных логических системах используются разнообразные правила вывода. [41]
Правилами вывода этого исчисления являются правила вывода ИП. Выводимость, а также другие понятия, определяются аналогично соответствующим понятиям для ИП. [42]
Заметим, что все приведенные ниже правила вывода сводятся к простым механическим операциям над конечными последовательностями знаков. [43]
Заметим, что все приведенные ниже правила вывода сводятся к простым механическим операциям пал конечными последовательностями знаков. [44]
Также добавляются обычные схемы аксиом и правила вывода для кванторов. Кроме того, иногда добавляют и другие аксиомы, описывающие действие модальных операторов на кванторы, напр. [45]
Страницы: 1 2 3 4