Sử dụng biểu diễn tri thức giải bài toán dòng điện một chiều

 MỤC LỤC I. MỞ ĐẦU  !"#$%&'($ ) !#$*+,!-+. /0 1/$2-*34!567(8+,9::2 //8;"<!"'!" !*+ ;)!$- 0)78 =:!>?2/!@:A!<!>51567(1$11 0) 7;BC=#$8D(!)9'*2:/%&"2" !$*!>7E!)!$F*8D#$G5138"<4H$*1! $ 87!%+I*3*$9JB3<A9!"+.8D( !)71! K!9LA-M<+E !"/8;"2"<!" '!"+./:D !+$:#5) )%&/B ?B7;BL=7E!7!%/8;!%!7N+$"<!" '!:# !#$*+,!5)%/B*211!@8  ;!)7@/8;71+"2"<!"'! !"2 "+$71*'O(> 1$92!@+<!"'! !3$+5*!7M9 5P'N93QR $/FST9U3!!%/9/D6$9/ *9/ &!+.B*9?VWX9YLA!@2+!"/ !)712!@'O  *%&8/!Z+!><'J'O *% 8/!+%S0 !9%)!$9Y7!%<!"'! !27$! K >SH$ G !%G5($+<!"'! !=.![%&'( !%9*2!%SL9+,'($71*B<!"71B!%HA#$/8 ;<!"'!&!&!7E!/!@ !+ B%J*2"!A! H>7L@ */7! 5E3!+. $**+51/7!%!% HA71<!"'![\QXF9]^^_T  *<1!7!>1`!;/!"5!/8;?VWX9Sa'O<!"'! ! !A!<1!*'K!%/!@ 1  II. NỘI DUNG 1.  1.1. 6$  /8 ;   !      ?bV<cF  Q7!>  \  51  /8  ;  ?VWX  d ?*/$!*$5V<cFSW*e5F'FX$SFT51/%&U/f1: (C, H, R, Ops, Funcs, Rules)  *2 o C 51/P.3!!%/#$&!+.B*!&! +. *?51/5E?*/bV<cF o H51/P.H$%JL *3!!%/ o R51P.H$% *3!!%/ o Ops51/P.*a o Funcs51P.1/ o Rules51P.5P ?2H$%<!"'!S()<!%!D$3!!%/ *PCg H<!"'!H$%O" *CJ51H$%( *C971H2 "+.`F/+SU$SSF#$H$% R51PH$%3 *?971 * +,.H$%h51H$% J22"2BL+gA`9&!`9Y *;G i71;G!A!B92!@H$%+jk#$!"/71+, i9H$%j !"/k#$!"/71*i9H$%S*S*!D$ $!*i9H$%j782k!D$$!*i9Y POps$*a *?J511:<!"'!/:  !7@*a * *&!+.:>9/!@ !@2 1:*a *;G!A!B2*a7F* +l 9lJ7F* 78+E9Yg *!S&>B2lJ/$  P8;?VWX![m ! */!@ !+/ 1: *S0 !#$%&8/! 2  PFuncs $1/ *?*/b*<cFS !7@1/51 ! 3m<!>#$/!@ ! *(>C<!% *567( 3*$G(!)+*97P5n *;G!A!B[$21/ +3*A!D$$!!"/93*A!D$$!+,i*C/C i9;!>#$!"/$+,i5)/Ci9Y`/$  J78 *!S&>BZ51/1/ PRules<!"'!5P'NP5P\\51/:  *S0 !?5P<!"'!*J5%95n9)5n98 9Y:3>95P+.7!>'+E!'!RoR$SpFoR$Sp *L  [5PoR$Sp51PS(3!%J5EL?S(3!%A! +.J5E"1:5P2"+.`71`a5n */S '!#$S0 ! ?5*!S(3!%QR$T */8;?VWX 8;?VWX2qqS(3!%+.LPDS(3!%+.@ SLM7!%!) )):717L@(> */!@ ! 3$?5*!S(3!%<$*U/ [1] (3!%8!7@5*!#$&!+.71!7B'OrX?51$/!789 rX?51;<;1$ Pr51/$ J78 [2] (3!%7@B`#$/&!+.$#$/B$J51 7L@ *;G!A!B5L/71!7B'O*5*!S(3!%] L@?*!"/s71t71+,iQ'T!ASa us9t971Q'T51` QT51/Ci4$/-H$%;/+ ;mH#$QT  *7L@[$2<$S(3!%5*!vQqT!"/s+.`$[ $-<!>G$#$s9Q]T!"/t`9QvT+,iQ'T`*C [$-2Sw+ ;#$Q'T [3] (3!%7@B`#$/B$/&!+.8H$/ <!"u$J51/71!7B'O *;Gi;G!A! B *$/!rX?!ASa u!@'1!X?xyCiQT2 + ;]`bvdz{fx^971!"/2G$Qq9]9vT 3  [4] (3!%7@S(<u$!D$/&!+.$/B7E!/&! +.$/B3|*!S(3!%13m<!>712!@7L @5!)H$>2 *<!"'! !$J517L@ *;G i*/71!7B'O7@S(3!%5*!} :@?*rX?51/;<;1!ASa u951$!!"/ ) +,ir?7E!rx??/!$!$/!rX71?<u $  *7L@1[$`S(++!D$$!&!+.9/ S(3!%5*!} [5] (3!%7@S(O#$/&!+.$/BF*D&! +.$B38H$/8B*7B'O * ;G#$S(3!%151ex]~{v~7g *2979e517l [6] (3!%7@/H$% )&!+.$ )B#$&! +. *:>7L@2S(3!%5*!f+51S(S*S*#$$! +,i9+,i7827E!/Ci9!"/*i [7] (`#$/1/ [8] (`#$/1/<u! $/<!"u [9] (<u$!D$&!+.71u [10](<u$!D$1/7E!1/3 [11](O#$/1/71*1/$&!+.3<u/8  /S(3!%&!5!)H$> !7@1/91:1/ *Funcs #$/8;?VWXL@'+E!J51/71!'B'O7@S(5!)H$!D$S( 3!%711/ L@*'51+,i2+ ;v`{}dq]x^g9•51!"/\ $!D$'7E! OV`9V (a) ;/ !"/• (b) ;/;!>#$V71*+,i' !*i9U!/71€/!"/51 !"/#$*i 2*29[$21/•V•Qr9XT/1: $51 !"/#$ *irX:Q$T#$7L@ )2>+.<!"'!';/ 4  /!"/•"•x•V•Q9•T9/S(3!%5*!‚;!>2"+. <!"'!<u1/hVƒs?•VQV9'T9Z515*!S(3!%‚ .LP*#$S(3!%+.!>3>71Sa'O * 'O3$+%& .GP3!>71!A! H>7L@;G!A!B9+ ;!)71!A!H>7L @ *;Gi9%&3!> *!S&>B Q9]^q]T 1.2. mS0 !'($ )/8;?VWX ($ )/8/;?VWX9S0 !"+.m<u1 :S$ [1] M!"3!!%/7@5*!#$&!+.9B9 *a91/9H$%9713!!%/5!)H$ [2] XA/8AL [71CB#$&!+.B'O+9[$ 2"):/$/!B*71+$ $B#$2 [3] ?<A*7!%<!"'!*H$%JL [4] ?<A*7!%<!"'!H$%3 *3!!%/ [5] ?<A*7!%<!"'! !7@a [6] ?<A*7!%<!"'! !7@1/ [7] ?<A/8A5*!S(3!%B'O+9H$%S(3!%$5*! H$%71'$S&!+.#$H$% [8] ?<A/8A5PB'O+5P'N$:5n>71 :3>5P?A$!@51'$SS(3!% [9] $S*CP.5P [10]$S/N7L@ Q9]^q^T 1.3. !>3>/8;?VWX 1.3.1. m5+ D1J ?S0 !2"<!"'!'+E!'P!7<A +S$ 5  o P!jV<cFS`k5+ D'$Q$)G!T* 3!!%/7@5*!&!+.?bV<cF o P!j!F $ `k5+5!<!"U$SSF"!%H$% JLC<!%2$ )3!!%/Q1: */8 ;?VWXT o P!jhF5$!*S`k71jhF5$!*S„FR`k5+ D8!7@ 5*!H$%3$ )5*!?bV<cFQ1:h #$/8;?VWXT o P!jVF $* S`k71jVF $* S„FR`k5+ D8! 7@*a )&!+. o P!t!*S`71t!*S„FR`5+ D8!7@ 1/ o P!jt$S`k5+ D8!7@S(3!%5*!3$ o P!jh5FS`k5+ D%5P#$S0 ! ?P!7E!)P!2'jo)3!!%/?bV<cFp`k "5+ DL [#$5*!&!+.o)3!!%/?bV<cFpB 'OP!j$/!$`k5+ DL [#$5*!&!+.$/ ! 1.3.2. ?L [P!5+ D1:?VWX ?P!5+ D1: *0S0 !?b V<cF+.!'+E!'7<A2L ['($ )/ S&M32$71H!+E7@[3!A71(!)+E! J51:5!%3)L [#$P! - ?L [P!jV<cFS`k  o*<cF$/Fp o*<cF$/Fp   - ?L [P!j!F $ `k 6    !  ! """  - ?L [P!jhF5$!*S`k71jhF5$!*S„FR`k # $%&! '((""") $%&! '((""") """ # - ?L [P!VF $* S`71VF $* S„FR` *$ ( +% +& """ (  ,-    - ?L [P!t!*S`71t!*S„FR` .+ .+$//+0/ +$!1 +$*2 #+(+*2 , ,- /+ 3, 3.+ .+$//+0/ +$!1 +$*2 #+(+*2 , ,- /+ 3, 3.+ """ 3.+ - ?L [P!jt$`k 7   $/$ , ,- $ 3, 3 $/$ , ,- $ 3, 3 """ 3 - ?L [P!h5FS` #+ #+#+$*2/+ 4* *2 *2 """ , ,- + 3, 5* +/++ 35 3#+ #+#+$*2/+ 4* *2 *2 """ , ,- + 3, 5* +/++ 35 3#+ """ 3#+ Q*9]^^_T 2. 6789$:;+ L@?*<!>/S&! #$/!%/!@9SU/!% Q-+.7…5!T9;//S&>&K5! 8 R1 R2 R3 Rn RnR3R2R1  II.1. P !7@'K!%38m! II.1.1. 5PV/**/€2!% 0 QrT - >2h71•92"B!%!%>+S$ †x r b X x•h g•hG!51!A/>QSO>$SO T )!% 0 - ?8#$5P8/Z*lB!% 0 ( )Ω U R = I II.1.2. !% 0/\&!!> !% 0+++.BF*8 h  xh 5 {h ] {h v {Y{h  • / x• 5 x• ] x• v xYx•  • / x † / x† 5 {† ] {† v {Y{†  II.1.3. !% 0/\S*S* !% 0+++.BF*8 1 2 3 n d 1 1 1 1 + + + + R R R R 1 = R t • / x• 5 {• ] {Y{•  • / x † / x† 5 x† ] x† v xYx†  II.2. 8; ! II.2.1. 8;<!"'! !*'O *BL38HP#$7L@)`J'(/8; <!" '!  !  '($  ) /8  ;  !   ?VWX Q?*/$!*$5 V<cFSW*e5F'FX$SFTU/v1: 9  (C, R, Rules) 8;<!"'! !*'Oj!%/!@kSa'O 5*!S(3!%#$/8;?VWX II.2.2. P3!!%/? */x‡ˆq‰9ˆ]‰9ˆv‰9Š !% 0hhx‡hˆq‰9hˆ]‰9hˆv‰Š 7+,'K'!%•r 7'!% 0*/ 7!%>† II.2.3. PH$%h PH$%h51PS(3!%&!+.*/1*9 &!+.&!!>9S*S* - hˆq‰ˆq‰9hˆ]‰ˆq‰9 - hˆq‰hˆ]‰ - hˆv‰SSQhˆq‰hˆ]‰T - Qhˆq‰hˆ]‰TSSQhˆv‰hˆ}‰T - hˆ!‰hˆc‰9hˆ!‰SShˆc‰ II.2.4. P5Ph5FS P5Ph5FS*/G!<1!*95+ D*1! )‹!5FF`2 L [ II.2.4.1. P 5P '+ ;Qh5FS„qT QhqT Qh]T †ˆ!‰xhˆ!‰~•ˆ!‰QhvT II.2.4.2. P5P'5P'NQh5FS„]T - / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9 hˆ!‰hˆc‰ ˆ`‰hxhˆ!‰{hˆc‰ Qh}T - / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9 hˆ!‰hˆc‰ ˆ`‰•x•ˆ!‰x•ˆc‰ QhyT - / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9 hˆ!‰hˆc‰ 10 [...]... phương pháp biểu diễn tri thức khác nhau, việc chọn lựa mô hình biểu diễn nào tùy thuộc vào miền tri thức vấn đề cần xử lý chủ yếu là sự thỏa hiệp giữa tính hiệu quả và tính biểu đạt của cách biểu diễn Mô hình COKB là một công cụ biểu diễn tri thức có thể được dùng để thiết kế và cài đặt hệ thống thông minh cho vấn đề cơ bản trên cơ sở tri thức Mục... [4, U1 = I1*R1, {U1 = 60}], - [5, U2 = I2*R2, {U2 = 120}], - [6, Ud1 = Id1*Rd1, {Ud1 = 180}] II.3.3 Áp dụng II.3.3.1 Bài toán ví dụ Cho mạch điện như hình vẽ Biết R[1] = 20Ω, R[2] = R[3] = 40Ω; R[4] = 50Ω; I=3A Tính hiệu điện thế qua R[2] II.3.3.2 - Thực hiện biểu diễn tri thức Dữ liệu nhập vào : o (R[1] nt R[2])ss(R[3] nt R[4]) o R[1] = 20 o R[2] = 40 13 GVHD: PGS TS Đỗ Văn Nhơn HV: Nguyễn... Ngoài ra, mô hình COKB khá dễ biểu đạt tri thức tùy đối tượng muốn biểu diễn người sử dụng có thể sáng tạo bằng 16 GVHD: PGS TS Đỗ Văn Nhơn HV: Nguyễn Đạt Thịnh cách tinh chỉnh lại theo cách thêm thành phần hay tinh gọn lại để mô hình phù hợp với tri thức cần biểu diễn Do tính uyển chuyển tùy vào bài toán cụ thể người sử dụng mô hình có thể tinh gọn hay tổ... dụng mô hình có thể tinh gọn hay tổ chức các cấu trúc bên trong từng thành phần sao cho quá tri nh suy luận tính toán trên tri thức biểu diễn có hiệu quả Các ứng dụng sử dụng mô hình COKB có thể cài đạt bằng Java, C++, Mapple Dễ dàng sử dụng cho sinh viên trong việc tiếp thu tri thức, để giải quyết vấn đề tự động và đưa ra giải pháp đồng thuận cho những gì được... biểu diễn tri thức Các phương pháp mô hình vấn đề và giải thuật cho giải quyết vấn đề tự động biểu diễn theo cách nghĩ và viết như thông thường của con người Mô hình thuận tiện cho việc truy cập và xử lý trong máy suy diễn (Nhơn, 2010) Mô hình COKB với cấu trúc uyển chuyển, linh hoạt, tách tường minh các phần giúp dễ dàng chia nhỏ các modun khi xây dựng cơ sở tri. .. quan}If (điều kiện) Then (tính toán) Ví dụ : 11 GVHD: PGS TS Đỗ Văn Nhơn HV: Nguyễn Đạt Thịnh {3}If(R[i]->ĐM[x],R[j]->ĐM[x],R[i] ntR[j]) Then ĐM[x].R =R[i]+R[j] II.3.1 Thuật giải Quá tri nh suy luận dựa vào suy diễn tiến Từ công thức nhập vào ta xác định các đối tượng điện trở và đoạn mạch Mỗi đoạn mạch gồm 2 đối tượng với quan hệ làss(ss) hoặc nối tiếp (nt) VD:(R1 nt R2) ss... (R9) - II.3 Tổ chức cơ sở tri thức Đối tượng Điện trở cơ bản : Lưu trên file Dic.txt theo cấu trúc Tên_đối_tượng : Chú thích Ví dụ : R: Điện trở U: Hiệu điện thế I: Cường độ dòng điện Tập các đối tượng : Lưu trữ trên file Objects.txt theo cấu trúc sau: Tên_đối_tượng : Chú thích Ví dụ : R : Điện trở ĐM: Đoạn mạch Tập luật dạng phương tri nh : Lưu trữ trên file Rules_1.txt... I2*R2, Ud1 = Id1*Rd1, Ud1 = - - U1+U2} o gt: tập các đối tượng đã biết (giả thuyết) o kl: tập các đối tượng cần tìm (kết luận) o đk: điều kiện cho các đối tượng trong đoạn mạch Quá tri nh suy luận o Biến:  steps: lưu các bước giải  found : cờ, nếu tìm hết trong tập kl thì found = true, ngược lại thì found = false o Khởi tạo:  steps := {};  found := false; While( còn... [“ss”,ĐM[1], ĐM[2] ] o o II.3.3.3 [“thuoc”, E[1], ĐM[3]] [“thuoc”, R[1], ĐM[1]] [“thuoc”, R[2], ĐM[1]] [“thuoc”, R[3], ĐM[2]] [“thuoc”, R[4], ĐM[2]] [“nt”, R[1], R[2]] [“nt”, R[3], R[4]] Thực hiện quá tri nh suy luận o o o Theo luật (R4)=> ĐM[1].R = R[1]+R[2] = 20+40 = 60(Ω) Theo luật (R4)=>ĐM[2].R = R[3]+R[4] = 40 + 50 = 90(Ω) Theo luật (R7)=> ĐM[3].R= (ĐM[1].R * ĐM[2].R)/ ( ĐM[1].R + ĐM[2].R) = (60*90) . •'O II.3.3.1. Bài toán ví dụ ?*/!%+;7…X!>hˆq‰x]^•9hˆ]‰xhˆv‰x}^•g hˆ}‰xy^•g•xvrB!%!%>H$hˆ]‰ II.3.3.2. Thực hiện biểu diễn tri thức - D5!%P71* o