Процедура - логический вывод
Cтраница 2
 |
Типовые линейные алгоритмы регулирования. [16] |
На основе этого заключения формируется база правил управления, которой определяются значения У для каждой возможной комбинации значений XI и XI. Процедура нечеткого логического вывода позволяет получить числовое значение управления на основе качественной начальной информации путем дефазификации выходной переменной. Использование в качестве входной информации лингвистических переменных отклонения переменной от задания и скорость отклонения переменной от задания приводит к фази - ПИ-алгоритму. Фази-алгоритмы регулирования не обеспечивают более высокого в сравнении с классическими алгоритмами качества АСР, но методы теории нечетных множеств могут быть полезными, если начальная используемая в управлении информация нечеткая. [17]
Некоторые из такого рода описаний действительно можно рационально сформулировать в виде исходных аксиом для системы доказательства теорем. Например, этот план стоит попробовать применить при таких-то обстоятельствах или если вы использовали такой-то факт, то вам, вероятно, потребуется следующее. Этот вид информации присутствует в стратегии, определяющей характер тех процедур логического вывода, которыми следует воспользоваться, - можно было бы сказать если данное символическое выражение решено, примените такую-то вычислительную процедуру и попытайтесь получить решение, используя формулу такого-то типа. Информация такого характера необходима при работе в любой проблемной области. [18]
При реализации автоматического формирования суждений, как правило, стремятся к максимально возможному единообразию и стандартизации в представлении формул, но в то же время в литературе часто приходится сталкиваться с самыми разнообразными системами обозначений, относящихся к логике. Основными синтаксическими схемами представления выражений являются конъюнктивная нормальная форма ( conjunctive normal form - CNF), полная фразовая форма ( full clausal form) и фраза Хорна ( Horn clause), последняя является подмножеством полной фразовой формы. Далее мы увидим, что эти формы представления значительно упрощают процедуру логического вывода, но сначала рассмотрим некоторые вопросы исчисления высказываний и предикатов. [19]
Страницы: 1 2