Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 153
zaključaka, ponovilo bi se razmatranje pravila P3 i ponovo zaključilo da je ono zadovoljeno.
Prema tome, polazni upit zadovoljen je za t = Mika.
Zadatak 67: Svojstva nejednakosti
a) Definisati na Prolog-u produkcioni sistem koji izražava osnovna svojstva nejednakosti.
b) Koristeći sistem definisan u tački a), dokazati da je
B (A + C) / E > B
ako je E > 0, B > 0, A > 0, C > 0 i C > E.
Analiza problema
Preduslovi E > 0, B > 0, A > 0, C > 0 i C > E predstavljaju činjenice u bazi znanja. Baza
znanja sadrži sledeća pravila:
R1: if X > 0 and Y >0 then X*Y > 0
R2: if X > 0 and Y > Z then X+Y > Z
R3: if X > W and Y > Z then X+Y > W+Z
R4: if X>0 and Y > Z then X*Y > X*Z
R5: if 1 > W and X > 0 then X > X*W
R6: if X > W*Z+Y*Z then X > (W+Y)*Z
R7: if X > W*Y and Y > 0 then X/Y >W
Zadata nejednakost B (A + C) / E > B predstavlja upit u bazu znanja.
Rešenje
Ovaj produkcioni sistem realizovan je na Turbo Prolog-u koji ima mogućnost potpunog
opisivanja sintakse aritmetičkih izraza koji predstavljaju argumente predikata V (u odeljku
domains). Predikat V(x,y) je ispunjen ako je vrednost izraza x (koji predstavlja levu stranu
nejednakosti) veća od vrednosti izraza y (desne strane nejednakosti).
domains
izr = a; b; c; d; e; nula; jedan;
puta(izr,izr); plus(izr,izr); podeljeno(izr,izr)
predicates
V(izr,izr)
clauses
V(e,nula).
V(b,nula).
V(a,nula).
V(c,e).