Tiểu luận môn biểu diễn tri thức và suy luận Mạng tính toán và ứng dụng trên bài toán tam giác

ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH ĐẠI HỌC CÔNG NGHỆ THÔNG TIN Bài báo cáo môn: BIỂU DIỄN TRI THỨC & ỨNG DỤNG Đề tài: Mạng tính toán và ứng dụng trên bài toán tam giác    !!"# $%&'()&# *+,-.! /0!1 TÓM LƯỢC  o  &23.45.6..6.789'..:.-'45;: <=<2><?@A'(B%C<D$.%-9@E&>.$-D.9F?:' G'3.45.D$.$.DHI<,.J%.DH.+E?K. 9'.L%:.3<,.)%%=G'3.JL%'MNM 9'..-'45)9.:-;O('&)<.,'-;<6 ;:PK.:)&9Q(-R<&9.FL23.45.6..6.9'. '-MSP&.;GT.O&6U.';$ 9'.>(.VR<2>PK?I.DH&DH.%VL45.PKMW @<X>793,(.P8:'?));?>-2><W?&.?DYCAPCZ :+-%45.[.93?\):2)@.J%&M<29&?DY2><W= FP']^.)@)G'P?DYPKMW2><WP$?@_?))@4`$ ?DY-2><WP:&?&.= 9'.%GPX:@<;<L:2,6MS9FX:2PKMW%D.%-%X@< 4a93:3.45.E&PG.+'-9'..VX:'-&P.- 6b:c;Q.X>,.DH?\<.%'6 -(>3XVX&?=<?@)@FP@<Mb<P9'.;Od@<4a 93  Nội dung G.+'-:3.45.9X:'-&P.-  Chương I. Khái niệm tri thức và biểu diễn tri thức  Khái niệm :M@<X>6.R<&-R<-9FL3%3G%DR<-9F9 .-,R<-9FL%,>%<,R<-9F.&'>%,R<-9F9&;<L,R<-9F;T ;<L,&2(>Y%-R<-9F:2  Phân loại tri thức 93)04G.*G+;:93:93e Tri thức hiện: ;:[.93?DY.V+:P\)&4D$4G. XV,:;<,bP&,%P,V,f6.R<&.6.[);H'](6.;H, .<2gW.,D.9FP-2+,<eP&2-%D.(- b2;:[.93?\?DY@9&.'::4a4:.<2@.&',DH. ?DY>%LR<&W..-'45:?:'G'+R<2 Tri thức ẩn: ;:[.93<?DY_M9V.P>,4G.9 3:2DH.e9'.P-b:9()hP\)&i:<2@.&',DH. X&'.*PIP,.-9B,(.P,X+R<2>,(j. Ví dụ9'.X).?-,-=<E<2.%)(V.VPL X).9Wk9'.PKM<B?P-2Xl.%b+-.&'4B.DH& 29l.,)$m!n?KL2'(-:.(P<&P-2+F^. P<&%=PIP49<Mb2;:PK4G.93e,)lP9'.P=<EN )(6.@hP\)&i:XV,(6.@<2@.&',P:.DH&o) @)Xl.-PF;<2L%  Khái niệm biểu diễn tri thức :M4a?G:@E&934D$[.4G.+Y%?@)@ p3PKMq93E&W. d@<4a93.J%&)@p3::?]PKMq93'- <2.&,-Mq93:-.VX:'-4&993 G.+'-:3.45.9X:'-&P.-   Các tiêu chuẩn đánh giá một phương pháp biểu diễn tri thức ^.D4[;<,)I<-(-&<?@X@<4a939'.P-2 +<2,PK%D.%-%?@X@<4a93%V&PKMW<<e :'?)D$?b2;:PKMW<<e.YT 9'.M<WW.)@.V+[.R<2>?B:[.;H.V E&)+45D;<L4` 9>%W.(6.%VMr45.-(T<9<..& %D.%-%X@<4a.=$> <R<VX@<4a?.\A'.O&)+@<I< +Y%X@<4a?DYP93);R<&']-93D.  @-:%=X@<4a)+?K;L%:)@?DY(>Y%;G ?@?G?DYP3&'  Công cụ cho việc biểu diễn tri thức <9J4[;<XV4\2,4&M-,L%Y%,P`<,f <9J4[;<9_<DY..C>%,:.?Y -P6F'-?*B,b2 -P6F?WDY. -.6.[?]V93 Ví dụs>3IPK&P.-=>'.VX:'-&P.-) @?DYX@<4a.*P KL%Y%-X>,PX>?G4'PK2><WE&&P.- &,X, GE&&P.- G.+'-:3.45.9X:'-&P.-  t,d, .)?W4$ GD.3.9'.&P.- &,X, ?DH.&'D.3. 4+&P.- %r&<E&&P.- uX-(+?DH.9Q.'G>%&P.- 9X-(+?DH.9Q.'G>%K.-  KL%Y%-6.3;+'-9-2><WE&&P.- vtwdwxπ79&4&8 v0&0xX0w0N0X'Mα v X0x&0w0N0&'Mβ v10x&0wX0N0&X'Mγ vy0%x&wXw vmx&&/0kxXX/0kx/0 vzx%9   Các dạng biểu diễn tri thức thường gặp :?D&9&[..V%-%P$?@'::6.'];:P'6. ?)9q4a Tri thức thủ tục P6V-3.VR<2>PK?I'G93:2?D&9& .V%-%?@PK6.:'?) G.+'-:3.45.9X:'-&P.-  Tri thức khai báo (tri thức mô tả) 'X>PK?I?DY2D>:' 'G93:2X&'.*P-%-X@<?.V,4D$4G.-({.?B;'. ?J.']M& Siêu tri thức P6V93I93'G93:2.J%;&93 +Y%9'.MW-93(.VR<2>PK?I Tri thức heuristic (Tri thức nông cạn) P6V-hP|'i?@4`4g>9F;L% ;<L)(6.XVP?VP':':+C-I(>R<V.VR<2>?I Tri thức có cấu trúc P6V93A'<9J'G93:2P6VP6F p.R<&W.A'R<&?@PE&<2.&,X&'.*P(-P,(-P ',:-?WDY.k4aV3.:PW;.[&-934&A' <9JC-?B <9JE&.V'-4&993 Cấu trúc hệ thống : G.+'-:3.45.9X:'-&P.-  Hình 1: Cấu trúc của một hệ giải toán thông minh. -:%=+E&W.9'..V'-.V'-6. P)@.V?DY-4G.X:'-p.R<-9'.PKPI93 Mq937s'};A4.Ad&MA8?b2;:9-PE&W.,9'.?)3& -(>3=>'.V-X:'- dKM<24a7P6M<24a8XKM<24aMS-%45.(>3?DY;D<9[ 9'.Mq93?@.VR<2>&2FP;H.V'-X:'-?]9& -XE&XKM<24a:Mq93)P&.+?K;L%D.?W :;:PK<<eR<&9.&=%V)M-X:2F X@<4a93MS?DYPK-,.=.^ $R<&PE&'.DH -:>(>W.MSL%9<.:'gPXg:p3Mq9 3;:%V?:'[.>':?]9P-2+ J%.DH.+P6N?<)&E&%=Mq93,XKM<24a:XK %LL%L,<o(>3XpM<.&2;'GXcX$PK%=X>3 MS(6..b29&[.<3.;I'-:%=(-9'.W. '%Z%U.PK>;DY?I<(@:.&'>%)@?DYMr45. 'I<W.(-&< -XE&(>3.VX:'-:XKM<24aQ.J%&)@r .PI<>;DY?I<(@(-&<9U.PKMq93 G.+'-:3.45.9X:'-&P.-  Chương II. Vấn đề biểu diễn tri thức : d@<4a93?).&9Q9R<&9.9'.>(>:Cb24.PK .V'-6.P:-<2.&D.%-%X@<4a93+ Y%MSG'PKW.)9-P(cAPG~b24.:%-9@- %D.%-%X@<4a93;:PKD$..3<R<&9.'-: .3<I9+<bG' ?IM<24a?K. <24a?K.?@.VR<2>-X:'-4&993^.;:PK ?IR<&9. -%D.%-%M<24a?K.lPL45.(>3?\X>9'. R<-9F;L%;<L.VR<2>?I9'.?)R<&9.;:->;DY?I< (@.J%%-M[.M(P$_-M(?\) Các ví dụ 9'.I<E?@.V'-J.&DH..]%[.?IDM&< =%V[.+'-&2M<24a9&[.2><W=> :'?)_PKMW2><W?\?DYX>9D$ @.VR<2>?I.DH&%VL45.PKMW@<X>7938:' ?)I[.;.[&-2><W?&.?DYCAPCZ[.;'%Z%& )@M<29&?DYPKMW2><W_.V>?\X>PKMW2><W(- Ví dụ 1VMrJ.&?&.R<&bP?>PKMW2><W9'.PK&P .-,{.G G&,X,k .)D.3.$ Gt,d,k ?DH.&' D.3.&,X,k4+E&&P.-kr&<%E&&P.-kX-(+ ?DH.9QK>%9E&&P.-[&02><W9)-6.3@ [.PWR<&.J%&)@.VR<2>?DYPKMW?I+'-?]9& D+PK2><W_PKMW2><W?DY'9D${.G,+(X>&, X:% G.+'-:3.45.9X:'-&P.-  9'.&P.-J.&)@(@9&PKMWR<&4D$4G.6.3 M&<?b2 .[& .)twdwxπ B;T'M &0xX0w0N0X'Mα X0x&0w0N0&'Mβ 0x&0wX0N0&X'Mγ B;T γβα M   M X M & == .[&r&<: G 0%x&wXw KMW6.3+4+ x&&/0kxXX/0kx/0k x%9 6.3+4+A' G76.3A9'8 8X87%&87%%7% −−−=S Ví dụ 2KL@)(W;DY.P<2@?K.{.$.&W(6. &2?p;:&9'.PK('V.H.&+_H?@P?>H?@P0L WX&?=<E&L@;:,LWqH?@P<W;:0,:LW9<.XF ;:s'V.-.[&?@P?=<:?@P<W;:∆M-?K.E&<2@?K. ;:vKX>LW.[&0H?@P;:∆,:?KX>H.&;:∆ .':9&Q)PKMW2><W(-[&E&<2@?K.L@)@?DYR<& bP G.+'-:3.45.9X:'-&P.- [...]... tìm p với giả thuyết đã biết các cạnh a, b, c Mạng tính toán và ứng dụng trên bài toán tam giác 25 Hinh 2.3 Giải bài toán tìm S với giả thuyết đã biết cạnh a, b, c Mạng tính toán và ứng dụng trên bài toán tam giác 26 Hình 2.4 Giải bài toán tìm ha – chiều cao của cạnh a khi đã biết góc A, các cạnh a, b, c Chương V Kết luận & Hướng phát tri n đề tài 5.1 Kết luận : Trong khoảng thời gian có ngắn nên đề... được các tri thức phức tạp, lưu trữ khó khăn và nhập nhằng khi quản lý Xây dựng lại thuật toán là một việc tương đôi khó khăn dẫn đến việc phải bảo trì lại toàn bộ hệ thông Mạng tính toán và ứng dụng trên bài toán tam giác 22 Chương IV Ứng dụng của mạng tính toán trong giải bài toán tam giác Giao diện chương trình “Giải bài toán tam giác được viết bằng ngôn ngữ C# của bộ Visual Studio trên nền... 5.2 Hướng phát tri n đề tài: Đề tài cần tiếp tục phát tri n thêm với các miền tri thức lớn như tri thức hình học phẳng, tri thức hình học không gian 3 chiều, v.v Nghiên cứu các phương pháp biểu diễn tri thức tiên tiến tại thời điểm hiện tại như mạng các đôi tượng tính toán, mô hình COKB Mạng tính toán và ứng dụng trên bài toán tam giác 27 Tài liệu tham khảo Tiếng Việt [1] Đỗ Văn Nhơn, Luận văn thạc... vực biểu diễn tri thức Về mặt lý thuyết liên quan tới môn học biểu diễn tri thức và ứng dụng, bài viết đã trình bày một sô mô hình cùng với việc phân tích một sô ưu nhược điểm của nó Đặc biệt đi khá chi tiết vào mô hình mạng tính toán vì nó là nội dung côt lõi của ứng dụng của bài viêt Về mặt cài đặt chương trình minh họa, đã áp dụng phương pháp biểu diễn tri thức bằng mô hình mạng tính toán. .. được biết trước Mô hình mạng tính toán là một dạng biểu diễn tri thức có thể dùng biểu diễn các tri thức về các vấn đề tính toán và được áp dụng một cách có hiệu quả để giải một sô dạng bài toán Mỗi mạng tính toán là một mạng ngữ nghĩa chứa các biến và những quan hệ có thể cài đặt và sử dụng được cho việc tính toán Có thể nói mạng tính toán là một sự tổng quát hóa của kiểu dữ liệu trừu... ⊆ M sao cho bài toán A → B là giải Mạng tính toán và ứng dụng trên bài toán tam giác 15 được, và tập hợp B nầy được gọi là bao đóng của A trên mô hình (M,F) Một cách trực quan, có thể nói bao đóng của A là sự mở rộng tôi đa của A trên mô hình (M,F) Ký hiệu bao đóng của A là A , chúng ta có định lý sau đây: Định lý 3.1: Trên một mạng tính toán (M,F), bài toán A → B là giải được khi và chỉ khi B... for i=m downto 1 do Mạng tính toán và ứng dụng trên bài toán tam giác 20 if D \ {fi} là một lời giải then D ← D \ {fi}; 3 D là một lời giải tôt Trong thuật toán 3.3 có sử dụng việc kiểm tra một dãy quan hệ có phải là lời giải hay không Việc kiểm tra nầy có thể được thực hiện nhờ thuật toán sau đây: Thuật toán kiểm tra lời giải cho bài toán : Nhập : Mạng tính toán (M,F), bài toán A→ B, dãy các... việc tính toán một sô biến thừa, tức là các biến tính ra mà không có sử dụng cho các bước tính phía sau Do đó, chúng ta cần xem xét quá trình áp dụng các quan hệ trong lời giải và chỉ tính toán các biến thật sự cần thiết Mạng tính toán và ứng dụng trên bài toán tam giác 21 cho quá trình giải theo lời giải Định lý sau đây cho ta một sự phân tích tập các biến được xác định theo lời giải và trên. .. hay M(f) ⊆ M thỏa : M(f) = u(f) ∪ v(f) Ví dụ 1: Để tính các yếu tố của một tam giác ABC ta có thể đưa bài toán về dạng mô hình mạng tính toán (M, F) với: M = {A, B, C, a, b, c, S, p, R, r, ha, hb, hc,…} là tập tất cả các thuộc tính của tam giác ABC F = {f1, f2, f3, f4, f5, f6, f7, f8, f9 } là tập các quan hệ Mạng tính toán và ứng dụng trên bài toán tam giác 13 f1 : A + B + C = π f2 : f3 : f4 : a b =... đó Mạng tính toán và ứng dụng trên bài toán tam giác 12 Chương III Mô hình mạng tính toán: Có rất nhiều vấn đề trong các lĩnh vực khác nhau đặt ra dưới dạng một mạng các yếu tô, trong đó giữa các yếu tô có những môi liên hệ (hay quan hệ) cho phép ta có thể thực hiện những tính toán hay suy diễn ra những yếu tô cần thiết nào đó từ một sô các yếu tô đã được biết trước Mô hình mạng tính toán . TP HỒ CHÍ MINH ĐẠI HỌC CÔNG NGHỆ THÔNG TIN Bài báo cáo môn: BIỂU DIỄN TRI THỨC & ỨNG DỤNG Đề tài: Mạng tính toán và ứng dụng trên bài toán tam giác   . dung G.+'-:3.45.9X:'-&P.-  Chương I. Khái niệm tri thức và biểu diễn tri thức  Khái niệm :M@<X>6.R<&-R<-9FL3%3G%DR<-9F9 .-,R<-9FL%,>%<,R<-9F.&'>%,R<-9F9&;<L,R<-9F;T ;<L,&2(>Y%-R<-9F:2 . X0x&0w0N0&'Mβ v10x&0wX0N0&X'Mγ vy0%x&wXw vmx&&/0kxXX/0kx/0 vzx%9   Các dạng biểu diễn tri thức thường gặp :?D&9&[..V%-%P$?@'::6.'];:P'6. ?)9q4a Tri thức thủ tục