Tiểu luận môn biểu diễn tri thức và suy luận ỨNG DỤNG MÔ HÌNH HỆ LUẬT DẪN GIẢI BÀI TOÁN TAM GIÁC

LỜI MỞ ĐẦU   !"#$%&'() *+*,*-./01')023 45*+*-.!"#$67$ 8,9*56:1*,;' *<1*,;'*30=!>?9@9$ 5A*30=B6<'32 C&0DE! >FG*< 90=02# ?#G9<3!HA'*<)*3 0=#3+#3#8C*<%&'(E$' I*J#0K)A6*JL#G ?4*,! >&0DI#5/G#G 9 #5'85M?N2)#8O9DD #M50@;49?)8&0D! LỜI CẢM ƠN P<0='4'3#2*/;) Q#R;S"T!>?D2 9;2U*,I 9DD#<0=G450K*<%&'(*+ 0,<0=$2**,50@#I;VW!"HX >7Y*+9UBG5A #*<#I@#'?9ZR[\657;2*G9 L#O*6B'#/25/G# G! >?*-?,?*?$X,'( $I%&'85A*GMHX>7Y! Y#B%'85*G*$@]^8*+'I X,$*32I#8*! "V!R_ZTS$[`7a[bc Y8 Y=Y;R# MỤC LỤC "9D d8*M d85 SD'D ^c^ Chương 1: GIỚI THIỆU ĐỀ TÀI 1.1. LÝ DO CHỌN ĐỀ TÀI P#8*'3#3'?9YV^R0'@6 0DG#*8!e#*625/G# 6< 90D#=$A#575! P2@*6$540'354L^L@$*- ?5/G##6$*f'#G23 I'?5408#G/5#?4 5! e#*690D540*<5#8*'3 ?*6<;**,2! "gMG)%+3#<$UUI ?$*66939MI*I#3=$ *_8?G*,;<3#G #6<52TOGL^L$5 /G*-;*:hW5#8*540i! 1.2. MỤC TIÊU ĐỀ TÀI j Y2#8*2T@5/G*! j "<540k354LkL0K*< 5#3'?9#6! j l90D5403999*<5#8 *! j Z*f&540*<5#8*! j QG'4*% GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^m^ Chương 2: TỔNG QUAN VỀ TRI THỨC VÀ BIỂU DIỄN TRI THỨC 2.1. TRI THỨC "'<G3'N#*6!S30@*,G *G': GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^n^ j ")Dk9#L0L0#o'L0L:SI55/G3 *!d#@*599*<3I#*6! Z0@)D2<''4$G',$'-) D! j "#k0L'L0#o'L0L:Z#G3**, G#!d#@#_9<*5$0?0@ p*-'#* #f!"#B6<'30 p*-I5*M*)*,3 #*6! j 2kL#o'L0L:SI5!d#@  9';T,9#5/G3 *!Z2&0D*<*q/55 /G*?'49'4657# ! j "LkL#o'L0L:SI5hr#i*<0s0UG '49'4!"L1;'I@0#I*5 5###T%G/55/G*!Z28 0K#;$'4$t*6<  L*<4#5/G3#! j "6 kL0#o'L0L:SI5L# ! d#@I5IJ/L#/*<) 2$#_$#*,O0=5 7'20L# %*-! Y#0@*,*492$819Aa '#@: GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^u^ j "8kL%9'#o'L0L:e=*@I $0=#*JA!Z6<<0=I# ;$)D8$#f!P#_I$0 '$#$75$'*+*,9!" 8*,*fG94'(G$5 /G*$'$0'$! j "Mk#o'L0L:Z6*,v#) gA$T)/$#_<G2*#$ $'5$w7$!!!Q6#*J#fx?8! Zq6<;*,g88/2MB#3#5 8#*6!"M'2/*G4$/ $$Iv0D$tw46CyE$ T/GC#o^#oE! 2.2. BIỂU DIỄN TRI THỨC P<0=CQ#o'L0LzL9LL#E'999#9{9+ 6#)! P<0='3**,/A#5#;4 'sTA@#!"##;4$8/A*G' %&'(I!Z1#TA@#$D2T'' ##6<%&'( *@*,I# 8!Z2TA@#*+,'(G<0= Ig#;4! 2.2.1. Bộ ba Đối tượng – Thuộc tính – Giá trị (Object-Attribute-Value) GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^\^ 2.2.2. Mạng ngữ nghĩa (Semantic Networks) 2.2.3. Khung (Frames) 2.2.4. Logic Z999<0=2*A*6,*< *-!SX999q<0=*,3T@)# M*,<0=#0D*0@8#_ g*5*G6 9@9$T#? GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^|^ /'4*-$'2*0@#_5*-T's*-',$'4 0sL$!!!! S3G94*,&0D'G,9999<0= *+6?9<*-*<@#3I<0= ??9@#_0@G*0@$ GI<0=6<*,&0D''I D#GG$394'45#*3BG G9M#0)! 2.2.5. Mô hình một đối tượng tính toán (C-Object) SI*,*%HX>7Y#I'4GN #;:hXây dựng hệ tính toán thông minh: Xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự độngi! S3Z^}~L6<*,I633: (Attrs, F, Facts, Rules) #*6: j •'49,93T)*,! j €'49,9/0=T#! j €'49,9T6)*,! j z'L'49,9'40=2'2/*G3 TB'2/*G5A*,! >T0D:H,CZ^}~LEh"•S•W‚•Zi*,<0=L#I2 _6: j •ƒ„W#•$W#P$W#Z$$$$$$$$$$9$9$9$$ 9$z$$$$… j €ƒ„W#•†W#P†W#ZƒV$‡CW#PEƒ‡CW#•E$ˆaƒˆa† ˆa^a‡‡‡#CW#•E$!!!… j €ƒ„… GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^b[^ j z'Lƒ„„W#•ƒW#P…⇒„ƒ…$„ƒ…⇒„W#•ƒW#P…$„ˆaƒ ˆa†ˆa…⇒„W#•ƒ9‰a…$„W#•ƒ9‰a…⇒„ˆaƒˆa†ˆa$⊥…$!!!… Q5##0=T#23Z^}~L%A0 45T,9Š'#GGX,5#G,9? G;G!"2$X'#@Z^}~L%{2 q<*,39M6TD3#0D# G)#83'N39@G#*6 8#_'#@*,?/ ! 2.2.6. Mô hình cơ sở tri thức các đối tượng tính toán (COKB) SI*,*%HX>7Y#I'4GN #;:hXây dựng hệ tính toán thông minh: Xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự độngi! "#I$#/T#16'42 '#@!‹*AI95q6'#@T#*, /A5#1*49*G/23 T2*,!SI@Z^}~LJ/Š#3 999<0=0@#J/#Z^ }~L$'#GGI*5#, 95## 5#I! GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng [...]... bài toán thiếu giả thuyết GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 26 - Chương 2: KẾT LUẬN Qua tiểu luận này, tôi đã tìm hiểu và trình bày việc giải bài toán tam giác bằng mô hình hệ luật dẫn Để có thể giải bài toán tốt nhất, tôi đã tìm hiểu, nghiên cứu lý thuyết về tri thức, cách biểu diễn tri thức và mô hình biểu diễn tri thức bằng hệ luật dẫn ồng thời vận dụng các kiến thức đó vào việc giải. .. bài toán đưa vào phải là dữ liệu chuẩn, không có sai sót GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 24 - • Giải bài toán với Suy diễn tiến Hình 4.2: Minh họa giải bài toán bằng suy diễn tiến • Giải bài toán với Suy diễn lùi Hình 4.3: Minh họa giải bài toán bằng suy diễn lùi GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 25 - • Khi không đủ giả thiết để giải bài toán Hình 4.4: Minh họa bài. .. 3: MÔ HÌNH HỆ LUẬT DẪN 3.1 KHÁI NIỆM Hệ luật dẫn bao gồm một tập hợp các quy tắc nếu-thì hợp với nhau tạo thành một mô hình xử lý thông tin cho một số công việc liên quan đến biểu diễn tri thức Hệ luật dẫn có một số thuộc tính đặc biệt làm cho nó có tính phù hợp cao để có thể mô hình được tri thức Từ mô hình ban đầu chỉ dùng để giải quyết vấn đề, hệ luật dẫn đã phát tri n lên trở thành một hình thức. .. khó khăn trong việc đánh giá các hệ dựa trên luật sinh cũng như gặp khó khăn khi suy luận trên luật sinh GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 16 - Chương 4: ỨNG DỤNG MÔ HÌNH HỆ LUẬT DẪN GIẢI BÀI TOÁN TAM GIÁC 4.1 BÀI TOÁN TAM GIÁC 4.1.1 Các đối tượng, sự kiện trong tam giác Hình 4.1: Các thông tin đối tượng tam giác Ta có các đối tượng trong tam giác cần xét: • A: Số đo góc đối diện cạnh... vào việc giải bài toán tam giác qua đó hiểu rõ hơn về cách thức biễu diễn và suy luận với tri thức Do thời gian có hạn nên trong khuôn khổ của tiểu luận này tác giả chỉ thực hiện cài đặt giải thuật suy diễn ở dạng đơn giản nhất; chưa áp dụng được các kỹ thuật tốt hơn để giúp cho giải thuật có kết quả tốt hơn gần với kết quả tối ưu hơn Sau quá trình tìm hiểu và sử dụng mô hình hệ luật dẫn, tác giả nhận... Mục tiêu: Xác định một thông số (đối tượng) của tam giác Ví dụ: Xét tam giác ABC có góc A = 300, góc B = 600, cạnh c có độ dài là 5 đơn vị độ dài Hãy xác định độ dài đường cao hc 4.2 BIỂU DIỄN TRI THỨC CHO BÀI TOÁN Tri thức gồm hai thành phần (F, R), tức là các khái niệm (phát biểu) và các luật dẫn Trong bài toán tam giác trên, phần tri thức theo luật dẫn (Facts, Rules) gồm: Facts = {A, B, C, a, b,... thể mô hình các tri thức của con người và các khía cạnh trong máy học Hệ luật dẫn là một mô hình xử lý tri thức, bao gồm một tập hợp các quy tắc (được gọi là luật dẫn) Mỗi luật gồm hai phần: phần điều kiện và phần hành động Y nghĩa của luật này là khi điều kiện đúng, thì một hành động sẽ được thực thi Hãy xem xét một ví dụ đơn giản sau đây với hai luật dẫn để mô tả hành vi của một hệ thống làm ấm • Luật. .. cho mô hình tri thức có nhiều hơn hai luật, thậm chí cả ngàn luật Hệ thống hoạt động theo kiểu chu kỳ Trước hết một luật có các điều kiện được thoả sẽ được xác định, khi đó luật này sẽ được thực thi Thường hành động này sẽ thay đổi trạng thái hiện tại sang trạng thái khác do đó một luật khác với điều kiện của nó sẽ được thoả, và vòng quay lại được lặp lại 3.2 MÔ HÌNH BIỂU DIỄN TRI THỨC HỆ LUẬT DẪN Mô. .. đây là một mô hình tuy đơn giản nhưng áp dụng vào một số trường hợp thì cho kết quả rất khả quan do đó trong thời gian tới tác giả sẽ tìm hiểu thêm về mô hình này nhằm áp dụng nhiều hơn nữa để giải quyết các bài toán trong thực tế GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 27 - TÀI LIỆU THAM KHẢO 1 PGS.TS Đỗ Văn Nhơn (2013), Các Slide bài giảng môn học Biểu diễn tri thức và Suy Luận 2 Hoàng... HÌNH BIỂU DIỄN TRI THỨC HỆ LUẬT DẪN Mô hình biểu diễn tri thức của hệ luật dẫn gồm có hai thành phần chính (Facts, Rules) Trong đó Facts bao gồm các phát biểu chỉ các sự kiện hay các tác vụ nào đó, còn Rules gồm các luật dẫn có dạng “if…then….” GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 12 - Ví dụ: Một phần cơ sở tri thức của tam giác • Các yếu tố của tam giác ví dụ cạnh a, b, c; góc A, B, C, . HVTH: Nguyễn Ngọc Hoàng ^bn^ Chương 4: ỨNG DỤNG MÔ HÌNH HỆ LUẬT DẪN GIẢI BÀI TOÁN TAM GIÁC 4.1. BÀI TOÁN TAM GIÁC 4.1.1. Các đối tượng, sự kiện trong tam giác Rc!b:ZI*, "6*,#M%{: j. (COKB) SI*,*%HX>7Y#I'4GN #;:hXây dựng hệ tính toán thông minh: Xây dựng và phát tri n các mô hình biểu diễn tri thức cho các hệ giải toán tự độngi! "#I$#/T#16'42 '#@!‹*AI95q6'#@T#*, /A5#1*49*G/23 T2*,!SI@Z^}~LJ/Š#3 999<0=0@#J/#Z^ }~L$'#GGI*5#,. QG'4*% GVHD: PGS.TS. Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng ^m^ Chương 2: TỔNG QUAN VỀ TRI THỨC VÀ BIỂU DIỄN TRI THỨC 2.1. TRI THỨC "'<G3'N#*6!S30@*,G *G': GVHD: