Посылка - правило
Cтраница 1
 |
Модуль нечеткого управления. [1] |
Посылка правила содержит набор условий, тогда как следствие содержит вывод. Ти у могут принимать как лингвистические ( например, малый, средний, большой), так и числовые значения. [2]
Назовем состояние схемы Янова, при котором выполнена посылка правила вывода П1, стационарной верхней разметкой. Это название, уже употреблявшееся неформально в предыдущем параграфе, оправдано тем, что в условиях стационарной разметки никакое дальнейшее применение аксиом А9 и А10 не изменит верхней разметки дуг схемы. [3]
Это обозначает, что когда атрибут МЕСТО появляется в посылке правила, атрирубы ИНФЕКЦИЯ и ГЛ. ВХОД ( т.е. путь проникновения микроорганизма) так же появляются в посылке этого правила. Правило, введенное экспертом, содержит атрибуты МЕСТО и ИНФЕКЦИЯ, но не имеет атрибута ГЛ. [4]
 |
Методы вычисления фактора уверенности на основе E. CFIO. [5] |
CFJO указывает, каким образом Интерэксперт вычисляет общий CF для посылки правила, логических, числовых и символьных выражений, знака ( - -), удаляющего значения из переменной набора. [6]
Итак, все дизъюнкты будем рассматривать как упорядоченные, отрезаемыми литерами могут стать лишь последние литеры посылок правила резолюций и последние литеры электронов при клаш-применении. [7]
Как можно увидеть, эти два дизъюнкта должны иметь контрарную пару литер и, следовательно, могут служить посылками правила резолюций. Если мы добавим в S дизъюнкт - Р, то мы будем иметь замкнутое семантическое дерево Т для SU - P, показанное на рис. 9, с. На рис. 9, с узел ( 1) - выводящий узел. [8]
Мы различаем метапеременные F, значениями которых могут быть любые формулы, и метапеременные, значениями которых могут быть только такие формулы, которые образуют выводимые равносильности, используемые в качестве посылки правила вывода. [9]
Заметим, что деревья для правил вывода ( случаи б) и в)) представляют условный вывод, в котором терминалами являются не аксиомы, а равносильности или формулы, образующие посылку доказываемого правила. На рис. 6.2, б) показан сокращенный вывод, в котором вместо поддерева вывода - 2 - У из Srv - У % помещена обозначающая его метавершина. Доказанные свойства отношения равносильности позволяют выводить целые цепочки эквивалентных преобразований. [10]
Представление, полностью основанное на фреймах, для этой проблемы возможно, если все правила продукции ввести внутрь фреймов. Посылки правила продукции могут быть представлены в одном фрейме, связанном со вторым фреймом, представляющим заключения. [11]
Это правило управляет переходом от контекста ПОМОГАТЬ к контексту ПКВ. Когда посылки правила перехода удовлетворены, то устанавливается новый контекст. Эти контексты соответствуют особым состояниям или ситуациям. Зти правила используют ближайшую предысторию пациента, для того чтобы установить новые ожидаемые значения данных и информацию для нового контекста. Часть одного из таких лравил приведена ниже. [12]
 |
Структура продукционной системы. [13] |
Во втором случае вывод идет в обратном направлении - от поставленной цели. Если цель согласуется с заключением правила, то посылку правила принимают за подцель или гипотезу, и этот процесс повторяется до тех пор, пока не будет получено совпадение подцели с известными фактами. [14]
Правило W является производным правилом вывода в формальной системе, если из посылок правила W в формальной системе можно вывести заключение этого правила. [15]
Страницы: 1 2