Алгоритмы прямого и обратного

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

Основываются на применении правила Modus Ponens :

,

α1, … ,αn, α1 … αn β

—————————————————

β

Алгоритм прямого логического вывода

•Начинает свою работу с известных фактов, содержащихся в БЗ.

•Если для некоторой импликации становятся истинными все предпосылки, то ее заключение добавляется к базе знаний в соответствии с правилом Modus Ponens.

•Процесс продолжается до тех пор, пока:

-к базе знаний добавляется изначально заданный запрос q (алгоритм достигает успеха в доказательстве q),

-новые факты не добавляются в базу знаний (алгоритм достиг фиксированной точки). Если при достижении фиксированной точки исходный запрос q не достигнут, то последний не может быть выведен из базы знаний.

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример

Алгоритм прямого логического вывода:

пример