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.

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).

Wyszukiwarka

Podobne podstrony:
276 4 7 ZMIANY STHUK U/WA1.NC ciśnieó wynosi Apr.R: Ta siła jest równoważona prac/, siłę pochodząca
skanuj0067 (23) •#*)! o to jest równowaga ha drodze mc ta holizm ■rmorypy występ..: dopomina fenylo
3x (P(x) a Q(x)) jest równoważna formule 3x P(x) a Q(x). Implikacja [O —»    jest
skanuj0033 zamocowania oraz wymiary próbki typu fzoda. Próbka ta nic jest jednak objęta Polską Normą
Image275 w kodzie 8421, a liczącej w kodzie 5421. Dekada ta przystosowana jest do asynchronicznego ł
Skrypt PKM 1 00064 128 Stądr-d-- Moment sil F i P* jest równoważony momentem zewnętrznym P{h + y,).
Zdj?cie0613 spożycie pochodnych ropy naftowej spożycie detergentów Płukanie żołądka. Procedura ta ni
img108 (7) Wstęp Ta katastrofa jest jednak w końcu zawsze pozorna.JNawet w najniższym kręgu pieklą o
kscan26 12.2.2. Polarografia zmiennoprądowa prostokątna Metoda ta nazywana jest także metodą fal pr
skanuj0007 G o u t P-. FL/ wr&LoGff t6cx . nrł -$‘Metody larwoskopowe Metoda Baermanna Metoda ta
skanuj0033 zamocowania oraz wymiary próbki typu fzoda. Próbka ta nic jest jednak objęta Polską Normą
img102 102 Podstawienie x = w0t, i ~    jest równoważne przecięciu wykresu funk cji z

więcej podobnych podstron