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

ˆ`‰†x†ˆ!‰{†ˆc‰ QhfT
- / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9
hˆ!‰SShˆc‰
ˆ`‰hxQhˆ!‰~hˆc‰TŒQhˆ!‰{hˆc‰T Qh•T
- / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9
hˆ!‰SShˆc‰
ˆ`‰•x•ˆ!‰{•ˆc‰ Qh_T
- / hˆ!‰!ˆ`‰9hˆc‰!ˆ`‰9
hˆ!‰SShˆc‰
ˆ`‰†x†ˆ!‰x†ˆc‰ Qh‚T
- 
II.3. mS0 !
&!+.!% 0<A|+ )‹!5F!`F*L [

)„&!„+.?[B
B'O
h!% 0
†!%!%>
•?+,'K!%
P&!+.|+ D )‹!5FV<cFS`F*L [S$
)„&!„+.?[B
B'O
h!% 0
*/
P5P'+ ;|+ D )‹!5Fh5FS„q`
‡S&5+.&!+.5!)H$Š&!„+.„qx8
B'O
‡vŠ†ˆ!‰xhˆ!‰~•ˆ!‰
‡vŠhˆ!‰x†ˆ!‰Œ•ˆ!‰
‡vŠ•ˆ!‰x†ˆ!‰Œhˆ!‰
P5P'5P'N|+ D )‹!5Fh5FS„]`7E!L [
‡S&5+.&!+.5!)H$Š</Q!@3!%T=QB*T
B'O
11

‡vŠ</Qhˆ!‰bpˆ`‰9hˆc‰bpˆ`‰9hˆ!‰hˆc‰T
=ˆ`‰hxhˆ!‰{hˆc‰
II.3.1. P!A!
• ;S5P'($71*S'!!>
M8P71*$`&!+.!% 071*
/
!*/U/]&!+.7E!H$%51SSQSST*C&!!>
QT
Qhqh]TSShvU/]*/

qU/hq9h]71H$%&!!>
]U/q9hv71H$%S*S*
B! 2"B+.#$&!+.'($71*! -
<!>#$&!+.2
"3B*8$>&9;$€:<!>+.QbqT
>&
- P71*
o dt8#$&!+. */!%
&!7E!/!%U/$!!% 0hqh]$2
o dtx‡•'qx•q9•'qx•]9qx†q~•q9]x†]~•]9'qx†'q~•'q9
h'qxhq{h]9†qx•q~hq9†]x•]~h]9†'qx•'q~h'q9†'qx
†q{†]Š
o gt:P&!+.-<!>Q!A>T
o kl:P&!+.:;/Q3>5PT
o đk:!@3!%*&!+. **/
- • ;S5P
o X!>
 steps5+<+E!A!
 found ,9>;/>  *P35; found =
true9+.5!;found = false
o W0!*
 steps := {};
 found := false;
- WhileQK'O+.8 *P dt Ž+$;/
+.50!!A!T
12

o %M8dt[i] *P&!+./!%
/!@'
o W!"/ $`F/QbqT<!>U! * dt[i] 2 *P!A

>QgtT38
o >2
 WB*<!>K5!'($F*<!>-<!>
 )/<!>+.3B*71*P!A>
 )/8dt[i]71*steps
o W!"/ $>Pkl 51P*#$;'M
+.5!!>O7K5C
II.3.2. B'O
gtx‡•'xv9hqx]^9h]x}^Š
kl x‡†'qŠ
dkx‡^o•q9^o•]9^o•'q9^oq9^o]9^o'q9^ohq9^oh]9
^oh'q9^o†q9^o†]9^o†'qŠ
dtx‡•'qx•q9•'qx•]9qx†q~•q9]x†]~•]9'qx†'q~•'q9
h'qxhq{h]9†qx•q~hq9†]x•]~h]9†'qx•'q~h'q9†'qx
†q{†]Š
 •'OP!A! )$+.3>HA<+E!A!S$
- ˆq9•'qx•q9‡•qxvŠ‰9
- ˆ]9•'qx•]9‡•]xvŠ‰9
- ˆv9h'qxhq{h]9‡h'qxf^Š‰9
- ˆ}9†qx•q~hq9‡†qxf^Š‰9
- ˆy9†]x•]~h]9‡†]xq]^Š‰9
- ˆf9†'qx•'q~h'q9‡†'qxq_^Š‰
II.3.3. •'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 Qhˆq‰hˆ]‰TSSQhˆv‰hˆ}‰T
o hˆq‰x]^

o hˆ]‰x}^
13

o hˆv‰xv^
o hˆ}‰xy^
- P&!+.+.;1M@<1!
o */x‡ˆq‰9ˆ]‰Š
o !% 0hx‡hˆq‰x]^•9hˆ]‰x}^•9hˆv‰x}^•9hˆ}‰x
y^•Š
- PS(3!%
o hˆq‰x]^
o hˆ]‰x}^
o hˆv‰xv^
o hˆ}‰xy^
o ˆj*k9sˆq‰9ˆv‰‰
o ˆj*k9hˆq‰9ˆq‰‰
o ˆj*k9hˆ]‰9ˆq‰‰
o ˆj*k9hˆv‰9ˆ]‰‰
o ˆj*k9hˆ}‰9ˆ]‰‰
o ˆjSSk9ˆq‰9ˆ]‰‰
o ˆjk9hˆq‰9hˆ]‰‰
o ˆjk9hˆv‰9hˆ}‰‰
II.3.3.3. (!%H ;S5P
o F*5PQh}Txpˆq‰hxhˆq‰{hˆ]‰x]^{}^xf^Q•T
o F*5PQh}Txpˆ]‰hxhˆv‰{hˆ}‰x}^{y^x‚^Q•T
o F*  5P  Qh•Txp  ˆv‰hx  Qˆq‰h  ~  ˆ]‰hTŒ
Qˆq‰h{ˆ]‰hT
xQf^~‚^TŒQf^{‚^TxvfQ•TF*5P
Qh]T
o ˆv‰hxvfQ•T

o ˆv‰•x•xvQrTF*!A>
o ˆv‰†xˆv‰h~ˆv‰•xvf~vxq^_QT
o F*5PQh‚Txpˆv‰†xˆq‰†xˆ]‰†Q~T
 ˆv‰†xˆq‰†x  ˆ]‰†  xq^_
QT
o F*5PQh]Txpˆq‰•xxxq9_QrT
o F*5PQhyTxphˆq‰•xhˆ]‰•xˆq‰•xq9_QrT
o F*5PQhvTxphˆ]‰†xhˆ]‰•~hˆ]‰xq9_~}^x•]
14

3. >?$@
15

III. KẾT LUẬN
?2!@+<!"'! !3$97!%G5($/8;<!"
'!1*=71*/!@ !7L@:`a5n#>51S(4$!%!D$
B!%HA71B<!"#$<!"'!
8;?VWX51/8O<!"'! !2"+.'="!>3>71
1!C%&8/!*7L@<A )S0 !OB#$
/8;51L/(!)<!"'! !?+
/8;7L@71!A!P*!A!H>7L@(<!"'!F*
6717!>+8+,#$*+,!8;P!%*7!%
 P71`a5n */S'!Q9]^q^T
8;?VWX7E!L [""95!*9+,/!:
![''1!$4/*'3!`J'(S0 !B.*7!%
!>3>7E!3!!%/2"m1&!+.B*9=.7E!
7!%' $8DCA<1!**1! $9/8;?VWX3'<!"
 !=&!+./&<!"'!+,!Sa'O2"S*<u
16


!€5!F*)/1:$!G5!"/8;=.
7E! !:<!"'!
*B""=71*<1!*O"+,!Sa'O/8;2"!
G$mL [<) *M1:S$**H ;S
5PB* ) !<!"'!2!%HA
?'OSa'O/8;?VWX2"1!<uƒ$7$9?{{9$5F
'1Sa'O*S!7!) *7!%!> !9"!A!H>7L@(
71+$ $!A!UP*D;+.7!><E!!*7!)71G
S!Q9]^q^T
IV. TÀI LIỆU THAM KHẢO
ˆq‰XF?*!]^^_?vbW*e5F'FhF FSF$!*r !‹!!$5•F55FFF
•55/!$F'ƒ*FS$'X$ 5F<5!SF S9•
ˆ]‰ƒ*FS9  Q]^q^T rR!‹!!$5 •F55!FF r SSF/ $ *$ •‹!!
!FF FSS9||?
ˆv‰Q]^^_TFS!F*'R* W*e5F'FX$SFSF/S!s'$!*
†S!?VWXbV‘* 5'r$'F/*R!FF9s!FF !$'F*5*
ˆ}‰Q]^q^T*'F5R* 3*e5F'F<$SF'*R*/$!*$5*<cF
•F $!*$5ƒ* $5*R?*/F !FF•SSFS
ˆy‰Q]^q]T•F55!F *<5F/*57F S!s'$!*FS!F*'
$'r5!$!*S•F
ˆf‰  h*$5'  ƒ  X $/$9  F*  ƒ  |F7FSHF  Q]^^}T  hF FSF$!*  $'
F$S*!s5SF7!F 9•
ˆ•‰!*3*$P5n‚]^^^`<!*O
17