Simboli predikatskog računa I reda:

P, p, Q, q, R, r – oznake predikata
X, Y, Z – oznake promenljivih
A, B, C – oznake konstanti
∃∀ - kvantifikatori (∀ za svako, ∃ postoji)

Logičke operacije (veznici) predikatskog računa I reda:

⇒ (ako,implikacija)
⇔(ako, ako i samo ako, ekvivalencija)
∧ (i, konjukcija)
∨ (ili, disjunkcija)
⌉ (ne, negacija)

1) Milan je učenik. ucenik(milan)

2) Svaki učenik ima djačku knjizicu. (X)(ucenik(X)  ima(dajckaknjizica,X))

3) Postoji učenik koji nije student. (X)( ucenik(X)  ¬ student(X))

4) Dragana ima vozačku dozvolu. a) ima (vozacka_dozvola, dragana)

5) Svaki vozač ima vozačku dozvolu. b) (X)(vozac(X)  ima(vozacka_dozvola,X))

6) Postoje vozači koji nemaju položen vozački ispit. c) (X)( vozac(X)  ¬ polozen(vozacki_ispit,X))

7) OMW je benzinska pumpa. benz_pumpa(omw)

8) Benzinske pumpe prodaju gorivo. (X)(benz_pumpa(X)  prodaje(X,gorivo))

9) Gorivo koje se prodaje na pojedinim pumpama nije kvalitetno.

(X)( benz_pumpa(X)  prodaje(X,gorivo)  ⌉kvalitetno(gorivo) )

10) Dragan je advokat advokat(Dragan)

11) Zoran nije advokat advokat(Zoran)

12) Svaki advokat ima advokatsku dozvolu (X)( advokat(X)ima(X,a_kancelarija))

(X)( advokat(X)ima_a_kancelariju(X))

13) Cinema je bioskop bioskop(cinema)

14) Svi posetioci bioskopa moraju kupiti kartu (X)(posetilac(X)  mora_kupiti(karta,X))

15) Pojedini filmovi u bioskopu se ne prikazuju u 3d (X)( bioskop(X)  ⌉prikazuje(X,film,3D))

Bred Pit ima 53 godine i visok je 200cm.

ima_godine(bred,pit,53)∧visok(bred,pit,200)
Miloš je advokat. advokat(milos)

Zoran je pravnik. pravnik(zoran)

Zoran pomaže Milošu. pomaze(zoran,milos)

Pravnik Zoran pomaže advokatu Milošu.
pravnik(zoran)∧advokat(milos)∧pomaze(zoran,milos)

Advokati su pravnici. (∀x)(advokat(x)⇒pravnik(x))

Nekim advokatima pomažu pravnici.

(∃x)(∃y)(advokat(x)∧pravnik(y)∧pomaze(x,y))

Postoji pravnik koji nije advokat. (∃x)(pravnik(x)∧⌉advokat(x))

Na svakom fakultetu mora biti zaposlen advokat ili pravnik.

(∀x)(∃y)(∃z) (fakultet(x)∧advokat(y)∧pravnik(z)⇒(zaposlen(x,y)∨zaposlen(x,z)))

Gomex je prodavnica. prodavnica(gomex)

Mini nije je prodavnica, Mini je šoping mol. ⌉prodavnica (mini)∧soping_mol(mini)

Roba u prodavnici Gomex je kvalitetna. (∀x)(roba(x)∧prodavnica(gomex) ⇒kvalitena(x,gomex))

Nema svaka prodavnica kvalitetnu robu. (∃x)(∃y)(prodavnica(x)∧roba(y)⇒⌉kvalitetna(x,y))

Roba u prodavnici je kvalitetna ako i samo ako ispunjava standarde kvaliteta.

(∀x)(∀y)(∃z)(roba(x)∧prodavnica(y)∧standard_kvaliteta(z)∧kvalitetna(y,x)⇔ ispunjava(x,z))

Hleb Sava ima cenu od 44 dinara u prodavnici Gomex.

hleb(sava) ∧prodavnica(gomex) ∧ cena(sava,gomex,44,rsd)

Marko Marković je radnik. radnik(marko_markovic)

Svaki radnik ima radnu knjižicu.

(∀x)(radnik(x) ⇒ima(x,radna_knjizica))
Ili:
(∀x)(∃y)(radnik(x)∧radna_knjizica(y)⇒ima(x,y))

Slavica Simić nema radnu knjižicu.

⌉ima(Slavica_Simic,radna_knjizica)
(∃x)(radna_knjizica(x)∧⌉ima(Slavica_Simic,x)

Direktor je takoĎe radnik. (∀x)(direktor(x) ⇒radnik(x))

Neki menadžeri nisu direktori. (∃x)(menadzer(x)∧⌉direktor(x))

Za radnike se uvek zna njihov radni staž. (∀x)(∀y)(radnik(x)∧staz(y)⇒zna_se(x,y))

Svaki student koji je uradio seminarski rad iz nekog predmeta može da polaže ispit.
(∀x)(∃y) ( student(X) ∧ predmet(Y) ∧ uradio_seminarski (X, Y) ⇒ polaze_ispit(X,Y) )
Tempo je prodavnica sa konkurentnim cenama i velikim izborom robe.
(∀x)( prodavnica(tempo) ∧ roba(x) ⇒ konkuretna_cena(x, tempo) ∧veliki_izbor(x, tempo))

Ana Bacikin je uradila seminarski rad.

Uradio(Ana_Bacikin, Seminarski_rad)

Marko je taksista. Taksista(Marko)

Nenad je vozač. Vozac(Nenad)

Svaki taksista je vozač. (∀x)(taksista(x) ⇒vozac(x))

Nenad je bolji vozač od Marka. vozac(Nenad) ∧vozac(Marko) ⇒boljivozac(Nenad,Marko)

Neki vozači nemaju vozačku dozvolu. (∃x)(vozaci(x) ⇒⌉imavozackudozvolu(x))

1) Uz pomoć zaključivanja voĎenog ciljem dokazati (nacrtati graf) da je automobil «Yugo» pouzdan automobil ako je
dato:
Baza znanja: telo pravila
P1: ima_rezervnih_delova(X)  postoji_ mehanicar (X) postoji_elektricar(X)  obezbedjen_servis(X) glava pravila
P2: remontovan(X)  obezbedjen_servis(X)  u_voznom_stanju(X)
P3: nov(X)  u_voznom_stanju(X)  pouzdan_automobil (X)
Činjenice:
C1: ima_rezervnih_delova(Yugo)
C2: postoji_mehanicar(Yugo)
C3: postoji_elektricar(Yugo)
Cilj:
pouzdan_automobil(Yugo)
pouzdan_automobil(Yugo) 0. nivo
P3
nov(Yugo) u_voznom_stanju(Yugo) 1. nivo
P2
remontovan(Yugo) obezbedjen_servis(Yugo) 2. nivo
P1
ima_rezervnih_delova(Yugo) postoji_mehanicar (Yugo) postoji_elektricar(Yugo) 3. nivo
Tačno, C1 Tačno, C2 Tačno, C3
ZAKLJUČAK: automobil «Yugo» je pouzdan automobil.

2) Uz pomoć zaključivanja voĎenog ciljem dokazati (nacrtati graf) da preduzeće «Komerc» uspešno posluje ako je dato:

Baza znanja:
P1: poseduje_robu(X)  transport_omogucen(X)  plaćen_porez(X)  uspesno_posluje(X)
P2: obezbedjeni_kamioni(X)  ima_vozaca(X)  transport_omogucen (X)
 P3: obezbedjen_nabavljač(X)  zaliha_sirovina(X)  poseduje_robu (X)
Činjenice:
C1: zaliha_sirovina(Komerc)
C2: plaćen_porez(Komerc)
C3: obezbedjeni_kamioni (Komerc)
C4: ima_vozaca (Komerc)
Cilj: uspesno_posluje(Komerc)

uspesno_posluje(Komerc) 0. nivo
P1 A ={uspesno_posluje(X),
uspesno_posluje(Komerc)}
NOU je θ1={Komerc/X)
A θ1 ={uspesno_posluje(Komerc)}

poseduje_robu(Komerc) transport_omogucen(Komerc) plaćen_porez(Komerc) 1. nivo

C2, Tacno
P3 P2

2. nivo
obezbedjen_nabavljač(Komerc) zaliha_sirovina(Komerc) obezbedjeni_kamioni(Komerc) ima_vozaca(Komerc)
C1,Tacno C3,Tacno C4,Tacno

ZAKLJUČAK: preduzece «Komerc» uspesno posluje!

Uz pomoć zaključivanja voĎenog ciljem dokazati (nacrtati graf) da preduzeće «Lidl» uspešno posluje ako je dato:
Baza znanja:
P1: poseduje_robu(X)  transport_omogucen(X)  plaćen_porez(X)  uspesno_posluje(X)
P2: obezbedjeni_kamioni(X)  ima_vozaca(X)  transport_omogucen (X)
P3: obezbedjen_nabavljač(X)  zaliha_sirovina(X)  poseduje_robu (X)
Činjenice:
C1: obezbedjeni_kamioni (Lidl)
C2: ima_vozaca (Lidl)
Cilj: uspesno_posluje(Lidl)
uspesno_posluje(Lidl)

P1

poseduje_robu(Lidl) transport_omogucen(Lidl) plaćen_porez(Lidl)

P3 P2

obezbedjen_nabavljač(Lidl) zaliha_sirovina(Lidl) obezbedjeni_kamioni(Lidl) ima_vozaca(Lidl)

C1, Tačno C3, Tačno

Zaključak: Na osnovu datih činjenica i baze znanja zaključuje se da Lidl posluje uspešno!

Uz pomoć zaključivanja voĎenog ciljem dokazati (nacrtati graf) da je uredjaj «Računar» kvalitetan ako je dato:
Baza znanja:
P1: Renomirani_dobavljači_komponenti(X)  Standardizovan_proces_ugradnje_komponenti(X)Kvalitetne_komponente(X)
P2: Obezbedjen_serviser(X)  Moguća_zamena_komponenti(X)Ima_garanciju(X)
P3: Ima_garanciju(X)  Kvalitetne_komponente(X)  Uredjaj_kvalitetan(X)
Činjenice: C1: Standardizovan_proces_ugradnje_komponenti(Računar) C2: Renomirani_dobavljači_komponenti(Računar)
Cilj: Uredjaj_kvalitetan(Računar)

Uredjaj_kvalitetan(Racunar)

P3

Ima_garanciju(Racunar) Kvalitetne_komponente(Racunar)

P2 P1
Obezbedjen_se Moguca_zamena_ko Renomirani_dobavljaci Standardizovan_pr
rviser(Racunar) mponenti(Racunar) _komponenti(Racunar) oces_ugradnje_ko
C2 mponenti(Racunar)
C1
Zaključak: Računar je kvalitetan uredjaj!

Uz pomoć zaključivanja voĎenog ciljem dokazati (nacrtati graf) da je automobil «BMW» u voznom stanju ako je dat deo baze znanja
dijagnostičkog sistema za odreĎivanje kvarova na vozilu:
Baza znanja:
P1: Motor_funkcionise(X)  Kocioni_sistem_funkcionise(X)  U_voznom_stanju(X)
P2: Postoji_zaliha_vode(X)  Postoji_zaliha_antifriza(X)  Sistem_hladjenja_funkcionise(X)
P3: Postoji_dovod_goriva(X)  Ima_goriva_u_rezervoaru(X)  Sistem_hladjenja_funkcionise(X)  Motor_funkcionise(X)
Činjenice: C1: Postoji_dovod_goriva(BMW) C2: Postoji_zaliha_vode(BMW) C3: Ima_goriva_u_rezervoaru(BMW)
C4: Kocioni_sistem_funkcionise(BMW)
Cilj: U_voznom_stanju(BMW)
U_voznom_stanju(BMW)

P1
Motor_funkcionise(BMW) Kocioni_sistem_funkcionise(BMW)
C4: Tacno
P3

Postoji_dovod_goriva(BMW) Ima_goriva_u_rezervoaru(BMW) Sistem_hladjenja_funkcionise(BMW)

C1: Tacno C3: Tacno P2

Postoji_zaliha_vode(BMW) Postoji_zaliha_antifriza(BMW)
C2: Tacno

Zaključak: automobil «BMW» jeste u voznom stanju.

Uz pomoć zaključivanja voĎenog ciljem dokazati da je prodavnica «MaxiDiskont» u dobitku ako je data:
Baza znanja P1: roba_kvalitetna(X)  prodavci_uslužni(X)  u_dobitku(X)
P2: daje_garanciju(X)  cena_visoka(X) roba_kvalitetna(X)
P3: obezbeĎuje_servis(X)  daje_garanciju(X)
Činjenice C1: prodavci_uslužni(MaxiDiskont)
C2: obezbeĎuje_servis(MaxiDiskont)
Cilj u_dobitku(MaxiDiskont).

U_dobitku(MaxiDiskont)

P1
TACNO
Roba_kvalitetna(MaxiDiskont) Prodavci_usluzni(MaxiDiskont)
Cinjenica 1
P2

Daje_garanciju(MaxiDiskont) Cena_visoka(MaxiDiskont)
P3

TACNO
Obezbedjuje_servis(MaxiDiskont)
Cinjenica 2