Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 35 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
35
Dung lượng
222,98 KB
Nội dung
! "#$%&'()*+, /01*) -2324556))-)7892:-;4<= (!0>?,@),A-B-3CD))EF)-6 ./)GAA:-;#,<FADA4-())7 892:-;? %A#-;H:):I(A4=-+? J)I.!)IAI2ID.K)-6./):48<ILI /+)M)@K))E4=?N9'E)!0> 523232!+7O<56)?%!0> /9 DI(AD5+J)-()!09?%AI.!)IAI# ,<A:-;ADA-)7892+A(A4-() /+)MK'609)PF'62O<).Q )I+'DR)*) H#+9,S32# /;#!0>O< A-6./)GAT"U' $V'U)U <0U0W %I<<' &+XU0Y Z<-N9@)HN)>'Q7!-2 ! -[97E)+)7)\)8<A50-() O<M9?@):7!A+])'KI-[-,)),IE)'5 8^+A'!0>45+'D9? ]_"C9="%``a`abc <) ! !" #$%&%'(&'!)**+ ' ,-.+/01234 ' !"# 567,089,%*4:;#%7/! <=%&/'>:!?&/'@*: &%'#2# 8A(?&/'7 B %CDEF#G !H%1A12 #,0=13 +I JK(#JK(#JLK1A1&A#9#J→K(,4 ,4JK!M/IN", >&>'O&> PQ,0*I1→(#2*:&%'" , (1*:&%'>&>'*:&>P! ,D7>O#1,41%17 #$ID1%&/'D1 %D*+%&'D#'4! R,41%17D#%*7=7* (7*S#G&01: !R,41%17*7 ]_"C9="%``a`abc <) ! TU:7&D7*S7,0U& D:7 H#2 7*ID1DVWXV IJV KOJV K(WY(B(!!Z [FIJV KI%DV JV KI1:DV $%&'()&'**+, 5#ID1:D1&D$! 5 I) 7:+ ),-YI[←[ ),-BI\[OU> ,0+(7 ,-] ),-]IUV#DV ##JVK[! [←[JV K ^ 7+,-B &>P,0V OU;+ $%&'!- 5#ID1:D1&D$! 5 I) 7:+ ),-YI_←\I``_D1%&'&D ),-BI_[OU>(,0+a ,-] ),-]I;:%&': D#2 #[2&D\ >O*7;&2%1#O%1% J&'K,0>:a%4:(%C %1%7b F( !#&2 ?O1+1C >:# +! ./0!$1 DT,0>:,-+ 2d)72e#d32'De! 567+*;13!>O* +7," #$ID1%&E'>:%&'J2; F4:KD1DT!#21:&D ]_"C9="%``a`abc <) ! DD1%&'!?&',0>:2;F4: ,Jcd,0e/f%CK!M/I, ;feg >O*+72.,*(* :/O%&%',0>:2;F,4d4:! H286747D*@%%11,41%1 7* 7S!h (%D,0*9#>O 7,"D1 c'D1DD('b:#O' O'dD0!7c(U.G#% *+7+#c,O2i+# &7 I/O%&'2;F4:(#& d+U,01+1(%&%' 2a 'T c>O*7&> ',0;:.7dU,02! 2./0345/ +. 2+$C(#2F%&%' 7 d,0(a '. %d,0 7&%' +. >:89 j #+. D%a F1 &%8=E,Ic-%&%'`d,0(O& >! (&'.6"$7/8!"/9&/ I\/#+%F-:# J.7 dk2%CK ]_"C9="%``a`abc <) ! IG1+,- #&&/P ;:%b -%7d/J>K#G&>&/P ,0; &lb#. J;+K! >O+. ;( *c%% b#G3c!H%*+ $Cc;*!h -%*7. %b h'da 'N&U Q>a a 'NQ!HS -.,cO%*7&%U,0&% a%(#%11:1%%>O4! !"Im+*%;/ #%,0%1%2'a::a7d+ 2 !?+/2 +. % .a '2G=#'/#%!+/2 $D1n! ID1%#%Cd! nID1%a '. % W{8 Y (8 B (!!!(8 }( oW{n Y (n B (!!!(n }! 5d-?n∈o( &E'JnKD1%2c'#a 'n!MJnKD1# IJnK⊆! n,-+nIJnK→JnKO 2JnKWJnK∪JnK! U>O79#%:5?Mp4Oq:a7%;I JYK H#,-D1r)D1%;&l!H28%C)UD1 r"%a '#o 7&>s JBK 8%C,0D1)Oa%O/2 % ),0 ',#s J]K #,"01&>O,0)O3c&'O 2O,0) ]_"C9="%``a`abc <) ! +/2 # ;7,0;Fc# +!,8Ac2 2+/2 O>O 7, '%7%a '(c&. %+ /2 7! #$%! +/2 hPd,0/2 J&E'_K! +%d,0/2 #$D1%d,0/2 _W{_ Y (_ B (!!!(_ }D1%a '. %d,0/#% oW{n Y (n B (!!!(n }! 5GI Jn K WD1%2ca - a 'n ! JoK W Jn Y K = ! J_K W J_ Y K = ! D101.,0898Ac+(&:% D1Jn K W∩J_ K( WY(B(!!!(! 9#%&E'c( D101. d,0_ ,0 898Ac+%d,0/#%!h h2I J_ Y K = ⊇⊇ Jn Y K = ( 7 J_K⊇⊇JoK! >O*+7#1A1 '/2 % 7d,0 cD1 %d,0 &%! ]_"C9="%``a`abc <) ! :;#*<=>" ?*<=>" @<=>")A"B6, e CD#;:#% c ,"D1 %d,0&% ?d,02;F #$d /-.a ';C!.a '7F1 '7*(/#%:d#%7*e/#%c %/ d,0!M/I#:#%OP( % -%/,]+(]2#('/(= (%&/ hh#+1(!tS-%>c'. % /2q# ;F d,0, e @E5/I Pd,0/#%JHe#u9Kd,0_ 2;F #$ JYK %%/rJ_KW{8 Y (8 B (!!!(8 }#2? /;7%C#8%C;C(. %/ 2%a ''a %&'(%D7* 7%> /#%! JBKH%ca 7*/#%c%/ d,0 7c%&',I • v%C #2 D101/r⊂rJ_K(d ,0_2&:p# D1/-;2,07 Ur#d,0_! • v%C/:,0 #%7*/#%2+r→) -r⊂rJ_K)⊂rJ_K!2%&%(d,02&: p:"6g@27 ,0%/#)U %/#r&>! ]_"C9="%``a`abc <) ! • '%/#% • ''0E3:##% • v98A/8%C d,0( 7 &' M/I;F %-;F$%7d,I]+ ((w]2,4-]+Ir()(Hw]," #,4I ((w'/< %w= 1 %w%&/ ,"h#+1V %(!tS-%> c'. F,CE2# %(CE(CE #(%>/'/(tqd,0He #u9& /01;F7-%8=Eca ':#% %i,%898A&' #2ca %/ 7/:6d,0!, D7 2d,0 %!\d,0 %7,07c #":##%{ ()(H}⇒<2q;1" :$],- 67I ),-YIv%Cr>rWπe)eHw ),-BIv%C>W !J)K`JrKw ),-]Iv%C<><W !!JHK`Bw • 7c:#%{ ()}⇒<Od,0q:"@ N&>:,0Q22C;1c>,r( H( 7! :;#"*<=>" He_u92,0>O2 I Jr(o(o (V9K #2I rD101%/ d,0 ]_"C9="%``a`abc <) ! oD101%a '7*/#% o D101%/; 7%&'d2 d,0 V9D101%D7*c%&'ca %/i,ca :6d,0! M/I5d,0JHe_u9K#+Nrx[yrHQ,0* 9#>Oc$2I • rW{[#r([#)([#H( ((( ((( (((1 ( 1(1(<(1(V(( ((} • oW{[#rz[#)z[#HWR( {J[#)KW{J[#rK( |BW|Bz|BeB{{{#J[#rK(!!!} • o W{ z}w z}wz} wt} • V9W{X[#rW[#)Z⇒X WZ( X WZ⇒X[#rW[#)Z( X |BW|Bz|BZ⇒X[#rW1`BZ( X[#rW1`BZ⇒X |BW|Bz|B(⊥Z(!!!} d,0i2.4::a7; c% / 2!.d,0,0 C&:p:a7; ,I Y! v%C #2 %/ B! '7D#6:".;9#T,I8% C/U/&% ]! '/#% ~! 5C3:7! ]_"C9="%``a`abc <) ! :;#?*<=>" CD \:#%%#%7*/#%cHe_u9867 %D:/01q4#'&%'?0: #%&01- &P&!7c(?#+ He_u9&8Ac'b',012/; ##&& #," 71+," #$%&%'% #+d,0&% -.da '.4!M/+ %/ d,0 %(&8A,d ,0D1O2N#+•Q!N5#+•Q#+d ,02/%C/ 2%C7q ,0S#%>/#% 7%a '/#%wG &%#+•i2%a '1/#%,a '## 7a '>2!H%#+a '/#%.a '1e /#%. %#+•i2.D c2&> 1:.D+# %!,D7(2>O *42=#'867'4 :#%%He_u9 1:898A&%'He _u9#'d%&%'He_u9S-%#+ &'(%#+a '&% %+D&% ca F!>O,P>O%d,0/#% €>OH_\)JH#1 # _u9\#•99) 9K :;# >OH_\)>O$'d JH(‚(V(_1(o(V9K$I ]_"C9="%``a`abc <)`a [...]... hình học phẳng theo mô hình tri thức về các C-Object Cách biểu diễn kiến thức theo mô hình nầy có nhiều ưu điểm thuận lợi cho việc thiết kế một cơ sở tri thức truy cập được dễ dàng bởi các mô un quản trị tri thức HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 25 Bài thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn cũng như các mô un giải toán và tra cứu kiến thức Đặc biệt là mô hình. .. (P) ) Ta muốn thiết kế ứng dụng (phần mềm máy tính) để giải các bài toán hình học giải tích 2 chiều có dạng như trên Áp dụng các phương pháp biểu diễn tri thức bằng mạng các đối tượng tính toán để biểu diễn và tổ chức cơ sở tri thức cho ứng dụng, biểu diễn các bài toán và thuật giải cho việc giải các bài toán III.2 Giải quyết vấn đề III.2.1 Phân tích Biểu diễn tri thức về các đối tượng cơ bản... quá tri nh giải quyết bài toán - Bộ nhớ (working memory): bộ lưu trữ các quy tắc và các sự kiện trong quá tri nh tìm kiếm và suy diễn HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 22 Bài thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn - Quản lý tri thức (knowledge manager): nhằm hỗ trợ việc cập nhật tri thức và hệ cơ sở tri thức, tìm kiếm tri thức, kiểm tra tính nhất quán của tri thức. .. d2 và ngược lại III.2.3 Thuật toán tìm lời giải HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 30 Bài thu hoạch môn Biểu diễn tri thức và UD HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 GVHD: PGS TS Đỗ Văn Nhơn Trang 31 Bài thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn III.2.4 Thiết kế mạng các đối tượng tính toán cho mô t bài toán cụ thể 1 Bài toán 1 Cho đường phương tri nh... thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn Giai đoạn 6: Thiết kế giao diện của phần mềm và lập tri nh phần mềm Giai đoạn 7: kiểm tra, bảo tri và phát tri n ứng dụng Chương 3: Ứng dụng mẫu III.1 Phát biểu bài toán Xét các bài toán hình học giải tích 2 chiều (liên quan đến các đối tượng hình học cơ bản như điểm, vector, đường thẳng, mặt phẳng) được phát biểu như... trữ thông tin của biểu đồ Hasse (tri nh bày các thành phần H trong mô hình COKB) - RELATIONS.txt và RELATION_DEF.txt lưu trữ mối quan hệ cụ thể (mô tả thành phần R trong mô hình COKB) - OPERATOR.txt và OPERATOR_DEF.txt lưu trữ các phép toán cụ thể (mô tả thành phần Ops trong mô hình COKB) - FUNCTION.txt và FUNCTION_DEF.txt lưu trữ các hàm cụ thể (mô tả thành phần Funcs trong mô hình COKB) - RULES.txt... III.3.4.1 Thiết kế kỹ thuật Quá tri nh phân tích và thiết kế các thành phần của h thống bao gồm các giai đoạn sau: Giai đoạn 1: Thu thập tri thức cho mô hình COKB Giai đoạn 2: Phân loại tri thức thu thập được ở bước 1 để phân tích yêu cầu Giai đoạn 3: Xây dựng tổ chức cơ sở tri thức cho hệ thống dựa trên mô hình COKB và dựa trên đặc điểm của ngôn ngữ cụ thể Tri thức có thể được tổ chức thành... Trang 13 Bài thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn Trong mô hình COKB, cơ sở tri thức có thể được tổ chức thành các thành phần như sau: - Từ điển khái niệm bao gồm những loại đối tượng, thuộc tính, phép - toán, hàm, quan hệ và khái niệm quan hệ Bảng mô tả cấu trúc và đặc điểm của đối tượng Bảng tri nh bày những quan hệ phân cấp giữa các đối tượng Bảng tri nh bày những quan... thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn Kết luận Mô hình COKB là một công cụ hữu ích và phương pháp thiết kế cơ sở kiến thức thực tế, các vấn đề mô hình phức hợp và thiết kế thuật toán giải quyết vấn đề tự động dựa trên cơ sở tri thức Nó cũng được dùng để thiết kế các thành phần khác của hệ thống cơ sở tri thức Mô hình COKB đã được sử dụng để tạo ra phần mềm giáo... tắc suy diễn - SOMEOBJECTS.txt lưu trữ các đối tượng hiển nhiên HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 23 Bài thu hoạch môn Biểu diễn tri thức và UD GVHD: PGS TS Đỗ Văn Nhơn Giai đoạn 4: Mô hình hóa các vấn đề và thiết kế thuật toán Những vấn đề được tri nh bày sử dụng mạng đối tượng tính toán Bao gồm 3 tập hợp sau: O={O1, O2, …,On}, F= {f1, f2,…,fm}, Goal={g1, g2,…,gm} Trong mô hình trên