1. Kreiranje baze znanja
1
Ako baza znanja sadrži sledeće činjenice:
upit veci(X,Y), daje sledeće rezultate:
Kao što vidimo, on prikazuje kao odgovor samo one činjenice koje su u bazi znanja. Ne
može da zaključi sam ništa na osnovu (samo) činjenica.
Ali, ako u bazu znanju unesemo i neko pravilo:
2. Kreiranje baze znanja
2
Onda, upit jeveci(X,Y), daje sledeće rezultate (sa jednom tranzitivnosti):
, tj zaključio je (na osnovu unetog
pravila jeveci()) da je:
lav veći od pume i
tigar od risa,
ali nije zaključio da je lav veći i od risa.
e njega neće se izvršavati).