Информатика


Законы логического вывода - часть 4


Пример рассуждений, не имеющих достаточных оснований:

1. «Если дорогу перебежала черная кошка, то быть неприятностям».

2. «Это верно, потому что это - справедливо».

Экспертные системы на ЭВМ с этой точки зрения должны созда­ваться исключительно на основе достоверных данных и общих пра­вил вывода, проверенных практикой. Включение в базу знаний не­достоверных данных или неподтвержденных обобщений и правил может привести к появлению ошибок и получению неправильных решений.

Причина такой работы экспертных систем состоит в том, что компьютеры могут делать выводы и

умозаключения только исходя из фактов и правил, имеющихся в базе знаний, и только из этих дан­ных - и ничего другого. Практическую ценность для систем ма­шинного интеллекта представляют принципы логического вывода на основе не только фактов, но и правил.

 

Закон логического вывода

modus ponens - первый закон, указан­ный Аристотелем:

А ® В, А                   -

Если из А следует В и посылка А истинна,

       В                          то выполняется и следствие В.

 

Примеры применения правила логического вывода.

1. «Если идет дождь, то на улице мокро».

«Пошел дождь».

Следовательно, «на улице мокро».

2. «Если кому-то весело, то он улыбается».

«Маша развеселилась».

Следовательно, «Маша улыбается».

 

В предикатной форме закон логического вывода превращается в процедуру вывода новых сведений из имеющихся общих правил и конкретных фактов:

А(х) ®

В(х), А(с)                  - Если из А(х) следует В(х) и А(х) выполнено

В(с)                             для х = с, то выполняется В (с).

Данная процедура из конкретного факта А(с)

и общего правила логического вывода А(х) ®

В(х) позволяет вывести новое

конкрет­ное утверждение В(с).

Иными словами, эта процедура вывода позво­ляет выводить новые конкретные сведения из общих правил и уже известных конкретных фактов.

Следовательно, знание и применение законов логического выво­да позволяет порождать новые сведения, являющиеся логическим следствием уже известных сведений.


Начало  Назад  Вперед



Книжный магазин