Информатика
Законы логического вывода - часть 4
Пример рассуждений, не имеющих достаточных оснований:
1. «Если дорогу перебежала черная кошка, то быть неприятностям».
2. «Это верно, потому что это - справедливо».
Экспертные системы на ЭВМ с этой точки зрения должны создаваться исключительно на основе достоверных данных и общих правил вывода, проверенных практикой. Включение в базу знаний недостоверных данных или неподтвержденных обобщений и правил может привести к появлению ошибок и получению неправильных решений.
Причина такой работы экспертных систем состоит в том, что компьютеры могут делать выводы и
умозаключения только исходя из фактов и правил, имеющихся в базе знаний, и только из этих данных - и ничего другого. Практическую ценность для систем машинного интеллекта представляют принципы логического вывода на основе не только фактов, но и правил.
Закон логического вывода
modus ponens - первый закон, указанный Аристотелем:
А ® В, А -
Если из А следует В и посылка А истинна,
В то выполняется и следствие В.
Примеры применения правила логического вывода.
1. «Если идет дождь, то на улице мокро».
«Пошел дождь».
Следовательно, «на улице мокро».
2. «Если кому-то весело, то он улыбается».
«Маша развеселилась».
Следовательно, «Маша улыбается».
В предикатной форме закон логического вывода превращается в процедуру вывода новых сведений из имеющихся общих правил и конкретных фактов:
А(х) ®
В(х), А(с) - Если из А(х) следует В(х) и А(х) выполнено
В(с) для х = с, то выполняется В (с).
Данная процедура из конкретного факта А(с)
и общего правила логического вывода А(х) ®
В(х) позволяет вывести новое
конкретное утверждение В(с).
Иными словами, эта процедура вывода позволяет выводить новые конкретные сведения из общих правил и уже известных конкретных фактов.
Следовательно, знание и применение законов логического вывода позволяет порождать новые сведения, являющиеся логическим следствием уже известных сведений.
