Tiểu luận môn biểu diễn tri thức và suy luận MẠNG NGỮ NGHĨA VÀ BÀI TOÁN HÌNH HỌC PHẲNG




 !"!
#$%
#&''
()*+
,-./
0101234
,/56*
0/78"7""9

 8:3;"7<
=>?=>

I. @ABBCBDEF
1. GDHIAIJK
 !"#$%
"&'"()"%("*+%,#$%-
 ."&/0$+1 ."(
2 34 ."56(7,8"# !
9:7,(;""8,%"#$%
"# !-
< 3,=>"$"+#+756(
"=&+="# !'*( 3,=
?7"@
- A$# ! .
- A$# !B%.
- A$# !'".
C77567$,4D7"E56
$ D7"F$(F 3GH(I%

".J*KD-LB%E*7+=56 3M
N
+%"O9:7"-P#87J
)"% .&,*$% J7-Q%"+7"E5
6RS= !*# !56/S4"#$%
")"%-PT 7+M$(J*U56 3(S
4JV7567V#$%@56#$%W(5
67#$%W(7W+7W-
AMHXEY)JZ(,7[" !'*
*\D"0E"R, =(+7[R,&"
-
A7$,HK !"#% *@
- ]2+2D^&"^,V,-AZ,,*KD !2
+,V,-
- ]2D22^22,B>-AZ,,
*K2D,B>-
C4), 3$%0JZ# !_]2+`J# !_V,`
 YH)JZ,a"6 !# !_]2+`,$
%_,`+=# !_V,`-
V
A .+= 3!E# !_]2D`+# !_]B>
`-
2. ILIMDNOM?FAMPNQRAMPSAK@ABABCABDEF
P.J*K"7%?7D7"Kb.
S?7 =*@
• cM7"8R7/9"8R,"6:
• <J8 a"6#+=8)"9#$%:-Q
7,,d8Ra"628,1 !a"6-eB =K
7J)a"6 !HS"8-
eKb)M79 ."F)J" =

$)J("/)9 !:7B9!:(
"2F)J !G/>"RD!"5+=)M
790+07:+*,BB"Kb9*?:0J)M7"
0J?7$J5-A7)M7Kb"R !)M7+
" )M7 ! +7+%FKb0J?7!O
.-
eKb)M7 !&7K*H0(>+%*U
E =%7"%+"Z,7+fS,-
P756, = !%gS7?h i(j)M7$J
"6khi*#>7)7Shl-l -li()h(mi*\)Jj+=57?hi
+=0$7?hmi-j$)J,X*#nh(mi 3*#>
7RKhl-l -li-
P"*#@
• < o)M7p*#>7)7Shl-l -li-
• qJ#*KJC9C?Kr7:*#>7)7Shl-l( (-li-
H>TUV>MDW>DIJAMDNOMM!HA/
s
• cg756(BHS")M7"6khitl(JD7B$
"#)M7"6/=. op-u"6)g7
 3-
• L#+=j7?hi  !)M7756,)M7khi=.
"67? o)M7p-
• L#+=je)h(mi)J#7?hi+=0$7?hmi(b8@
o khmitkhmi^9khivwh(mivC:7,CKJ#*KJ-
• <JD !0$b8"6)M7E,*\+ !"
-l(*,B"6)M7=E,-l-A . +DK(K2l-l 
"6)M7H.("0$E,*\D !"
6b8a# =l-l-
• cR)M7,,)M7/(B4"JE
D7".S7[x+%BB++;56-

• P"D !"6)M7=,+ !" o)M7p !"
H)M7+72)M70J?7-
• <J)M7G5Zb.(JED7"*\7[
"H")M7Ry%+="7 3  !)M
7$56-
• AEH&)7),$")M77 3
!"H%KZb5#(),b.7 3aH
"Z-P"J*U7D7"7[B(B7B*
S7B;)M7756(H&*)")M7
'6(#+=*# 3( !=(7B*#/B+ !"&#-
3. NADUX>YIZK
NYIZK/
• H(,$+7"87B='
*"&/J
z
• ,Y7$H
• 7["8,)JZ"YHZ"8)"
"7_{Z,,7"$)J_/`8
),$)J0J+=-
• 7)"$?7"&7 3D
0-
DUX>YIZK/
• Q| ,}7K6"=7"8+E-
Lb,5+= 34,GH)~)"%7787B
-
• AMZ)J7,|J)Sfy}&
AK)#+=7 3 ) +7
"KY("# !+#$% 3 ! =
"Z9 +6Z:-].("7"F)J$ 3
),)f9B%#+=,)M ==:-C7,(2

 !4EKJyY+Hb-
II. 'AB[=ABK@ABABCABDEFBILIT\IM!HAD]ADD^>_D`AB
1. \IM!HAaRMFKBIH>
a) 0b?UX>
P,KJ#$J+,E"-La"6"2S,
NKJ#-A7,S,KJ#-< +DK,)7S+"ayKK
a"6"-A?7#)$2,)7S$ll&$J
+,E"-
LS7"K>(S*U)7Sll8&
&+)7S8&"KJ#E"-77"K
,H *@
•
L8E56757@
dL8&&9)O%>2D:-
dL8&"KJ#"9)O%>2;:-
P@8#Z82;J82D7JKJ#"aH%
7&79), 3!#82;K#
82D:-
ve O@7&$%KJ#E"(S6>JRJ
"6EdKJ#2*\Y !"6EKJ#;-PT 7
&'N,E">€l
l
2)J !,(*\Y !,;-
b) b>DcMDW>DIJA
P.J*K%?7D7"WKbW !S.S *@
UV>7/cM782;R7/9"# $%&':
UV>;/eB =*7J))M7 !HS8&+=KJ
#/Y7B))M7 !H)~87-
€
<J82D,#+=A82;A 782;R !

)M72)M782;;9('%)*+#,- ,
.%)/"0:-
Ví dụ cho hai góc α, β và chiều dài cạnh a của tam giác. Tính chiều dài đường cao
hC, với mạng ngữ nghĩa đã cho trong hình trên, các bước thi hành của thuật toán như
sau:
Bắt đầu: đỉnh α, β, a của đồ thị được kích hoạt.
- Công thức (1) được kích hoạt (vì α, β,a được kích hoạt). Từ công thức (1)
tính được cạnh b. Đỉnh b được kích hoạt.
- Công thức (4) được kích hoạt (vì α, β). Từ công thức (4) tính được góc δ
- Công thức (2) được kích hoạt (vì 3 đỉnh β,δ,b được kích hoạt). Từ công thức
(2) tính được cạnh c. Đỉnh c được kích hoạt.
- Công thức (3) được kích hoạt (vì 3 đỉnh a, b, c được kích hoạt) . Từ công thức
(3) tính được diện tích S. Đỉnh S được kích hoạt.
- Công thức (5) được kích hoạt (vì 2 đỉnh S, c được kích hoạt). Từ công thức (5)
tính được h
c
. Đỉnh h
c
được kích hoạt.
- Giá trị h
c
đã được tính.
c) NHMP]ADdeQ[WABBILIMDNOM
 5H>YfADMDgABhA
•["k‚P+="0 ! *@
• L# !@
N,ƒt‚kP(„tk‚P(…tkP‚
†
N((
o N 37







o N 3KJ





o P+1
o C%Y2
• #$%@
o A'N,345467
π
o P+178997
1
2
:44
o C%Y27
1
2


7
1
2



7
1
2


o <U+97
1
2
:44
o C%Y27
( )( )( )P P a P b P c− − −

e$%,+
sin
a
α
t
sin
b
β
t
sin
c
δ
 D^A?^>MDgABhA/
A7"0RHg"7"$,HK*#0Z
)/J @N 3KJ






g7""
Q="0K%#)6HMa" *\7#*K
DS-QDK$/ !7x-
 IZN[IiAMDgABhAMPSAK@ABABCABDEF/
l
A7$(";67"# !E7"+"
+%#%"# !-
2. \IM!HAD]ADMDFAB
 5H>YfADMDgABhA/
•[2k‚PC

Aa"6 !"0 $ =@
• L# !@
V,ƒtCk‚(„tk‚P(…t‚PC(‡tPCk
P(((
Pb7
]7E

+

C%Yˆ
P+P
• #$%@
P,(*7*7
A'",ƒ^„^…^‡t‰
PbtŠ9


^

:
PbtPŠ9^^:
Pbt
2S
h
d
PbtPŠ9^^:

Pbt
h
sin
δ
PbtPŠ9^^:
Pbt
2S
h
d
PbtPŠ9^^:
Pbt
h
sin
γ
u,‡t*9
h
d
:
u,‡t‰Š9ƒ^„^…:
u,…t*9

h
b
:
u,…t‰Š9ƒ^„^‡:
u,ƒt
2
π
^*9
2 2
d h
d
−
:
u,ƒt‰Š9…^„^‡:
u,„t
2
π
^*9
2 2
b h
b
−
:
u,„t‰Š9…^ƒ^‡:
C%Yˆt-^
1
2

2 2
d h

−
^
1
2

2 2
b h
−
N
P+Pt^^^
 D^A?^>MDgABhA/
A7S$g$,HK"0+b

+

 Z(+2
)/J7+%Y7"""6;-
A0+b*7*7()7+%Y7"-
<0K, !x7*.577"2
K-
 IZN[IiAMDgABhAMPSAK@ABABCABDEF/
V
3. jMklMPUmABDX_nDH>
a) FKBIH>>eA
A"y9)HY'"(S*U>eAM@I:","Y
H*yK@


@ t



@ βtγ

N
@ 

t


V
@ 

t


s
@ 

t


z
@ 

t


•
@ 


t


€
@ 

t

<7(*#%7", !+J *@
r

@ α^βtπ 9:-
r

@ 

t

-9d7*α:
r
N
@ t--7*β
r
V
@ t--7*γ
r

@ -t^
r
•

@ ˆt

-*α‹
r
z
@ V-


tV-

d

r
•
@ V-


t-

^

r
€
@ V-


t-

^


s
r
†
@ 

t
p.(p a)−
r
N
@ Œt
a.
b
4.S
2
r
Nz
@ V-Œt

^-

d
b) FKBIH>aNgAB
cHY'"(S*U"+,>@ADDNQRA?\F-< J(7
%&RJ7",;,@


@ αtπ‹ 9αRa"6:
<7*#%, !+J *@
r


@ β^γtπ‹ 9:-
r

@ 

t

^

96O•7:
r
N
@ t-7*β
r
V
@ t-7*γ
r
s
@ t-*β
r
•
@ t-*γ
r
€
@ t-Œ
r
•
@ ˆt-‹
r
N

@ 

t
r
s
@ 

t
r
z
@ -

t
r
•
@ V-


t

^V-

z
r
€
@ V-


t


^V-

c) FKBIH>aNgAB>eA
A"+y9+="K"y:",@


@ t(


@ αtπ‹-
<7*#9,:%7", !KJg,
%)",%S.7+%*U-
P"%Zr

Jr
l
 !KJg"%*@
r

@ βtπ‹V 9:
r

@ γtπ‹V 9:
r
N
@ t
2
r
V
@ t

2
r
s
@ t-Œ
P"%Zr

Jr
s
 !KJg"%*@
r

@ -t9^
2
:
r

@ 

t‹
r
N
@ 

t
r
V
@ 

t
r

s
@ ˆt

‹V
r
z
@ ˆt

‹
r
•
@ ˆt

‹
•
r
€
@ ˆt-
P"%Zr
z
Jr
€
 !KJg"%*@
r
z
@ 

t‹
r
•

@ V-


ts

‹
r
€
@ 

t

Ž%r
†
Jr
N
 !KJg@
r
†
@ 

t‹
r
Nl
@ 

t
2 2 1( )
−
r

N
@ 

t

d) FKBIH>YRN
A"b",@


@ t


@ t
AHS"%Zr

Jr
Nz
, !KJg"%*@
r

@ αtπ‹N 9:
r

@ βtπ‹N 9:
r
N
@ γtπ‹N 9:
r
V
@ Œt

a 3
3
r
s
@ t
3a
2
€
r
z
@ ˆt
2
a
3
4
r
•
@ 

t
a 3
2
r
€
@ 

t

r
†

@ 

t

r
l
@ 

t
a 3
2
r

@ 

t

r

@ 

t

r
N
@ 

t
a 3
2

r
V
@ 

t

r
s
@ 

t

r
z
@ t
a 3
6
r
•
@ 

t
a 3
2
r
€
@ 

t


r
†
@ 

t

†
e) oBIH>?pI
QbBY7"(,a?&"Y7"9K# !Y
7":75"JD"6E"KJ#7"(+"%"
&%#$%Y7""KJ#,-
AD"J 3 !a?a[7&"5@
- (((@NE"-
- k(‚(P(C@V,7E&"-
- kP(‚C@ 3[7E&"-
- ˆ@%Y&"-
- @+E&"-
- Œ@")M 3;70J&"9J,:-
- @")M 3;0J&"9J,:-
P"%&.S"KJ#E&"@
r

@ k^‚^P^Ctπ
r

@ t^^^
r
N
@ -ˆt--*k^--*P
r

V
@ -ˆt--*‚^--*C
l
f) ]ADT]ADD\AD
]22&",$"YH*@


@ t


@ t
AZ,HS"%7&"2 3, !KJg

N
@ ktP

V
@ ‚tC

s
@ k^‚tπ

z
@ P^Ctπ

•
@ t-9^:

€
@ ˆt--*k


†
@ ˆt--*‚
;<@A7$)J&"9)O%•

:+=V" .&9)O%•

(•
N
(•
V
(•
s
:(
2#+=22;,"%*yK@
•

-

t•

-kP‹‹‹KJ"k‚CtU 3[7kP
•
N
-

t•

-kP‹‹‹KJ"P‚CtU 3[7kP
•

V
-

t•

-‚C‹‹‹KJ"‚kPtU 3[7‚C
•
s
-

t•

-‚C‹‹‹KJ"CkPtU 3[7‚C

g) ]ADMD!I
]27&",V>-AZ,(AHS"%"KJ#7
&"2 3*\ !KJg"%*yK@
r

@ t
r

@ t
r
N
@ t
r
V
@ t
r

s
@ ktP
r
z
@ ‚tC
r
•
@ k^‚tπ
r
€
@ P^Ctπ
r
†
@ ˆt

-*k
r
l
@ ˆt

-*‚
r

@ ˆt

-*P
r

@ ˆt


-*C
r
N
@ ˆtkP-‚C‹
r
V
@ tV-

<7(V"$)J+=27b"y+1,"%
 . #22@
•

-

t•

-kP‹‹‹KJ"k‚CtU 3[7kP
•
N
-

t•

-kP‹‹‹KJ"P‚CtU 3[7kP
•
V
-

t•


-‚C‹‹‹KJ"‚kPtU 3[7‚C
•
s
-

t•

-‚C‹‹‹KJ"CkPtU 3[7‚C
]27;,+;;0J+ 37-uX")M+;;0J
( 37(,"%&@
r
s
@ t-
r
z
@ ˆt-
u7%C?7
•$"
N
A%)S7
q7r •uˆ-AˆLjQf<.(A%SKK$b‚&+&(lldl-
q;r •uˆ-AˆLjQf<.(7?r7c7n??‚*?*7rP707•m?*(ll
q8r •uˆ-AˆLjQf<.(P707<?n7)*r7c7n??Œ??*?07(ll†-
q<r hVi-<KAAEK-=> ?@AB- #C%DE 0FGH
-<aHS)7X+)‘D(†††-
qsr hsi-uˆ-Aˆc]]7cJ(AˆLj•(AˆLjQf<.-;/A.-<
aHSL]XŽ#uA•]5PM(ll†-
q9r hzi-uˆ-Aˆc]-]7cJ(A*L<KkC1-;/=>= I?=+LX
%0(ll•-
V