Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 4.2. ЛОГИЧЕСКИЙ ВЫВОД С НЕОПРЕДЕЛЕННЫМИ ПОСЫЛКАМИВ рамках проблемы автоматизации процедур вывода можно рассмотреть две точки зрения на представление знаний: а) логическую, когда правило вывода типа: «если В рамках логического подхода знания — факты и правила — представлены в виде логических утверждений, а процесс вывода основан на использовании правил отделения В классической логике двумя наиболее употребительными правилами отделения являются: правило «модус поненс” правило «модус толленс” Таблица 4 1. Правило "модус поненс”
Таблица 4 2 Правило
Замечание. В табл 4 2 показано если известно, что условие ложность Наличие невозможных ситуаций в табл. 4.1 и 4 2 показывает, что значения истинности для Таблица 4.3 Условная истинность
Легко видеть, что имеются всего четыре способа заполнения таблицы истинности Можно проверить, что табл. 4 3 эквивалентна неявному определению
В уравнении (4.40) операцию Таблица 4.4
Заметим, что, поскольку
что обобщает правило «модус поненс”, но не учитывает всю информацию из табл 4.4. Интересно отметить, что в табл. 4.3 можно поменять порядок столбцов так, чтобы получить обобщение правила «модус толленс” (см. табл. 4.5). Преимущество функционального подхода заключается в исчезновении в табл 4.4 и 4.5 невозможных случаев, описанных в табл 4.1 и 4.2, что позволяет независимо определить значения истинности Таблица 4.5
В дальнейшем будем обсуждать проблему вывода с нечеткими посылками вначале в рамках логического подхода, а затем в рамках функционального подхода, получая в обоих случаях похожие результаты. Потом будет предложен метод вывода с неточными посылками.
|
1 |
Оглавление
|