Page 45 - 6109

– вовк їсть м 'ясо,
– тварини, які їдять м'ясо, є хижаками.
Потрібно довести, що:
– вовк є хижаком.
Введемо предикати G(х, у), який означає "х їсть у" і Q(x), який означає "х
є хижаком". Далі введемо предметні константи: W – вовк; Μ – м'ясо.
Тоді маємо базу знань:
G(W, M)
~G(x, Μ)  Q(x).
Потрібно довести формулу Q(W).
Крок 1. Утворюємо пробну теорію та додаємо до неї заперечення:
G(W, M) (4.1)
~G(x, Μ)  Q(x) (4.2)
~Q(W) (4.3)
Крок 2. Застосовуємо резолюцію до (4.2) та (4.3); при цьому константа W
зіставляється зі змінною х:
G(W, M) (4.4)
~G(x, Μ)  Q(x) (4.5)

~Q(W) (4.6)
~G(W, M) (4.7)
Крок 3. Внаслідок резолюції (4.4) і (4.7) утворюється пуста фраза. Це
означає суперечливість пробної теорії та істинність твердження, яке
перевіряється.

45