Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 37 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
37
Dung lượng
187,48 KB
Nội dung
!" # $% &'()*+$!,-./00# "12(/*#345*3367 !" # $%&'(898!:87;/*(&<()* +348!:$%&'=7 !" # # >3=34!?1@&<+-8A? B7 !" # C<4$%&'(#3 )* </</D(/*#33; (/*E# F 13)D&E4G(89 )!G367 !" # $%&'(*3=H !?: 4 !" # * >: I%&'(8!:(&<7#$*#E 06680*JBD$*%)D*3=; $*31")!:/7# !" # $%&'(/*( &<68%B.30+1$*#6K83=; @)?B"11J80 !"#!?89D 378G0(/**%#$$L/4 >), M#$%$*#N O$0P6/;=;F# B( 6)*+G/87.Q7-( !?89$08!:7/*# B(66% 3%6H+1R3*##?$S .+187 B(6%;=(86!+ #*T B()*+.Q&< ! B(870O)H;O)&/*8;N CU VO)WCO) VO) XV U Y MB(46%8!:;=!+. 68!:#O) CO)UH#CUO) $##&>#8%B$* #16N O+1S68708!:+/**86 Z # !" B(8%$%&'&93#$0 6[!#&93N \W\UW\]UY ]W]UW]UW]UY I*#D$06NO^6!,/*OU 93 $_$+`183N5O)5 OU 5 ]U Y IOU I]U Y _ $#%&'(")*" +, -/"0- 12 1.1. Khái niệm tri thức (68ab;#$2()*+# H!:34/ BD : /*;@)c8!:d(e $*#34`8!8ab/7(* (* - f#N()*1E%$0/7+)b/E/ 87 - gb/ENC7878!: - (N!?$A###)1E #)D Q&<N - f0(/73/*BJh8#$)* ( - I0+#6#30*>/,#( )4.G#30)*( - I0#&&G)!?&>)D >/,#D#;@)c"$B4#)* ( 1.2. Khái niệm về biểu diễn tri thức I%&'(ifj)=&=k= =1=l)*1E&'8/* %(&!,H&: 8%6%m( +"12( $%&%()*+ !" # 96 (1#36%;@)8!:On!&H)6 7##8%$%&'(#33 o 4 B+ !" # * >: 8%8!)4#3 O#</$%&'(8"B!N - O#&G)"$BNp93&1#D : q - O#&G)H!:NJ;0 *8: - O##N8Aa3 - O#8!: - O#G8-B( Q&<Nf0(/7+GDR0/B $*#6%8!:$%&'AN - C+D : #$0EA$08&+30 GD!7&*7+ 1.3. Các dạng tri thức - (BNO###8!:"$* - (NO###.# 8!" ( - (<NO#)D&R#<;@)c#0 )!: - (=N(/7#&(#/*#1@ &< r $#% 3 ' 4 5 167" 18 , -/"0-12 2.1. Biểu diễn dựa trên logic hình thức ]@&<#$%()()8% &78#1E/*#)D"12(MF ) /aH 8!:1@&< m$0/*B+H)D A : !" # *3s6)* G)D MkUgUt GMkUgUt^R$#1E/*#)D 1uEB.30/878!:34R&E4 (8!:$# 2.2. Hệ luật dẫn CT)D&q8!: #$%&!,&N vwxB0y=x0)Dy CNC+#()D&RAN - D 8E - D &R86xB0y/*x0)Dy)*#D 1E 5D;FNC)D&R46# &<E0 / .1E#8"B 2.3. Mạng ngữ nghĩa CG^i1==jl6&8AaA# /*#86N - O#%###8!: - O#7#.G#8!: pE4HbD$0(+#E . 00#;@)c!N4z$,##3# 8!:{0 | 5D;FNC#>!:/*#.## &< B #%#(<%" 2.4. Mạng các đ*i tư,ng t-nh toán: 39&:;;< 7$*#!?- 7) 8!:CT+8!:6#+/*#. $4GQ/D3#8!:2+1 T$0)*+8!:# %=&C+8!:#1u6G8- 1N 566#+#aC+D : #+ *38!:U1u8!:c)*CiUl O6#.#+$+G#+ 8!:UO8!:#8-!1 838!:N - O+D }CiUls!:U6% 3#+6%;#8a8!:HD } - s!:U1u8!#a++ - 566 % )4#;@)c$48%;#8a# + Q&<N#/,#(i(8a)c~l)* +8!:O#+8!:#)*$6 ~C+8!:#6%B)?+1S/&< !)*dO6+)?B+$*#8%#& H+/*6Ze %=3 K#wG#+ +8!:<%8!:)*+.G#8!: C#8!:#1u(+D : #8!: • #U€•UU~U‚/*+D #.#ƒ €•ww~w‚O6+1c183N >?@€D : #+8!:# .„ >A@€ M(f i i 1 m ) = >B@€ M(O i i 1 n ) = €D : #+8!:#8!:;= ;F$*#<% ;€C∩CiU l €C)*D : #+ 8!:;=;F8!:U O+#8!:#iUƒlO. 80$*#;#8ai-#l#+ D tH#8!:!,D I*#*38!: /0&!,&t Q&<N&!,B1@}I€}O#a6}/* IO8!:!,}Ip…/*}Oƒt)*/…t I*#46%8!:;=)*#8!: #!1N U€•UN#}IO/,}I€}OUN#}…tUN /}Ip…UYN/}Oƒt‚/*ƒ€•wwwwYw_‚ A#.1 † ƒNU€U ƒNU$€UY ƒNU$€UY ƒYNU€U ƒ_NU}VU}€|† %=COiUƒl)*#8!:#C )*D : #+6)4.tB1@})*+D C Q,Tw∈ƒwi}l)*+D : }/*D : A B#+C13H}$2w!"E !/D3/,T8!:#U∈UUi}l)*+ D : }/*D : $AB+i Cl*8!:U6%;#8aH#+ } $ tB1@p€‡~ˆ)*+&1##30 ƒ ∪ Ufc}€}}€i}l~}€ i}{l/*pi}l€} O6}⊆}⊆~⊆}€pi}l⊆C C+$*#t8!:)*B8!:06+ &1#p⊆ƒ∪U1pi}l⊇I!?: *3p)*+)?B$*# 393DEF DEF&G +)?B$*# t 4 #8!:# ])←= 3‰ wt⊆= $= ])Šw&←=‰ [...]... LUẬN Qua bài viết trên cho chúng ta có cái nhìn khái quát về các phương pháp biểu diễn tri thức. Với mô hình COKB là một mô hình rất tốt cho việc biểu diễn các tri thức của con người, đặc biệt là các tri thức về Toán học, Vật lý, Hóa học Hơn nữa, sự mở rộng của mô hình COKB bằng việc thêm bớt các thành phần đối tượng một cách dễ dàng để phù hợp với từng bài toán cụ thể Trong chương trình demo Hóa học trên,... phần giao diện Dựa trên cách giải quyết hiệu quả đã tìm thấy, kết quả cuối cùng ở dạng con người có thể đọc được sẽ được xuất ra màn hình giao diện 27 Chương 5 – MÔ HÌNH BIỂU DIỄN TRI THỨC BÀI TOÁN HÓA HỌC 4.1 Mô hình biểu diễn tri thức Tri thức được mô hình hóa bằng mô hình COKB gồm 4 thành phần: (C, H, Funcs, Rules) 1.1 Tập C - tập hợp các khái niệm đối tượng Tập C bao gồm các khái niệm: “Axit”, “Bazơ”,... trình phản ứng hóa học 1.4 Tập Rules – tập hợp các luật Các loại phản ứng hóa học cơ bản: - “Axit” + “Bazơ” → “Muối” + “Nước” 28 - “Kim loại kiềm” + “Nước” → “Bazơ” + H2 4.2 Thuật giải của bài toán hóa học: 4.2.1 Thuật giải tìm lời giải cho bài toán A → B: Nhập : các fle chưa tri thức cho bài toán hóa học, tập giả thiết A, tập biến cần tính B Xuất : lời giải cho bài toán A →B Thuật toán : 1 F ← empty... giác, Ops: Tập hợp các toán tử của C Thành phần này biểu hiện một phần các tri thức về các toán tử trên các đối tượng Hầu hết lĩnh vực tri thức nào đều có một thành phần chứa các toán tử Trong hình học sẽ có một số toán tử như là cộng, nhân các vectơ, trong đại số tuyến tính có các toán tử trên các ma trận Mô hình COKB giúp tổ chức các tri thức này như là một phần của hệ tri thức của hệ thống thông... này không đủ và không dễ dùng để khởi tạo các chương trình thông minh hoặc các hệ tri thức trong nhiều lĩnh vực tri thức khác nhau hoặc các hệ thống tri thức trong nhiều lĩnh vực tri thức khác nhau Mô hình được ra đời theo cách tiếp cận hướng đối tượng để biểu diễn tri thức cùng với kĩ thuật lập trình tính toán symbolic Mô hình COKB (knowledge bases of computational objects) bao gồm sáu thành phần: (C,... tính toán Tri thức về các hàm cũng là loại phổ biến của tri thức trong hầu hết các lĩnh vực tri thức trong thực tế, đặc biệt là trong các lĩnh vực khoa học tự nhiên như toán học hoặc vật lý Trong hình 18 học chúng ta có các hàm: khoảng cách giữa hai điểm, khoảng cách từ điểm đến một đường thẳng, mặt phẳng, Rules: biểu diễn các luật Tập hợp các luật là một phần của cơ sở tri thức Các luật biểu hiện... giúp bài toán được mở rộng ra hơn 14 - Khuyết điểm: - Do hệ thống chỉ bao gồm 1 cặp (O, F) để biểu diễn tri thức nên khi gặp phải những bài toán phức tạp thì có thể xảy ra việc lưu trữ khó khăn và nhập nhằng khi quản lý Đồng thời việc xây dựng lại thuật toán là một việc tương đối khó khăn phải bảo trì lại toàn bộ hệ thống - Đối với các bài toán mà sử dụng nhiều các đối tượng tính toán bài toán trở... - Đối với các bài toán mà sử dụng nhiều các đối tượng tính toán bài toán trở nên phức tạp, việc giải quyết bài toán bằng mạng các đối tượng tính toán trở nên khó khăn cho người lập trình 15 Chương 3 – MÔ HÌNH BIỂU DIỄN TRI THỨC COKB 3.1 Khái niệm Các phương pháp truyền thống để biểu diễn tri thức như logic mệnh đề, hệ luật dẫn, mạng ngữ nghĩa,… rất được quan tâm và được sử dụng trong nhiều ứng dụng... phản ứng biểu diễn các biến hóa sau : Zn → ZnO → ZnSO4 Giải : Trên cở sở dò tìm các phản ứng (xem là các quan hệ của mạng tính toán các chất hóa học) đã biết ta có thể tìm thấy được các phản ứng sau đây : Zn + O2 → ZnO ZnO + H2SO4 → ZnSO4 + H2O Lời giải của chương trình: > FindSol2("HoaHoc.txt", GT, KL); Không tìm được lời giải cho bài toán Bạn cần phải bổ sung vào giả thiết: H2SO4 , để bài toán có... thiết kế hệ thống bao gồm các yếu tố sau : - Cơ sở tri thức - Công cụ suy luận - Bộ phận diễn giải - Bộ nhớ làm việc - Bộ quản lý tri thức - Giao diện Cơ sở tri thức bao gồm kiến thức giải quyết các vấn đề trong một lĩnh vực kiến thức cụ thể Nó phải được lưu trữ dạng máy tính có thể đọc được để động cơ suy luận có thể sử dụng nó trong quá trình lập luận suy diễn tự động để giải quyết các vấn đề ở các dạng . /B.30$*# $P#8!:#246J !?)D _ Chương 3 – MÔ HÌNH BIỂU DIỄN TRI THỨC COKB 3.1. Khái niệm O# !" # 378%$%&'(!) 87)D&qGb~8!:./* 8!:1@&<7(&<34#. (=N(/7#&(#/*#1@ &< r $#% 3 ' 4 5 167" 18 , -/"0-12 2.1. Biểu diễn dựa trên logic hình thức ]@&<#$%()()8% &78#1E/*#)D"12(MF. >/,#D#;@)c"$B4#)* ( 1.2. Khái niệm về biểu diễn tri thức I%&'(ifj)=&=k= =1=l)*1E&'8/* %(&!,H&: