XÂY DỰNG HỆ GIẢI BÀI TOÁN THÔNG MINH VỀ HÌNH HỌC KHÔNG GIAN VỚI MÔ HÌNH COKB VÀ ỨNG DỤNG GIẢI BÀI TOÁN TAM GIÁC

GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
LỜI GIỚI THIỆU

 !"#$%&'$ (')&*+
,&''&-./*01$2&-3(4
.5$607$$,61.5$.898
6)76:;".70.
<47=">.)?+5
.8@<,A:B')
6'7/$</<6.)
$</<1$3"/.CDE$
</<6&F0!G!<!!H8I"!$0J<!!8G!KL0M!
KL0G!<!0G!<!N0G!8$O0))P0GMQRKL$</<.
$7STE5$6&U$!0U!<)V4$</<
CVJGJPWXY<7C,8Z0+.0&T[F
$</<STC!DF&')
\?<]7/7E,4608C%
8C$^<$</<ST"FC6
FC_.8&$</<U<4&*+
3+@Y#<]Y<`0&$</<7&T
 <a$"7FC )
U6(/5$65<+bcV d
0&EF e+.")U+
&T"7"C25$5&Fd86<,Z&T
<'EZ&T]78f*8`g<`45$>
05$505$<)
R,</(/5$"_<6</"
+."FY<$"/h<0 <0&-
i0<[$i)
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
Ujkj

GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
XÂY DỰNG HỆ GIẢI BÀI TOÁN THÔNG MINH VỀ
HÌNH HỌC KHÔNG GIAN VỚI MÔ HÌNH COKB VÀ
ỨNG DỤNG GIẢI BÀI TOÁN TAM GIÁC
CHƯƠNG 1: MÔ HÌNH COKB
&*+F/<+&T8_<*8`A0
<+bcV)
1.1 Mô hình một đối tượng tính toán
U4 Z &T3 <9bFl!<$Fl! 7 &T<
+7F`<4F4Y<m$h
J80n0n80P!8
7hJ85$T$43(Z&T0n5$T$>
8e30n85$T$38;"Z7(Z
&T0P!85$T$58e68;"6>
43o&6>FCpZ&T)
?3hV e/<Fq<+<,Z&T&T<
C&8h
J8rsJ0V000F00P0I0$0)))t5$T$E43(<0
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 3
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
nrsJuVurπg g g g g g
)))t0
n8rsuFvguvFgFuvgwt0
P!8 rssvFt ⇔ sJvVtgsFvt ⇔ sVvtgsvt ⇔ svJtgsrFt ⇔ sJrVtg 
sxyrFxyuxyt⇒sJr$zyt0sJr$zyt⇒sxyrFxyuxy0F⊥t0)))t)
1.2 Định nghĩa mô hình COKB
U4 < +       <9bFl!    {    <  +  bcV9
<$bFl!8cN!!V8!<4ZY<|$h
(C, H, R, Ops, Funcs, Rules)
7h

o <45$T$"</<9bFl!
o <45$T$>$p$E,Z&T
o P5$T$"</,>6<9bFl!
o b$8<45$T$_
o n8<45$T$<
o P!85$T$5&T$p'$
1.2.1 Tập hợp C các khái niệm về các C-Object.
"<&T%p;;6Z&T)US"<<4
'$Z&T371#&T$p$!8;
5$(1Z&T0FY<h
- Các đối tượng (hay khái niệm) nền: kZ&T"<
&T<[6D5)?3h&<48ZZ&T" F!0
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 4
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
8Z;608Z6!!08Z;!05$T$8!0
88<48Z" ;#:)
- Các đối tượng cơ bản (hay khái niệm) cơ bản cấp 0:71S
[715$6<48Z43" "</hZ
&T"<</Z&T"<$
*)?3hZ&TLWMU7" <C"715$)
- Các đối tượng (hay khái niệm) cấp 1:Z&Ta74
3" "</7 &T5$6<48/
Z&T*FC)?3hZ&TLbJ}J0V~7J0VZ&T
*FC,LWMU043F #4,i7" &*
•!€)
- Các đối tượng (hay khái niệm) cấp 2:Z&T743
" "</43,Z&T$•07 &T
5$  6  <4    8  /    Z  &T  *  FC)  ?3  h  Z  &T
JUGWJ}J0V0~7J0V0Z&T*FC,LWMU04
3&GJ00I7" &*•Gb}0J0V~€0•LbJ}V0~€0•!€)

- Các đối tượng (hay khái niệm) cấp n >0:Z&T74
3" "</43,Z&T$$*07
&T5$6<48/Z&T$$*)
• Cấu trúc bên trong của mỗi lớp đối tượng
- c Z&Thc 7 " 5$6<48/
Z&T$$*)
- L843(Z&ThUS437" ;0" Z
&T*FC" Z&T$$*)Rp<y,5$
435$(Z&T5$43"=.5$
43)
- 5$T$/"F4643)
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 5
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
- 5$T$34,8;"Z76>43
(Z&T)
- 5$T$>8e93643(Z&T)
> 58e$‚$7 3
<4<48Z43D43"(Z&T)
- 5$T$58e6,8;""6>
43(Z&TFCpZ&T)US58e7,h
s8;"Ct⇒s8;""5t)
1.2.2 Tập hợp H các quan hệ phân cấp giữa các loại đối tượng.
5$07><!77 7E"<8;[
F(E"<")7 70<4F Y88!6"
%!<>$p$<4>;6)
1(<4>$p$h
}ƒ6'$Z&T$v0ƒ6'$Z&T$$v~
1.2.3 Tập hợp R các khái niệm về các loại quan hệ trên các C-Object.
US>&T%#F`6>8,Z&T
(>)„Z'>yK+>7 73&

3$C%,03$C%03Z%3F{)
1(<4>h
}ƒ6>v0ƒ,Z&Tv0ƒ,Z&Tv0w~0sƒ3v0ƒ
3vt)
1.2.4 Tập hợp Ops các toán tử.
_ >{3#6F;o
&6Z&T)i,&$‚$8Z.0$‚$3
6Z&T,07&*;&Z'F;$‚$3
!03<50w&-T$$‚$y+$‚$
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 6
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
7 73&303"T$03#C03
)
1.2.5 Tập hợp Funcs các hàm
5$T$n8<+bcV /<7
" /"<>{36F
;o&6,9bFl!0&T%p;>>3
,<)US<&T%#F`ƒ6<v08Z8Z<4
>{#:</$&*.)
1.2.6 Tập hợp Rules các luật
US5<4>{85 8;"<'D8;"
7/<[17Y<y$3h$C$"
5/5$T$8;"6Z&T#h
Phs8"
•
08"
y
0w08"

trvs8"

•
08"
y
0w08"
<
t
1(<45h
}c0V8b0$80G80~
7h
− ch,5)
− V8!bh5$Z&T*FC)
− $8h5$8;"C(<45)
− G8h5$8;""5(<45)
„ <+5…67;*8` 7 "C8
5C C>F0#:,8;""
5)L&'p#:••,8;""&T
%!<%‚<+h
 ,8;"h
}•~ I;"/,(Z&T)
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 7
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
18;"h}ƒFl!v0ƒ,Fl!v~I;"/3%#(<4
Z&T(<443)
18;"hƒFl!vƒFl!v)ƒ43v
}y~ I;"/3%#(<4Z&T(<443)
18;"hƒFl!v0ƒFl!v)ƒ43v
}K~ I;"/3%#(<443<4Z&T>
<4F q)
18;"hƒFl!vrƒF qv
ƒFl!v)ƒ43vrƒF qv)

}m~ I;"/8;FqE<4Z&T<443'<4Z
&T<443")
18;"h
ƒFl!v†ƒFl!v)ƒ43vrƒFl!v†ƒFl!v)ƒ43v)
}‡~ I;"/8;$4(<4Z&T<443!
EZ&T43"><43)
18;"h
ƒFl!vrƒF !Fl!43"v
ƒFl!v)ƒ43vrƒF !Fl!43"v
}|~ I;"/<4>6Z&T643(
Z&T)
18;"h}ƒ6>v0ƒFl!•v0ƒFl!yv0w~
}ˆ~ I;"/3%#(<4<)
18;"hƒ<v
}‰~ I;"/3%#(<4<><4F q)
18;"hƒ<vrƒF qv
}Š~ I;"/8;FqE<4Z&T'<4<)
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 8
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
18;"hƒZ&Tvrƒ<v
}•‹~ I;"/8;Fq(<4<'<4<")
18;"hƒ<vrƒ<v
}••~ I;"/8;$4(<4<!<Z&T"
><43)
18;"hƒ<vrƒF !<Z&Tv
1.3 Tổ chức cơ sở tri thức
1.3.1 Các thành phần
*8`/9bFl!!<+bcV7 &TdF`<4
Z5$2 FC71 $<+
)7 "Z5$Y<E5$&8h

o 5$•bFl!8)%€&E#6."
</,Z&T9bFl!)
o 5$•P!8)%€&E/,>"
6,9bFl!)
o 5$•!)%€&,F Y88! >
$p$[F76"<)
o 5$'65$7,•ƒ6"<<9bFl!v)%€
 &E1(,Z&Tƒ6"<<9bFl!v)
o 5$•b$!8)%€&E/_6
Z&T)
o 5$•L!Œ!9b$!8)%€&E#:/_6
Z&T)
o 5$•n8)%€&E<)
o 5$•L!Œ!9n8)%€&E#:<)
o 5$•n8)%€&E/,8;"")
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 9
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
o 5$•P!8)%€&E5(*8`)
1.3.2 Cấu trúc của các tập tin lưu trữ các thành phần COKB
5$&E$`8`<9bFl!&T
&',2FC71;6<48ZD"7>&'/1
$$"*C;6)L&'p$"61(5$h
- 15$•bFl!8)%€
begin_Objects
ƒ6'$Z&T•v
ƒ6'$Z&Tyv
end_Objects
- 15$•!8)%€
begin_Relations
}ƒ6>v0ƒ,Z&Tv0ƒ,Z&Tv0)))~0

{ƒ3v0ƒ3v0)))}
}ƒ6>v0ƒ,Z&Tv0ƒ,Z&Tv0)))~0
}ƒ3v0ƒ3v0)))}
)))
end_Relations
- 15$•ƒ6"<9bFl!v)%€
begin_objecthƒ6"<9bFl!v}Z&T/~
ƒZ&T/vhƒ" vg
)))
begin_variables
ƒ643vhƒ" vg
)))
end_variables
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 10
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
begin_constraints
)))
end_constraints
begin_properties
ƒ8;"v
)))
end_properties
begin_computation_relations
begin_relation
Œrƒ‹[•v
U•rs43t
•r•
•rs43">CŒr‹t
!%$•rŽF 3Ž
8rƒ.8Z(8;3v

end_relation
)))
end_computation_relations
begin_rules
begin_rule
"•!r•ƒ,5v•g
hypothesis_part:
s8;"C(5t
goal_part:
s8;""5(5[•bFl!•t
end_rule
)))
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 11
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
end_rules
end_object
begin_inside_net
$<!!8h)))
Fl!8h
)))
•8h
)))
end_inside_net
- 15$•!8)%€
begin_rules
begin_rule
"•!r•ƒ,5v•g
ƒ6Z&Tvhƒ" Z&Tvg
)))
hypothesis_part:

s8;"C(5t
goal_part:
s8;""5(5[•bFl!•t
end_rule
)))
end_rules
1.4 Mô hình bài toán
1.4.1 Mô hình mạng các đối tượng tính toán
U+<,Z&T3Y<y$h
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 12
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
brsb
•
0b
y
0)))0b

t0
nrs•
•
0•
y
0)))0•
<
t0
7h
- b<45$T$Z&T<9bFl!*FC
-
n5$T$8;";6Z&T
1.4.2 Mô hình bài toán

L;66F 7 /%<+F
d>6<+bcV;6<+<,Z&T
3Y<$&8h
(O, M, F, Facts, FFacts), Goal
7h
o b5$Z&T3F0
o U5$43(Z&T&T/5$'F
0
o n5$<&T/5$F0
o n85$8;"4|.}•~9}|~0
o nn85$8;"4."6>
<)
o G<66(F)
?3hX‚F8ph
?$&*+&-i> <&-iy%uˆ‘‰
r‹gK%uyu‡r‹T$'&-ihy%uK9ˆr‹<47m‡
‹
)
V7 &T<+7!<+6&8h
bhrsh&-i0•h&-i0yh&-i0
Kh&-i0Jh <t
Uhrs)$0•)$0y)$0K)$t
nhrsGi0i0GL!<i0it
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 13
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
n8hrs)$hy%uK9ˆr‹0
•)$hy%uˆ‘‰r‹0
y)$hK%uyu‡r‹0
J•4€Kt
nn8hrsG0Krm‡0

JrGL!<•0yt
Ghr}K~
1.4.3 Đặc tả bài toán
„ 7 "$$$‚$5$FZC
F<4,$6;07<4E
>&' [CF)<+FE>&' [C
F'638h
- 3*C)
- 3;6)
- 3)
- cC2[CZ)
Z8@$y [CFh
„/F7 &T&',<45$2FC71;6
<4  8Z  D  "  &h begin_exercise0 end_exercise0 begin_hypothesis0
end_hypothesis0 parameters0 end_parameters0 objects0 end_object0 facts0
end_facts0functions0end_functions0goals0end_goalsB'<48Z>&'
"F<F0Z&T08;"0<06(F
)
1(/FF7,&8h
begin_exercise
"•!%r€w)€
zzRC(F
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 14
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
begin_hypothesis
parameters:
ƒ<Fv
end_parameters
objects:
ƒ]6Z&Tvhƒ" Z&Tv

wwww
end_objects
facts:
ƒ8;"C,}•~‘}|~v
www))
end_facts
functions:
ƒ8;"C,ˆ‘••6><v
wwww))
end_functions
end_hypothesis
zzR"5•<6(F
begin_goal
}ƒ8;"<6v~
end_goal
end_exercise
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 15
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
CHƯƠNG 2: ỨNG DỤNG BIỂU DIỄN TRI THỨC
CHO HỆ GIẢI BÀI TOÁN THÔNG MINH VỀ HÌNH
HỌC GIẢI TÍCH
2.1 Mô hình tri thức về Hình học giải tích
Xp;<+;6<+bcV1.Y<‡$h
(C, H, Funcs, R, Rules)
U+/+.C3a8_ˆ,8;"(<
+bcV|$) &8h
,8;"h
}•~ I;"/,(Z&T)
18;"hƒ,Fl!vƒFl!v
?3h<JV0L0URR)

}y~ I;"/3%#(<4Z&T(<443)
18;"hƒFl!vƒFl!v)ƒ43v
?3h<J0V00URJ0V0)
}K~ I;"/8;FqE<4Z&T<443'
<4Z&T<443")
18;"h
ƒFl!v†ƒFl!v)ƒ43vrƒFl!v†ƒFl!v)ƒ43v
?3hb•rURJ0V0
}m~ I;"/<4>6Z&T643(
Z&T)
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 16
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
18;"h}ƒ6>v0ƒFl!•v0ƒFl!yv0w~
?3h}•€0U0~
}‡~ I;"/3%#(<4<)
18;"hƒ<v
?3hGL!<•0y
}|~ I;"/8;FqE<4Z&T'<4<)
18;"hƒZ&Tvrƒ<v
?3h’rGL!<•0y
}ˆ~ I;"/8;Fq(<4<'<4<")
18;"hƒ<vrƒ<v
?3hGL!<R0rG!“0
2.1.1 Tập C các khái niệm về các đối tượng tính toán
5$"<FY<•„ <€0•„&-i€0•<€0•GkY€0
•+V+€0•U[Ri€0•L€0•+7$€)7h
- •„ <€0•„&-i€0•U[Ri€<4,Z&T*FC$‹7
1S)
- •<€0•Gk€0•+F+€0•L€0•+7$€,Z
&T$•&T5$D8/Z&T*FC" 

•„ <€)
2.1.2 Tập các quan hệ R trên các đối tượng
US>&T%#F`ƒ6>v,Z&T(>
>7 7<48Z338ph3$C
%,03Z%3F{)?3<48Z>8h
- “4E<4 <<4&-i
o }•€0L!<0L~
- “•II€E&-i&-i
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 17
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
o }•II€0L0L~s•Z%€t
- “•q<€E<4 <<4<
o }•<€0L!<0<G~
2.1.3 Tập hợp Hierarchy
5$T$!Y<>$p$8h
}•V•0•Gk•~
2.1.4 Tập hợp hàm
5$T$<Y<<8h
- <+<(<[$i
o G!UR0URs•%•t
- <3GL!<E&-i<[$i
o GL!<L0URs•%•t
- <3 <E&-i
o GL!<L0Ls•%•t
2.1.5 Tập hợp các luật
30</0#A”•c–GGWJ/7
 &TF e&',5…68;"0>6>
<9bFl!"F5$)L&'p<48Z5… h
- sUh•„ <€0•h•„&-i€0Rh•U[Ri€0U•4€•0U•4€R0
••{€RtsUrGL!<•0Rt

- sUh •„ <€0 •h •„&- i€0 yh •„&- i€0 U •4€ •0 U
•4€y0••{€ytsUrGL!<•0yt
- sJh„ <0h„&-i0RhU[Ri0J•4€0•4€RtsJ
•4€Rt
2.2 Tổ chức lưu trữ
*8`/+."&T&E61E(
EU$!g;6$&*d&E(<+bcV)
Y<5$8h
- 5$cV)<$&E1(F4)
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 18
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
- 5$bFl!8)<$&E"<1(Z&T9
bFl!&L!<0L0UR0<G0L!0$
- 5$!)<$&,F Y88! >$p$[
F76"<)?3h•V•—•Gk•+
F+[F7(Y
- 5$P!8)<$&E/,>E,9bFl!
&  }••0  •L!<•0  •L•~0  }••0  •L!<•0  •L!<•0
•L!<•~
- 5$n8)<$&E<&GL!<)
- 5$P!8)<$&E5(*8`)
2.2.1 Cấu trúc của cơ sở tri thức trong tập KB.mpl
KB := Record(
Objects = $include "Objects.mpl",
Hierarchy = $include "Hierarchy.mpl",
Relations = $include "Relations.mpl",
Functions = $include "Functions.mpl",
Rules = $include "Rules.mpl")
2.2.2 Nội dung tập tin Objects.mpl
!$8rF!}

"Diem"rQkk0
"DuongThang" rQkk0
"MatPhang" rQkk0
˜<[$i
"TamGiac"r<!
!%$
IFbFl!hr}
}•J0•L!<•~0
}•V0•L!<•~0
}•0•L!<•~~g
!<!0
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 19
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
"TuGiacLoi"r<!
!%$
IFbFl!hr}
}•J0•L!<•~0
}•V0•L!<•~0
}•0•L!<•~0
}•L0•L!<•~~g
!<!0
"HinhBinhHanh"r<!
!%$
R$!!8hr}
}•II•0L}•J0•V~0L}•0•L~~0
}•II•0L}•J0•L~0L}•V0•~~~g
!<!0
˜"
"HinhChop"r<!
!%$

IFbFl!8hr}
}•I0•L!<•~
˜
}•J0•L!<•~0
}•V0•L!<•~0
}•0•L!<•~0
}•L0•L!<•~~0
˜
˜JVL$
˜JVL
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 20
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
˜I"<$JVL
!<!0
"TuDien"r<!
!%$
IFbFl!hr}
}•J0•L!<•~0
}•V0•L!<•~0
}•0•L!<•~0
}•L0•L!<•~~g
!<!
~g
2.2.3 Nội dung tập tin Functions.mpl
Functions := [
# Diem GiaoDiem(DuongThang,MatPhang)
!
P!r•L!<•0
<!nr•GL!<•0
Rr}•L•0•UR•~0

I<<!r!0
# Diem GiaoDiem(DuongThang,DuongThang)
!
P!r•L!<•0
<!nr•GL!<•0
Rr}•L•0•L•~0
I<<!r!0
# Duong GiaoTuyen(MatPhang, MatPhang)
!
P!r•L•0
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 21
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
<!nr•G!•0
Rr}•UR•0•UR•~0
I<<!r!
~g
2.2.4 Nội dung tập tin Hierarchy.mpl
!hr}
}•V•0•Gk•~
~g
2.2.5 Nội dung tập tin Relations.mpl
P!8hr}
# Quan hệ Xác định
}•XL•0•L!<•~0
}•XL•0•L•~0
}•XL•0•UR•~0
# Quan hệ Thuộc
}••0•L!<•0•L•~0
}••0•L!<•0•UR•~0
}••0•L•0•UR•~0

}•c•0•L!<•0•L•~0
}•c•0•L!<•0•UR•~0
}•c•0•L•0•UR•~0
# Quan hệ Thẳng Hàng
}••0•L!<•0•L!<•0•L!<•~0˜%
}•c•0•L!<•0•L!<•0•L!<•~0˜%
# Quan hệ Đồng phẳng
}•cLR•0•L!<•0•L!<•0•L!<•~
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 22
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
}•LR•0•L!<•0•L!<•0•L!<•~
}•<G•0•L!<•0•L!<•0•L!<•~
# Vị trí tương đối giữa hai Đường phẳng
}••0•L•0•L•~
}•II•0•L•0•L•~
}•!•0•L•0•L•~
# Vị trí tương đối giữa hai Mặt phẳng
}••0•UR•0•UR•~
}•II•0•UR•0•UR•~
# Vị trí tương đối giữĐường thẳng và Mặt phẳng
}••0•L•0•UR•~
}•II•0•L•0•UR•~
# Vị trí tương đối giữa Điểm và Tam Giác
}•<•0•L!<•0•<G•~0
}•<•0•L!<•0•<G•~
~g
2.2.6 Nội dung tập tin Rules.mpl
Rules := [
# Luật xác định
# Rule Xac dinh Diem

# Giao diem 2 duong thang
#Xacdinh(d1), Xacdinh(d2), Giaodiem(d1,d2,A) SuyRa
Xacdinh(A)
P!
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 23
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
<!P!r•k%L!<•0
bFl!8r}
L!<•J0
L••0
L•y
~0
$!88r}
}•XL•0••~0
}•XL•0•y~0
•JrGL!<••0•y~0
Gr}
}•XL•0•J~~
0
# Rule Xác định mặt phẳng
#Rule 1
# 3 điểm không thẳng hàng trong mặt phẳng (bỏ được bởi
luật trên)
P!
<!P!r•k%UR•0
bFl!8r}
L!<•J0
L!<•V0
L!<•
~0

$!88r}
}•XL•0•J~0
HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 24
GIÁO VIÊN HƯỚNG DẪN: PGS.TS. ĐỖ VĂN NHƠN
}•XL•0•V~0
}•XL•0•~0
}•c•0•J0•V0•~~0
Gr}
}•XL•0UR•J0•V0•~~
0
# Rule 2
# 1 điểm A và 1 đường thẳng d (A Khong Thuoc d)
P!
<!P!r•k%UR•0
bFl!8r}
L•0
L!<•L
~0
$!88r}
}•XL•0•~0
}•XL•0•L~0
}•c•0•L0•~~0
Gr}
}•XL•0UR•0•L~~
0
# Rule 3
# Xac dinh (P) song song (Q) va A thuoc (P)
# Xacdinh((P1), Xacdinh(A), SongSong((P1),(P2)), A Thuoc
(P2) SuyRa Xacdinh((P2))
P!

HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 25