
BÁO CÁO T T NGHI PỐ Ệ
TÌM HI U VÀ ĐÁNH GIÁ M T S Ể Ộ Ố
THU T TOÁN TÌM KI M TRUY N Ậ Ế Ề
TH NG NG D NG TRONG TIN H CỐ Ứ Ụ Ọ
Giáo viên hưng d n:ớ ẫ PGS.TS Đ Đ c Giáoỗ ứ
Sinh viên th c hi n:ự ệ Nguy n Th Minh Tâmễ ị
L p:ớ K96C2 - CNTT

Qu bóngảĐỏ
Màu
Đ i tố ư ng Thu c tính Giá ợ ộ
trị
TH HI N TRI TH CỂ Ệ Ứ
Tri th c là s hi u bi t v m t mi n ch ứ ự ể ế ề ộ ề ủ đ .ề
Th hi n tri th c là phể ệ ứ ương pháp dùng đ mã hoá tri th c ể ứ
trong cơ s tri th c c a h th ngở ứ ủ ệ ố .
Có năm phương pháp th hi n tri th c:ể ệ ứ
C P BA Đ I TẶ Ố Ư NG - THU C TÍNH - GIÁ TRỢ Ộ Ị
Ví d : M nh ụ ệ đ “qu bóng màu ề ả đ ” ỏđưc th ợ ể
hi n nhệ ư sau

Chíp chíp
Bay
Cánh
Chim
Có
Có thể
IS - A
CÁC LU TẬ
Ví d :ụ
IF tr i mờ ưa
AND không có áo mưa
THEN ngh h cỉ ọ
ELSE đi h cọ
CÁC M NG NG NGHĨAẠ Ữ
Ví d :ụ

CÁC KHUNG
Tên khung
Tên l pớ
Thu c tínhộ
Mơ
Đ a chị ỉ Hàng Bồ
Nam/Nữ Không bi tế
Cao 1.58 mét
N ngặ 48 kg
Ngh nghi p Không bi tề ệ ế
Ngưiờ
Khung th hi n ể ệ đ i v i m t ố ớ ộ đ i tố ư ng c th là ợ ụ ể
“Mơ” thu c l p “Ngộ ớ ư i”ờ

LOGIC
Logic g m hai lo i:ồ ạ
- Logic m nh ệđ th hi n và suy lý v i các ề ể ệ ớ
m nh ệđ .ề
Ví d : ụA ∩ B → C
Đ c bi t m t s phép toán có th ặ ệ ộ ố ể đưc suy di n ợ ễ
t các phép toán khácừ
A → B ≡ ¬ A ∪ B
- Logic v t là m r ng c a phép toán m nh ị ừ ở ộ ủ ệ đ ề
đ th hi n rõ hể ể ệ ơn các tri th c.ứ
Ví d : Thich(X,Y) ụ∩ Thich(Z, Y) → ¬ Thich(X, Z)