Trng H Khoa Hc T Nhin

Khoa Cng Ngh Thng Tin

Bo co Bi tp thc hnh FOL
Mn C S Tr Tu Nhn To

Nhm : Trn c Vnh Ton 1112502


I. Yu cu chng trnh
- Ci t chng trnh suy din trn logic bc nht bng ngn ng C++/C#.
- C th tham kho thut gii ng nht v c ch suy din li ci t chng
trnh

II. M t v s dng chng trnh

- Chng trnh s dng thut ton suy din li c th hin qua hm bcAlgorithm
v thut gii ng nht c th hin qua hm Unify v UnifyVar.
- Ngi dng nhp kb vo khung KB, gi cc query khung Query, nhn Enter
chng trnh s tr v kt qu.
- C s tri thc di dng vn bn:
Mi biu thc c vit trn mt dng di dng Horn
Bin logic bt u bng ch ci vit hoa
V t bt u bng ch ci vit thng
Hng bt u bng ch ci vit thng
- Cc du:

Ph nh: ! (du chm thang)
Ni lin: , (du phy)
Suy ngc:: (du 2 chm) (vit ngc: <Kt lun> : <Tin >)
M ngoc v t: (
ng ngoc v t: )
Vd: father(john,billy)
parent(X,Y): mother(X,Y)
- Cu truy vn:
Bin logic bt u bng ch ci vit hoa
V t bt u bng ch ci vit thng
Hng bt u bng ch ci vit thng
Vd: father(john,Y)

III. Hn ch chng trnh
Chng trnh vn cha gii quyt cc cu ph nh trong KB