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 [...]... của bài toán begin_goal [] 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 Xây dựng mô hình dựa trên mô hình tri thức COKB rút gọn gồm 5 thành phần: (C, H, Funcs, R, Rules) Mô hình. .. nghiên cứu các bài toán cụ thể ta có thể đề xuất mô hình bài toán tổng quát trên mô hình tri thức COKB dựa trên mô hình mạng các đối tượng tính toán gồm các thành phần như sau: (O, M, F, Facts, FFacts), Goal Trong đó: o O là tập các đối tượng tính toán trong bài toán, o M là tập các thuộc tính của các đối tượng được đề cập tới trong bài toán, o F là tập các hàm được đề cập trong bài toán, o Facts là... có thể đề xuất mô hình bài toán tổng quát trên mô hình tri thức COKB gồm các thành phần như sau: Ví dụ: Cho 4 điểm , , , không thẳng hàng Trong đoạn thẳng , , lấy các điểm , , sao cho đường thẳng cắt , cắt và cắt - Tìm giao điểm của và ; và ; và và Chứng minh các giao điểm trên thẳng hàng Mô hình bài toán trên như sau: • xác định • không đồng phẳng HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang... các quan hệ R trên các đối tượng Mỗi quan hệ được xác định bởi và các loại đối tượng của quan hệ và quan hệ có thể có một số tính chất trong các tính chất sau đây: tính chất phản xạ, tính chất đối xứng và tính chất bắc cầu Ví dụ một số quan hệ sau: - Quan hệthuộc giữa một điểm và một đường thẳng o [“Thuoc”,Diem,DuongThang] Quan hệ “Song Song” giữa đường thẳng và đường thẳng HỌC VIÊN:... 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 Mô hình mạng các đối tượng tính toán gồm 2 thành phần: 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 O = {O1, O2, , On}, F = {f1, f2, , fm}, Trong đó: - O là một tập hợp các đối tượng Com-Object cơ bản F là tập hợp các sự kiện dựa trên các đối tượng 1.4.2 Mô hình bài toán Dựa trên... hình tri thức về hình học giải tích hai chỉ sử dụng 7 loại sự kiện của mô hình COKB 6 thành phần Cụ thể như sau: Các loại sự kiện: [1] Sự kiện thông tin về loại của đối tượng Cấu trúc sự kiện: () Ví dụ: Tamgiac(ABC), DuongThang(d), MatPhang(P) [2] Sự kiện về tính xác định của một đối tượng hay của một thuộc tính Cấu trúc sự kiện: hay . Ví dụ: Tamgiac(A,... đthẳng) } 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 Facts : = {d.ptdt : 2x + 3y -7 = 0, d1.ptdt: 2x + 7y – 8 = 0, d2.ptdt: 3x + 2y + 5 = 0, A “thuộc” d3} FFacts := {Goc(d,d3) = 45, A = GiaoDiem(d1, d2)} Goal := [d3] 1.4.3 Đặc tả bài toán Để có thể thiết kế phần giao tiếp và cho phép nhập bài toán vào hệ thống giải bài toán một cách đa dạng và đáp ứng. .. sự kiện thuộc 6 lọai [1]-[6], và o FFacts là tập các sự kiện thuộc các lọai khác liên quan đến tri thức hàm o Goal là mục tiêu hay yêu cầu của bài toán Ví dụ: Xét bài toán sau đây: Viết phương trình đường thẳng đi qua giao điểm hai đường thẳng 2x + 7y – 8 = 0; 3x + 2y + 5 = 0 và hợp với đường thẳng (d): 2x + 3y -7 = 0 một góc 45 0 Bài toán có thể được mô hình hóa theo mô hình trên như sau: O := {d: đường... Record( HỌC VIÊN: PHẠM THỊ BÍCH HẠNH - MSHV: CH1301011 Trang 32 GIÁO VIÊN HƯỚNG DẪN: PGS.TS ĐỖ VĂN NHƠN NameRule = "", Symmetric = true, Objects =[ Diem(_A), Diem(_B), Diem(_C), DuongThang(_d) Hypothesis = [ ["Thuoc", _A, _d], ["Thuoc", _B, _d], ["Thuoc", _C, _d] ], Goal =[ ["ThangHang", _A, _B, _C] ] ) ]; 2.3 Mô hình bài toán Dựa trên việc nghiên cứu các bài toán cụ thể ta có thể đề xuất mô hình bài toán. .. GiaoDiem(P,d) = GiaoTuyen(Q,d) 2.1.1 Tập C các khái niệm về các đối tượng tính toán Tập các khái niệm C bao gồm “Điểm”, “Đường thẳng”, Tam giác , “Tứ Giác Lồi”, Hình Bình Hành”, “Mặt Phẳng”, “Tứ Diện”, “HìnhChóp”.Trong đó: - “Điểm”, “Đường Thẳng”, “Mặt Phẳng”là một loại đối tượng cơ bảncấp 0 có cấu trúc rỗng Tam giác , “TuGiacLoi”, Hình bình hành”, “Tứ Diện”, Hình Chóp” là loại đối tượng cấp 1 được thiết . 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. 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. 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: