   ________________   !"!# $%&'(  )*  !"+, ,-,  './01'2/345/067/  891'2/%3:93';/ ( <=> (  !"# ?9@?9 'AB6'C/%D'%3E91&E/06?/0 ,FGH  $%&'()*+,  &&'.&'/0''$1!2'-0-30&4 &5- 6768'9-%&:(-;&'+<=>3:?-$@'A'B<C/0''$17, D:?& '$'E-&7,-7&/%&/;2'-F3G'$+-%-;&'+D7'$'E--;&'+3H D@,3:?-'B3 67-%&:(6ID:?&'$'E-'8!49!3:?--J'1-+-%!K &:()L&-0-7%67)1MNM:I/:&'E-7% I'(&+-%/O/'.3H'C-'8!1!2'<P/:&'E-)1MN '$'E- '$%&3J-;&'+<=3:?-140Q0'6A!2'<P/:&'E-)1MN'$ 'E--R'1 3<D7)1MN'$'E-)L&D%&-6'B67&.&S)1MN D%&-6'BD7/$%D%&T&&.&S/$%D%&'C-!2'<P6UMR!K+-%&. &SD%&-6'B $%&4%V&'(&+K-WDI/-X&:W7Y!Z&[D(-V!'\, 3H'>'8&V&&V67-&-@/S&'7D-\'9'31Y!-J'1 'C-3:?-)7'%5-!.K-7, Biu din tri thc v ng dng     1.1 Biu din tri thc sử dng luật dẫn xuất :&/0/)1MN'$'E-)L&D>'<3:?-/0'!)WIJI@@67 'KL/'$%&D;-+.&3+&-P&]&Z,MC&!2'&V)7'%0'*&Q0',D7 !2'41)1MN'$'E--J-@'$;-^':W&-)VD7'$'E--J'13:?--@'$;- )L&!2'-G/M'$BN';/O3&/3MP/0_`ađiều kiệnZV,$+bhành động <=3:?- '7_c&5`a3d&+%'.&D73Fb)54.&3:?-3'c& `a !0,'U3H!W!74.&4W32&3:?-b41!'$+&e3 f &7,+, -0-D>'<3H'$W/*)9673:?-0/MR&$2&$H'$%& A'P&'$U''5%40-+>'<-J'1D7!2' &-R!.'V31 &VQ,9'-0-6@3A'C-'9'+,-%-0-41/'U-6@3A'$,A'P&$%& '$:(&?/7, -0-D>'3:?-MT&:D7S&-gMhi',-J'14.&%7 -gj:&$@'SU-31'$?&;/-%-0-Q,9'3'$%&Q0'$8'8!49! 'B3J D7!&V!4.&&+'8!49!2'6UMR40-D7D>'<-J'13:?-MT&31)]' -:I-76-k+S&-,&+Y%-0-7, D>'<4.&-g3'\D7 !2'41)1MN'$'E-'$%&!0,'U!7D7!2'41)NMN-0-76-k+-% &:( 1)NMN!2''>/D>'< &:('+':(&/V-g$l+'7/\-U <+ ij>/-0-<C4mim+-'<j mnop  p " p  q i"j>/-0-Q,']-rirDY<j0/MR&'$-0-<C4M5&:<+ p  ∧ p " ∧ ∧p→ Q HV: Lê Th Xuân Di#u CH1101076 DQ/0 Biu din tri thc v ng dng $%&3J -0-p Q3A'2-m  R93S=BT@BU/%D2/9V9@BU%='/3 BT6'C/%'S/D7Q0'$8<,D>Z@'/0''B!2'<P<C4)+3\  Z0-3-0-<C4-J'13:?-_<_$+'B<C47, BT6'C/@W'(D7Q0'$8<,D>&:?-Z@'/0''B!2'<P<C4 )+3\ '+'8!49!-0-<C43H_<_$+<C47,2'6UMR':(&&G/ '$%&'C-'9D7Z@'/0''B-0-'8'$5&-k+!0,'U -s3%0ZY!!0, 'U3H)F&J-W3 "X6?( >/-0-<C4 • t-E&D7_F&_+,_%5'32&)8':(&_ • F&!78 • F&-0/!78 • 8'$5&3d*-E&D7_']'_%G-_<0&_ • J!'+3K-*-E& • 8'$5&3d!78_Z+_%G-_-I/3F_ • u.&<[MR&3:?-!0,'U • 67%!0,'U_-J_+,_4.&_  BM'AK1&/34Y9M'AK9ZQ['AB6'C/%D'%3E9[\/0@BU% BM'AK( HV: Lê Th Xuân Di#u CH1101076 DQ/0 Biu din tri thc v ng dng v1MN'$'E-)L&D>'3G-)'S'$%&S&'8P&'P& -\3:+$+S&732&MC+67%S&<C4-J'1Q+<0'3:?-J-JS& :31!-U,9<+3,  0-D>'$@'MN1-J'1MNM7&MT&31'$+%3*6I&:( MT&i68JD7!2''$%&S&M5&'C-k+&.&Sj  J'1MNM7&Z,MC&3:?---9<,D>67&V'U-'B-0- D>'  --g67)V%'$8'P&D7':&3PMNM7&  J'1-V'9MNM7&31'U-?/-0-D>'!(  0-D>'':(&U'/R'2-67%+ 34Y9M'AK( 0-'$'E-/E-'5/3.D;-3wFQ0Ai7&&7jD>'<A7, <=D7!V,<A6@3ADQ+39'P-32DhQV'$'P& P&4-%'@, &:(Z,MC&'P&'$U''5%'U-<[MR&D>' <'@'-V/:&/0/40-iMN1 MN-73G'jK':(&'8!!K-0-31 )1MN'$'E-)L&D>'<-%MT-J/:&/0/40-'U-?/x,D7 :?-31!!+&'U-kQ+-k+-%&:( <W'$'E-D>'<DI<=D7!&I54V&'8!49!-k+-:&'$8 3A41A'P&&G/4J4'$%&6-30&0-0-MC+'$D>'< -X&:&G/4J44<,D>'$D>'< 1.2 Biu din tri thc sử dng mạng ngữ nghĩa  ]3V'/';K 5&&S&y+D7!2'/:&/0/)1MN'$'E-3\'67-X&D7 /:&/0/MN1@'3P6I-;&'+:&/0/7,<=)1MN'$'E-M:I M5&!2'3e' '$%&3J3gD7-0-3P':?&i40!j-w-0--&-%)9'!P Q+&S+-0-3P':?&i40!j7, HV: Lê Th Xuân Di#u CH1101076 DQ/0 Biu din tri thc v ng dng c&5S+-0-40!chích chòe chim hót cánh tổ -J!2'<P!P Q+:<+  U--wYD7!2'D%7-!  !)9'J'  !-J-0  !<P&'$%&'* 0-!PQ+7,<=3:?-)1MN'$C-Q+)L&!2'3e':<+ %!5&&S&y+D7!2'D%53e'-%J'B+:W&3:?-'@'-VS& !G'!5-k+ &-R7,&y+D7'+-J'1MT&S&'>''%0-k+3e''$ !5&&S&y+:'>''%0'8!D'.& '8!3:(&3&]@' f31'C- -0---9<,D>1!3G-)'-k+!5&&S&y+<%6I3e''.&':(& -UD76-&0!2'z&y+icó, làm, là, biết, j-%-0--&$%&3e'' -s 6--J!2'-&P&S++3g-g-%)9'-J<Cliên hệ &S++3g3J67 '@'-V-0--&'$%&3e'3A)1MN-%-T&!2'D%5D$%&!5&&S HV: Lê Th Xuân Di#u CH1101076 DQ/0 Biu din tri thc v ng dng &y+ -&P&S++3g-w-%)9'&S++40!':&E&-J<CD như thế nào-&0&S&y+67%-0--&-k+3e'3H&;/&V!)I'3:?-<P D:?&3e'-\/VMT&31)NMN-0-!PD&S+-0-40!c&5 :'$%&6UMR'$ 9<[MR&3e''.&':(& '+/VMT&39{D%53e' -%{!PD!2'3e'31)1MN!PD_là" !2'3e'-%!PD _làm" !2'-%_biết" 67!2'-%_có" 2'31!40';6-k+!5&&S&y+D7'U49'B+vW68&+,'B'$%& 40! !5&&S&y+3H7!z<C/-@/i:-0-!PD"là"j-J A3g'$%&!5&!G-<=-JS&'2-'U-k+S&3g40-c& 5'Y%!5&&S&y+W'$ '+-J'1MNM7&'$VD(_-J_-%-F_U- -wY-JD7!'*4.&|_+-J'14c&33:?-3A7,683g_-U--wY_-J D49'_D7_6I3g_-!_673g_-!_D5D49'_)9'_6I3g_D7!'*_ <,$+3g_-U--wY_-X&-JD49'D%5_)9'_6I3g_D7!'*_i931z )5 <=>$+3:?-41"suy luận" !7'+6B+'C-)]'&e'B'>''%0_D%+&_ +,_'8!D'.&_'$3e'xjU3G-'U49'B+-k+!5&&S&y+3H-% /O/'+-J'1'C-3:?-$@'A/O/<,MN'BS&'.&'<}-J'$ !5& ,!5&&S&y+D7!2'41)1MN'$C-Q+3P6I-%&:(:& 43:+67%!0,'U -0-3P':?&67!PD&S+-;&':(&3:?-)1MN M:IM5&S&/0')132&'Bi:6'BjS+ -0-'+%'0-'8!49!'$ !5&&S&y+':(&4J4i3G-)'3P6IS&!5&-J4U-':I-DIj% 3J !.8!5&&S&y+3:?-MT&-k,931/'U-6@3A+3J J<= 3:?--,13*<+&M5&D>'%G-p$+!Y31'7%G-!5&&S&y+<=3:?- MT&49'?/6I!2'<P/:&/0/)1MN40-  B/34Y9M'AK9ZQ1';9['AB6'C/%D'%3E9[\/0/0^/03_Q BM'AK( HV: Lê Th Xuân Di#u CH1101076 DQ/0 Biu din tri thc v ng dng 5&&S&y+$@'D32& '+-J'1MNM7&'!67%!5&-0-3g%G- -&!I31)*<&-0-'$'E--\'9' 5&&S&y+-J'U'$C-Q+-+%$@'MN1 5&&S&y+-%/O/-0-3g-J'1'B+49-0-'U-@''B-0-3g40- '.&Q+-0--&D%5_D7_ 'B3J -J'1'5%$+-0-D49'_&\!_&S+S&3g 4.&-JD49''$C-'9/6I+ 5&&S&y+%5'32&40'C'Y%-0-'E--%&:(&> '.&' 34Y9M'AK( %39+, 6h-:+-J!2'-s7%Q,3-0-&I5-%-0-3g67 -&-k+!5&&y+D7)5-J'1&0&O/)@'4~40!7%-%3g%G- -&x U'B+49i6PD7!2':31!j'$!5&<=-J'1Mh39&,-! 'h'$%&'$'E-c&5 9)*<&'!;'_7_67%!5&:8<+'8 '+-J'149'D>$L&_7_)9'_)+,_xWMy-J3A7,D768-J<C4.&$l$7& '$%&&S&y+&0-%!2';'-k+!5&v53K--J'1/V3PQ+31!68-% $L& 6-<$+!'hD7M%'+'9'49!5&MW-E4.&/VM%4,9'31! -k+!5&x, ZD:z$L& 'U'B+49<$+rất nhiều !PD_&\!_ 4V&V,<$+!2'!PD4.&?/DD7$@'DIx \:4.&'1)1MN-0-'$'E-M5&'k'R-)L&!5&&S&y+68 -0-40!6A'(&+67'$8'C4.&3:?-'1':(&!'$!5&&S &y+ HV: Lê Th Xuân Di#u CH1101076 DQ/0`a [...]... là một cơ sở tri thức HV: Lê Thị Xuân Diệu CH1101076 Trang 19 Biểu diễn tri thức và ứng dụng Phần 2 LẬP TRÌNH LOGIC VÀ NGÔN NGỮ PROLOG 2.1 Lập trình Logic, môi trường lập trình SWI PROLOG Lập trình logic: Khác với lập tri nh thủ tục, lập tri nh logic là khai báo các sự kiện, tri thức đa biết và sử dụng máy tính để truy vấn một sự kiện mới hoặc một tri thức mới từ... tin 2.2 Ngôn ngữ prolog cơ bản, chương trình prolog 2.2.1 Giới thiệu ngôn ngữ Prolog: Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập tri nh logic Ngôn ngữ Prolog do giáo sư người Pháp Alain Colmerauer và nhóm nghiên cứu của ông đề xuất lần đầu tiên tại trường Đại học Maseille đầu những năm 1970 Đến năm 1980, Prolog nhanh chóng được phát tri ̉n... chọn làm ngôn ngữ phát tri ̉n dòng máy tính thế hệ 5 Prolog còn được gọi là ngôn ngữ lập tri nh ký hiệu Prolog rất thích để giải quyết các bài toán liên quan đến các đối tượng (object) và mối quan hệ (relation) giữa chúng Prolog được dùng phổ biến trong lĩnh vực tri tuệ nhân tạo Nguyên lý lập tri nh logic HV: Lê Thị Xuân Diệu CH1101076 Trang 20 Biểu diễn tri thức... một tri thức mới từ các sự kiện và tri thức đa cho Các loại tri thức tri vấn có thể kiểm tra một sự kiện hoặc tri thức nào đó có đúng hay không, hoặc liệt kê các bộ giá trị của các biến sao cho thỏa man điều kiện logic nào đó (tức là làm cho một biểu thức nào đó nhận giá trị true) Môi trường lập trình SWI PROLOG: SWI PROLOG là một cài đặt thủ tục suy diễn... kiểu mảng Ví dụ: f(5, a, b) HV: Lê Thị Xuân Diệu CH1101076 Trang 21 Biểu diễn tri thức và ứng dụng 2.2.3 Các kiểu dữ liệu sơ cấp trong Prolog Kiểu hằng số: Prolog sử dụng cả số nguyên và số thực Kiểu hằng logic Prolog sử dụng hai hằng logic có giá trị là true và fail Thông thường các hằng logic không được dùng như tham số mà được dùng như các mệnh đề Hằng fail được... dưới dòng Ví dụ: X, Y, Z, _x, Result, _x23 2.2.4 Sự kiện và luật trong Prolog Ví dụ: Quan hệ gia đình HV: Lê Thị Xuân Diệu CH1101076 Trang 22 Biểu diễn tri thức và ứng dụng Để xây dựng các sự kiện trong một chương tri nh Prolog, ta lấy ví dụ về cây gia hệ parent tom bill (a) Sự kiện Tom là cha mẹ của Bill được viết trong Prolog như sau (Chú ý mệnh đề được kết thúc bởi dấu... 2.2.8 Bố cục một chương trình logic Một chương tri nh gồm có các đoạn: • Phần Domains: Khai báo các kiểu dữ liệu của các đối số của vị từ trong chương tri nh nếu các kiểu này là kiểu chuẩn của prolog • Phần Predicates: Khai báo các vị từ mà ta sẽ dùng trong clauses • Phần Clauses: Khai báo các qui tắc, các sự kiện • Phần Goal: (có thể có hoặc không) Prolog về cơ... Prolog về cơ bản là một ngôn ngữ thông dịch, là một ngôn ngữ tương tác, người dùng đưa các câu hỏi vào dấu nhắc và hệ thống tìm câu trả lời 2.2.9 Kiểu dữ liệu List trong Prolog Cũng như các ngôn ngữ lập tri nh truyền thống, ngoài các kiểu dữ liệu chuẩn mà Prolog đa có (như: kiểu số nguyên: integer, số thực: real, kiểu kí tự: string…) Prolog cũng cho phép người... và nhát cắt Đệ quy: Cũng như ngôn ngữ lập tri nh hàm LISP, đệ quy là cơ chế chính trong lập tri nh Prolog Dùng thủ tục cắt để điều khiển tìm kiếm trong Prolog: Được biểu diễn bằng dấu !, để ngăn chặn việc quay lui (backtracking) Nếu gặp nhát cắt ở vế phải của luật, sẽ không có sự quay lui ở vế trái của luật HV: Lê Thị Xuân Diệu CH1101076 Trang 25 Biểu diễn tri. .. 1 Tài liệu môn học biểu diễn tri thức và ứng dụng, PGS.TS Đỗ Văn Nhơn HV: Lê Thị Xuân Diệu CH1101076 Trang 29 Biểu diễn tri thức và ứng dụng 2 Giáo tri nh lập tri nh Prolog của GS TS Phan Huy Khánh NXB ĐH Quốc Gia Hà Nội 3 Tài liệu Ontologies Introduction and Overview A.johannes Pretorius 4 Tài liệu suy diễn trong logic vị từ và lập tri nh Prolog tại http://voer.edu.vn/content/m33293/1.1/ . Di#u CH1101076 DQ/0`} Biu din tri thc v ng dng   !"#$%"" 2.1 Lập trình Logic, môi trường lập trình SWI PROLOG ,Uo%D~/3@L0'9( u0-6ID>/'$8'k'R-. -k+-0-'2-'Uw-0-p$+!Y-%<=-E+3C&&0'$'C-<C-k+ -0-'2-'U7, HV: Lê Th Xuân Di#u CH1101076 DQ/0`v Biu din tri thc v ng dng 1.4 Biểu diễn tri thức bằng Scripts -$/'D7!2'-0-)1MN'$'E-':&'C:p$+!Y:&'+,683G-'V !2'3P':?&. z':W&-U D7)1MN-0--%$M5&-0--',1-J!2'D'Y$+DM:&670/MR&'>' /&VDT $:I-4>/'$6@-;&'+/V-%'P&)9'-;&'+<='$,6@'$ -<W'$'E-7%2'-<W'$'E-D7!2'4+)0%-0-<C467-0-D>'6A!2' Dy6C-7%3J 673:?-D:'$%&!2''>/' 2.2 Ngôn ngữ prolog cơ bản, chương trình prolog  '5'%3';B/0•//0^DL@L0( $%D%&D7&.&S3:?-<[MR&/*)9@''$%&Mw&-0-&.&SD>/ '$8D%&-&.&S$%D%&M%&0%<:&:(0/•D+%D!Y$+Y$67J!& -E-k+.&3AZ@'D3''5'$:(&5K-+<YDDY3S&!€ 9!€†