1300739943

autobus V tramwaj,

deszcz => -'autobus (ta implikacja jest równoważna klauzuli -'deszcz V -'autobus), deszcz,

wniosek: tramwaj.

Aby zastosować metodę rezolucji, negujemy wniosek, dołączamy go do bazy wiedzy i staramy się uzyskać klauzulę pustą reprezentującą fałsz (0). Odpowiednie wnioskowanie rezolucyjne ilustruje rysunek 2.

autobus v tramwaj . -deszcz v -autobus

-deszcz v tramwaj

Rysunek 2. Przykładowe wnioskowanie rezolucyjne

Rozważmy jeszcze inny przykład wnioskowania. Mamy do czynienia z sytuacją, w której robot ma wybrać kierunek ruchu: w lewo, na wprost lub w prawo. Jeśli nie pada deszcz, powinien iść w prawo. Jeśli pada deszcz, nie powinien iść w lewo, ani na wprost. Jaki kierunek robot może wybrać?

Stwórzmy najpierw odpowiednią bazę wiedzy:

•    lewo V wprost V prawo,

•    -> deszcz => prawo,

•    deszcz => ->lewo A -'wprost.

Po przekształceniu tej bazy do postaci klauzulowej uzyskamy:

•    lewo V wprost V prawo,

•    deszcz V prawo,

•    -'deszcz V -'lewo,

•    -> deszcz V -> wprost.

Dwie ostatnie klauzule są uzyskane z implikacji deszcz => -'lewo A ->wprost. Mianowicie, zgodnie z podanymi wcześniej zasadami, jest ona równoważna: -■deszcz V (-'lewo A “'wprost), czyli:

(-■deszcz V -'lewo) A (-'deszcz V -■wprost).

Rysunek 3 przedstawia odpowiednie wnioskowanie rezolucyjne (dla czytelności kolejność klauzul została nieco zmieniona, co oczywiście nie wpływa na wynik).