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

пример

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

•Действует в обратном направлении от запроса к данным.

•Если запрос q содержится среди фактов, то на этом алгоритм завершает работу.

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

- Если все посылки найденной импликации являются фактами, то выводим q и заканчиваем доказательство.

- Иначе ищем импликации для доказательства посылок.

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

пример