• Reguły i fakty zapisz za pomocą perceptów.
• Metodą wnioskowania w tył, sprawdzić czy
mój komputer jest wyposażony w procesor PII.
1. (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
2. (prędkość:komputer:x1,szybki) )
(przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi).
3. (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
4. (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry)
5. (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Fakty:
1. (obudowa:komputer:mój,duża)
2. (prędkość:komputer:mój,szybki)
3. (nagrywarka:komputer:mój,tak)
4. (pamięć:komputer:mój,dużo)
Cel wnioskowania
(procesor:komputer:mój,PII)
mój komputer jest wyposażony w procesor PII
Wnioskowanie wstecz - idea
• Najpierw szukamy celu w faktach, jeśli cel jest jednym z faktów to koniec wnioskowania.
• Jeśli cel nie jest faktem w bazie wiedzy to szukamy w konkluzjach reguł.
• Jeśli znajdziemy regułę, której konkluzja jest
naszym celem wnioskowania, to teraz musimy
udowodnić wszystkie jej przesłanki. Dla każdej
przesłanki dowód przeprowadzamy tak jak dla
celu głównego (więc najpierw szukamy w faktach,
a dopiero gdy nie znajdziemy – szukamy w
konkluzjach reguł).
Cel wnioskowania
• (procesor:komputer:mój,PII)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
Krok 1: Szukamy w faktach
Wynik: Brak celu w faktach
Cel wnioskowania
• (procesor:komputer:mój,PII)
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
(prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry)
(cena:komputer:x1,drogi).
(pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
(nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi)
Krok 2: Szukamy w konkluzjach reguł
Wynik: Cel jest konkluzją reguły 1.
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(cena:komputer:mój,drogi) Czy znany jest fakt:
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
NIE
Cel wnioskowania
(cena:komputer:mój,drogi)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
Krok 1: Szukamy w faktach
Wynik: Brak celu w faktach
Cel wnioskowania
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
(prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry)
(cena:komputer:x1,drogi).
(pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
(nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi)
Krok 2: Szukamy w konkluzjach reguł
Wynik: Cel jest konkluzją reguły 2 i 5.
(cena:komputer:mój,drogi)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R2
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R2
Czy znany jest fakt:
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
TAK
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry)
(prędkość:komputer:x1,szybki) R2
F2: (prędkość:komputer:mój,szybki)
Czy znany jest fakt:
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
NIE
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R2
(przeznaczenie:komputer:mój,gry)
Cel wnioskowania
(przeznaczenie:komputer:mój,gry)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
Krok 1: Szukamy w faktach
Wynik: Brak celu w faktach
Cel wnioskowania
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
(prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry)
(cena:komputer:x1,drogi).
(pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
(nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi)
Krok 2: Szukamy w konkluzjach reguł
Wynik: Cel jest konkluzją reguły 4
(przeznaczenie:komputer:mój,gry)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R2
(nagrywarka:komputer:x1,nie) R4
Cel wnioskowania
(nagrywarka:komputer:x1,nie)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
Krok 1: Szukamy w faktach
Wynik: Brak celu w faktach
Cel wnioskowania
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
(prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry)
(cena:komputer:x1,drogi).
(pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
(nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi)
Krok 2: Szukamy w konkluzjach reguł
Wynik: Brak reguły o konkluzji takiej jak cel wnioskowania.
Wniosek: Nie udowodnimy celu wnioskowania za pomocą reguły 2.
Spróbujemy więc jeszcze za pomocą reguły 5.
(przeznaczenie:komputer:mój,gry)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
(prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R2
(nagrywarka:komputer:x1,nie) R4
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak)
Cel wnioskowania
(nagrywarka:komputer:x1,tak)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)
Krok 1: Szukamy w faktach
Wynik: Cel to fakt 3.
Cel wnioskowania
Wynik: Jedyny warunek reguły 5 został potwierdzony.
To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy.
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
Cel wnioskowania
(cecha:komputer:mój,uniwersalny)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
Krok 1: Szukamy w faktach
Wynik: Brak celu w faktach
Cel wnioskowania
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,PII).
(prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry)
(cena:komputer:x1,drogi).
(pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny).
(nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi)
Krok 2: Szukamy w konkluzjach reguł (cecha:komputer:mój,uniwersalny)
Wynik: Cel jest konkluzją reguły 3
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
R3
(pamięć:komputer:x1,dużo)
Cel wnioskowania
(pamięć:komputer:mój,dużo)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
Krok 1: Szukamy w faktach
Wynik: Cel jest faktem 4
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
R3
(pamięć:komputer:x1,dużo)
F4
(pamięć:komputer:mój,dużo)
Cel wnioskowania
Wynik: Jedyny warunek reguły 3 został potwierdzony.
To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy.
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
6. (cecha:komputer:mój,uniwersalny)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
R3
(pamięć:komputer:x1,dużo) F4
(pamięć:komputer:mój,dużo)
Cel wnioskowania
(obudowa:komputer:mój,duża)
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
6. (cecha:komputer:mój,uniwersalny)
Krok 1: Szukamy w faktach
Wynik: Cel jest faktem 1
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak) F3
(nagrywarka:komputer:mój,tak)
R3
(pamięć:komputer:x1,dużo) F4
(pamięć:komputer:mój,dużo)
(obudowa:komputer:mój,duża) F1
Cel wnioskowania
Wynik: Wszystkie przesłanki reguły zostały potwierdzone.
To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy.
1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)
6. (cecha:komputer:mój,uniwersalny) 7. (procesor:komputer:mój,PII)
• (procesor:komputer:x1,PII)
Wnioskowanie…
mój
(cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R1
R5
(nagrywarka:komputer:x1,tak)
F3 (nagrywarka:komputer:mój,tak)
R3
(pamięć:komputer:x1,dużo) F4
(pamięć:komputer:mój,dużo)
(obudowa:komputer:mój,duża) F1