ỨNG DỤNG MÔ HÌNH COKB TRONG VIỆC GIẢI QUYẾN BÀI TOÁN LIÊN HỆ GIỮA TAM GIÁC VÀ HÌNH TRÒN

BIỂU DIỄN TRI THỨC & ỨNG DỤNG PHỤ LỤC PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG GIỚI THIỆU Trí tuệ nhân tạo lĩnh vực hàng đầu quan tâm phát triển thời đại công nghệ thông tin nay, nhầm để tìm kiếm tạo thuật tốn thơng minh giải vấn đề tính tốn, điều khiển xử lý tri thức Người ta quan tâm đến vấn đề nhất: • • Biểu diễn tri thức Phương pháp tìm kiếm hay suy diễn Nghiên cứu phát triển mơ hình biểu diễn tri thức suy diễn tự động tri thức giử địa vị quan trọng khoa học máy tính Trí Tuệ Nhân tạo Trong việc thiết kế hệ sở tri thức hệ chun gia, mơ hình phương pháp biểu điễn bước quan Có nhiều phương pháp mơ hình hóa tri thức đề xuất dứng dụng mạng ngữ nghĩa, mạng noron, đồ thị khái niệm… Nhưng phương pháp khó khăn, đặc biệt lĩnh vực tốn học, hình học phẳng, giải tích, đại số,… mơ hình COKB cơng cụ tốt hữu dụng việc xây dựng hệ thống sở tri thức Cảm ơn thầy TS Đỗ Văn Nhơn giúp tơi tiếp cận, tìm hiểu lĩnh vực này, góp phần nâng cao kiến thức tìm hiểu sâu khoa học máy tính Tạo tảng cho việc nghiên cứu lĩnh vực trí tuệ nhân tạo chương trình PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG PHẦN A MỘT SỐ MƠ HÌNH SUY DIỄN I Biểu diễn tri thức luật dẫn Khái niệm Biểu diễn tri thức luật sinh phát minh lúc Newell Simon cố gắng xây dựng hệ giải toán tổng quát, Đây kiểu biểu diễn tri thức có cấu trúc Ý tưởng tri thức cấu trúc cặp điều kiện & hành động : "NẾU điều kiện xảy THÌ hành động thi hành" Các luật sinh trở nên phổ biến áp dụng rộng rãi nhiều hệ thống trí tuệ nhân tạo khác Luật sinh công cụ mô tả để giải vấn đề thực tế thay cho kiểu phân tích vấn đề truyền thống Trong trường hợp này, luật dùng dẫn (tuy khơng hồn chỉnh) hữu ích để trợ giúp cho định q trình tìm kiếm, từ làm giảm khơng gian tìm kiếm Một ví dụ khác luật sinh dùng để bắt chước hành vi chuyên gia Theo cách này, luật sinh không đơn kiểu biểu diễn tri thức máy tính mà kiểu biễu diễn hành vi người Một cách tổng quát luật sinh có dạng sau: P1 ∧ P2 ∧ ∧ Pn  Q Tùy vào vấn đề quan tâm mà luật sinh có ngữ nghĩa hay cấu tạo khác : - Trong logic vị từ : P1, P2, , Pn, Q biểu thức logic Trong ngơn ngữ lập trình, luật sinh câu lệnh IF (P1 AND P2 AND AND Pn) THEN Q - Trong lý thuyết hiểu ngôn ngữ tự nhiên, luật sinh phép dịch: ONE  PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG TWO  hai JANUARY  tháng Để biễu diễn tập luật sinh, người ta thường phải rõ hai thành phần sau : (1) Tập kiện F(Facts) F = { f1, f2, fn } (2) Tập quy tắc R (Rules) áp dụng kiện dạng sau : f1 ^ f2 ^ ^ fi  q Trong đó, fi, q thuộc F Ví dụ : Cho sở tri thức xác định sau : - Các kiện : A, B, C, D, E, F, G, H, K Tập quy tắc hay luật sinh (rule): R1 : A  E R2 : B  D R3 : H  A R4 : E ∧ G  C R5 : E ∧ K  B R6 : D ∧ E ∧ K  C R7 : G ∧ K ∧ F  A Cơ chế suy luận Suy diễn tiến : trình suy luận xuất phát từ số kiện ban đầu, xác định kiện "sinh" từ kiện Sự kiện ban đầu : H, K PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG R3 : H  A {A, H K } R1 : A  E { A, E, H, K } R5 : E ∧ K  B { A, B, E, H, K } R2 : B  D { A, B, D, E, H, K } R6 : D ∧ E ∧ K  C { A, B, C, D, E, H, K } Suy diễn lùi : trình suy luận ngược xuất phát từ số kiện ban đầu, ta tìm kiếm kiện "sinh" kiện Một ví dụ thường gặp thực tế xuất phát từ tình trạng máy tính, chẩn đốn xem máy tính bị hỏng hóc đâu Ví dụ : Tập kiện : Ổ cứng "hỏng" hay "hoạt động bình thường" • Hỏng hình • Lỏng cáp hình • Tình trạng đèn ổ cứng "tắt" "sáng" • Có âm đọc ổ cứng • Tình trạng đèn hình "xanh" "chớp đỏ" • Khơng sử dụng máy tính • Điện vào máy tính "có" hay "không" Tập luật : R1 Nếu ( (ổ cứng "hỏng") (cáp hình "lỏng")) khơng sử dụng máy tính R2 Nếu (điện vào máy "có") ( (âm đọc ổ cứng "khơng") tình trạng đèn ổ cứng "tắt")) (ổ cứng "hỏng") PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG R3 Nếu (điện vào máy "có") (tình trạng đèn hình "chớp đỏ") (cáp hình "lỏng") Để xác định nguyên nhân gây kiện "không sử dụng máy tính", ta phải xây dựng cấu trúc đồ thị gọi đồ thị AND/OR sau : Hình 2: Cơ chế suy diễn suy diễn lùi Như để xác định nguyên nhân gây hỏng hóc ổ cứng hỏng hay cáp hình lỏng, hệ thống phải vào nhánh để kiểm tra điều kiện điện vào máy "có", âm ổ cứng "khơng".Tại bước, giá trị cần xác định suy từ luật nào, hệ thống yêu cầu người dùng trực tiếp nhập vào Chẳng hạn để biết máy tính có điện khơng, hệ thống hình câu hỏi "Bạn kiểm tra xem có điện vào máy tính khơng (kiểm tra đèn nguồn)? (C/K)" Để thực chế suy luận lùi, người ta thường sử dụng ngăn xếp (để ghi nhận lại nhánh chưa kiểm tra) PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG Tối ưu luật Tập luật sở tri thức có khả thừa, trùng lắp mâu thuẫn Dĩ nhiên hệ thống đổ lỗi cho người dùng việc đưa vào hệ thống tri thức Tuy việc tối ưu sở tri thức mặt tổng quát thao tác khó (vì tri thức thường có quan hệ không tường minh), giới hạn sở tri thức dạng luật, ta có số thuật toán đơn giản để loại bỏ vấn đề a Rút gọn bên phải Luật sau hiển nhiên : A ∧ B  A (1) Do luật: A∧ B A∧ C Là hồn tồn tương đương với A∧ B C Quy tắc rút gọn : Có thể loại bỏ kiện bên vế phải kiện xuất bên vế trái Nếu sau rút gọn mà vế phải trở thành rỗng luật luật hiển nhiên Ta loại bỏ luật hiển nhiên khỏi tri thức b Rút gọn bên trái Xét luật : (L1) A, B  C (L2) A  X (L3) X  C Rõ ràng luật A, B  C thay luật A  C mà không làm ảnh hưởng đến kết luận trường hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn c Phân rã kết hợp luật: Luật: A ∧ B  C Tương đương với hai luật AC BC PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG Với quy tắc này, ta loại bỏ hồn tồn luật có phép nối HOẶC Các luật có phép nối thường làm cho thao tác xử lý trở nên phức tạp d Luật thừa Một luật dẫn A  B gọi thừa suy luật từ luật cịn lại Ví dụ : tập luật gồm {A  B, B  C, A  C} luật thứ luật thừa suy từ luật cịn lại e Thuật tốn tối ưu tập luật dẫn Thuật tốn tối ưu hóa tập luật cho cách loại luật có phép nối HOẶC, luật hiển nhiên luật thừa Thuật tốn bao gồm bước chính: B1 : Rút gọn vế phải Với luật r R Với kiện A ∈Vế Phải(r) Nếu A ∈VếTrái(r) Loại A khỏi vế phải R Nếu VếPhải(r) rỗng loại bỏ r khỏi hệ luật dẫn : R = R \{r} B2 : Phân rã luật Với luật r : X1 ∨ X2 ∨ … ∨ Xn  Y R Với i từ đến n R := R + { Xi  Y } R := R \ {r} B3 : Loại bỏ luật thừa Với luật r thuộc R Nếu VếPhải(r) ∈ BaoĐóng(VếTrái(r), R-{r}) R := R \ {r} B4 : Rút gọn vế trái Với luật dẫn r : X : A1 ∧ A2, …, An  Y thuộc R Với kiện Ai ∈ r Gọi luật r1 : X - Ai  Y S = (R - {r}) ∪{r1} Nếu BaoĐóng (X - Ai , S) ≡ BaoĐóng (X, R) loại kiện A khỏi X PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG Ưu, nhược điểm biểu diễn tri thức luật Ưu điểm: Biểu diễn tri thức luật đặc biệt hữu hiệu tình hệ thống cần đưa hành động dựa vào kiện quan sát Nó có ưu điểm yếu sau đây: • Các luật dễ hiểu nên dễ dàng dùng để trao đổi với người dùng (vì dạng tự nhiên ngơn ngữ) • Có thể dễ dàng xây dựng chế suy luận giải thích từ luật • Việc hiệu chỉnh bảo trì hệ thống tương đối dễ dàng • Có thể cải tiến dễ dàng để tích hợp luật mờ • Các luật thường phụ thuộc vào Nhược điểm: • Các tri thức phức tạp đơi lúc địi hỏi q nhiều (hàng ngàn) luật sinh Điều làm nảy sinh nhiều vấn đề liên quan đến tốc độ lẫn quản trị hệ thống • Thống kê cho thấy, người xây dựng hệ thống trí tuệ nhân tạo thích sử dụng luật sinh tất phương pháp khác (dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phương pháp khác thích hợp hơn! Đây nhược điểm mang tính chủ quan người • Cơ sở tri thức luật sinh lớn làm giới hạn khả tìm kiếm chương trình điều khiển Nhiều hệ thống gặp khó khăn việc đánh giá hệ dựa luật sinh gặp khó khăn suy luận luật sinh II Mạng suy diễn tính tốn Khái niệm Mạng tính tốn [ dạng biểu diễn tri thức dùng biểu diễn tri thức vấn đề tính tốn áp dụng cách có hiệu để giải số dạng tốn Mỗi mạng tính tốn mạng ngữ nghĩa chứa biến quan hệ cài đặt sử dụng cho việc tính tốn Chúng ta xét mạng tính tốn gồm tập hợp biến với tập quan hệ (chẳng hạn cơng thức) tính tốn biến Trong ứng PHAN KHÁNH NGUYÊN Trang BIỂU DIỄN TRI THỨC & ỨNG DỤNG dụng cụ thể biến giá trị thường gắn liền với khái niệm cụ thể vật, quan hệ thể tri thức vật Các quan hệ Cho M = {x1,x2, ,xm} tập hợp biến lấy giá trị miền xác định tương ứng D1,D2, ,Dm Đối với quan hệ R ⊆ D1xD2x xDm tập hợp D1,D2, ,Dm ta nói quan hệ nầy liên kết biến x1,x2, ,xm, ký hiệu R(x1,x2, ,xm) hay vắn tắt R(x) (ký hiệu x dùng để biến < x1,x2, ,xm >) Ta thấy quan hệ R(x) biểu diễn ánh xạ fR,u,v với u ∪ v = x, ta viết : fR,u,v : u → v, hay vắn tắt f : u → v Đối với quan hệ dùng cho việc tính tốn, cách ký hiệu bao hàm ý nghĩa hàm: ta tính giá trị biến thuộc v biết giá trị biến thuộc u Trong phần sau ta xét quan hệ xác định hàm có dạng f : u → v, u ∩ v = ∅ (tập rỗng) Đặc biệt quan hệ đối xứng có hạng (rank) số nguyên dương k Đó quan hệ mà ta tính k biến từ m-k biến (ở x gồm m biến < x1,x2, ,xm >) Ngồi ra, trường hợp cần nói rõ ta viết u(f) thay cho u, v(f) thay cho v Đối với quan hệ đối xứng có hạng k, khơng làm tính tổng qt, ta giả sử quan hệ xác định hàm f với tập biến vào u(f) tập biến v(f); ta gọi loại quan hệ nầy quan hệ không đối xứng xác định hàm, hay gọi vắn tắt quan hệ không đối xứng Ví dụ: quan hệ f góc A, B, C tam giác ABC cho hệ thức: A+B+C = 180 (đơn vị: độ) PHAN KHÁNH NGUYÊN Trang 10 BIỂU DIỄN TRI THỨC & ỨNG DỤNG Thích hợp cho việc định ngôn ngữ khai báo toán đặc tả toán cách tự nhiên Các mơ hình thuật giải đề xuất làm cơng cụ cho việc xây dựng hệ giải toán dựa tri thức, hệ sở tri thức, phần mềm dạy học với hổ trợ giải tốn thơng minh PHAN KHÁNH NGUYÊN Trang 38 BIỂU DIỄN TRI THỨC & ỨNG DỤNG PHẦN C ỨNG DỤNG MƠ HÌNH COKB TRONG VIỆC GIẢI QUYẾN BÀI TỐN LIÊN HỆ GIỮA TAM GIÁC VÀ HÌNH TRỊN Cho tốn sau: Tam giác ABC vng A, có chiều cao h, chiều dài cạnh a, b tính diện tích, chu vi hình trịn ngoại tiếp,… r d B A C O h c a b H Nội dung tập tin HINH_TRON.txt (tên tập tin C_Object.txt) begin_object: HINH_TRON[O]; PHAN KHÁNH NGUYÊN Trang 39 BIỂU DIỄN TRI THỨC & ỨNG DỤNG A, B, C, D, O : DIEM; begin_variables GocA : GOC[C,A,B]; GocB : GOC[A,B,C]; GocC : GOC[A,C,B]; a : DOAN[B,C]; b : DOAN[A,C]; c : DOAN[A,B]; STG,P,S,r,d,a,b,c,f : real; end_variables begin_constraints P > 0; #chu vi hình trịn S > 0; #diện tích hình trịn r > 0; #bán kính hình trịn d > 0; #đường kính hình trịn a > 0; #cạnh a b > 0; #cạnh b c > 0; #cạnh c STG > 0; # dien tích tam giác end_constraints begin_properties end_properties begin_computation_relations begin_relation flag =1 Mf ={d,r} rf =1 PHAN KHÁNH NGUYÊN Trang 40 BIỂU DIỄN TRI THỨC & ỨNG DỤNG vf ={} expf =` r = d/2` cost=4 end_relation begin_relation flag =1 Mf ={S, r} rf =1 vf ={} expf =` S = r*r*pi` cost=4 end_relation begin_relation flag =1 Mf ={P, r} rf =1 vf ={} expf =` P = r*2*pi` cost=4 end_relation end_computation_relations begin_rules begin_rule kind_rule = ""; hypothesis_part: {GocB=pi/2} PHAN KHÁNH NGUYÊN Trang 41 BIỂU DIỄN TRI THỨC & ỨNG DỤNG end_hypothesis_part goal_part: {b^2 = c^2 + a^2} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {GocA=pi/2} end_hypothesis_part goal_part: {a^2 = b^2 + c^2} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {GocC=pi/2} end_hypothesis_part goal_part: {c^2 = b^2 + a^2} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: PHAN KHÁNH NGUYÊN Trang 42 BIỂU DIỄN TRI THỨC & ỨNG DỤNG {["TDTRON",a,b,c],b=d} end_hypothesis_part goal_part: {GocB=pi/2} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {["TDTRON",a,b,c],a=d} end_hypothesis_part goal_part: {GocA=pi/2} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {["TDTRON",a,b,c],c=d} end_hypothesis_part goal_part: {GocC=pi/2} end_goal_part end_rule # cho tam giac noi tiep va goc B=90 thi canh b la duong kinh begin_rule PHAN KHÁNH NGUYÊN Trang 43 BIỂU DIỄN TRI THỨC & ỨNG DỤNG kind_rule = ""; hypothesis_part: {["TDTRON",a,b,c],GocB=pi/2} end_hypothesis_part goal_part: {b=d} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {["TDTRON",a,b,c],GocA=pi/2} end_hypothesis_part goal_part: {a=d} end_goal_part end_rule begin_rule kind_rule = ""; hypothesis_part: {["TDTRON",a,b,c],GocC=pi/2} end_hypothesis_part goal_part: {c=d} end_goal_part end_rule PHAN KHÁNH NGUYÊN Trang 44 BIỂU DIỄN TRI THỨC & ỨNG DỤNG begin_rule 10 kind_rule = ""; hypothesis_part: {GocB=pi/2,a,c} end_hypothesis_part goal_part: {STG=a*b/2} end_goal_part end_rule end_rules end_object begin_inside_net parameters: objects: facts: end_inside_net Cấu trúc file Ojcect.txt begin_Objects DIEM DOAN TIA DUONG_THANG GOC TAM_GIAC TAM_GIAC_CAN PHAN KHÁNH NGUYÊN Trang 45 BIỂU DIỄN TRI THỨC & ỨNG DỤNG TAM_GIAC_DEU TAM_GIAC_VUONG TAM_GIAC_VUONG_CAN HINH_TRON CON_LAC end_Objects Cấu trúc file RELATIONS.txt begin_Relations [THANG, DIEM, DIEM, DIEM], {"doi_xung"} [THUOC,DIEM,DOAN], {} [NTHUOC,DIEM,DOAN], {} [TRUNGDIEM,DIEM,DOAN], {} [TRONG,DIEM,TAM_GIAC],{} [SSONG,DOAN,DOAN], {"doi_xung", "truyen"} [TDTRON,DOAN,DOAN,DOAN], {} [NSSONG,DOAN,DOAN], {} [VUONG,DOAN,DOAN], {"doi_xung"} [DOIDINH,GOC,GOC], {"doi_xung"} [SOLE,GOC,GOC], {"doi_xung"} [PHANGIAC,DOAN,GOC], {} [PHANGIAC,TIA,GOC], {} [TRUNGTRUC,DOAN,DOAN], {} [TRUNGTRUC,TIA,DOAN], {} [TRUNGTRUC,DUONG_THANG,DOAN], {} [TRONG,DIEM,TAM_GIAC], {} PHAN KHÁNH NGUYÊN Trang 46 BIỂU DIỄN TRI THỨC & ỨNG DỤNG [NGOAI,DIEM,TAM_GIAC], {} [TRONG,DIEM,TU_GIAC], {} [NGOAI,DIEM,TU_GIAC], {} [CUNGPHIA,DIEM,DIEM,DOAN], {} [CUNGPHIA,DIEM,DIEM,TIA], {} [CUNGPHIA,DIEM,DIEM,DUONG_THANG], {} [TRUNG,DIEM,DIEM], {"phan_xa", "doi_xung", "phan_xung", "truyen"} [NTRUNG,DIEM,DIEM], {"phan_xa", "doi_xung"} [TRUNG,DOAN,DOAN], {} [NTRUNG,DOAN,DOAN], {} ["=",TAM_GIAC,TAM_GIAC], {"doi_xung", "truyen"} ["=",TAM_GIAC,TAM_GIAC_CAN], {"doi_xung"} ["=",TAM_GIAC_CAN,TAM_GIAC], {"doi_xung"} ["=",TAM_GIAC,TAM_GIAC_VUONG], {} ["=",TAM_GIAC,TAM_GIAC_VUONG_CAN], {} ["=",TAM_GIAC,TAM_GIAC_DEU], {} ["=",TAM_GIAC_CAN,TAM_GIAC_CAN], {} ["=",TAM_GIAC_CAN,TAM_GIAC_VUONG], {} ["=",TAM_GIAC_CAN,TAM_GIAC_DEU], {} ["=",TAM_GIAC_VUONG,TAM_GIAC_VUONG_CAN], {} ["=",TAM_GIAC_CAN,TAM_GIAC_VUONG_CAN], {} ["=",TAM_GIAC_CAN,TAM_GIAC_DEU], {} [DONGDANG,TAM_GIAC,TAM_GIAC], {} [DONGDANG,TAM_GIAC,TAM_GIAC_VUONG], {} [DONGDANG,TAM_GIAC,TAM_GIAC_VUONG_CAN], {} [DONGDANG,TAM_GIAC,TAM_GIAC_DEU], {} PHAN KHÁNH NGUYÊN Trang 47 BIỂU DIỄN TRI THỨC & ỨNG DỤNG [DONGDANG,TAM_GIAC_CAN,TAM_GIAC_CAN], {} [DONGDANG,TAM_GIAC_CAN,TAM_GIAC_VUONG], {} [DONGDANG,TAM_GIAC_CAN,TAM_GIAC_DEU], {} [DONGDANG,TAM_GIAC_VUONG,TAM_GIAC_VUONG_CAN], {} [DONGDANG,TAM_GIAC_CAN,TAM_GIAC_VUONG_CAN], {} [DONGDANG,TAM_GIAC_CAN,TAM_GIAC_DEU], {} end_Relations Cấu trúc file Hierarchy.txt begin_Hierarchy TAM_GIAC_CAN, TAM_GIAC TAM_GIAC_DEU, TAM_GIAC_CAN TAM_GIAC_VUONG, TAM_GIAC end_Hierarchy Dùng maple để thực truy vấn > facts:= {GocB=pi/2}; vars:={b}; Determine2s("HINH_TRON", facts, vars); > facts := { GocB = π } vars := { b }  false ,   "Deduce_from3" , { GocB = π }, { GocB } ,            "" , [ ], [ ],  { GocB = π }, { b = c + a }  , { GocB = π }, { b = c + a }            2     #Tam giác ABC Thuộc đường trịn, cạnh c=2, a=3, GocB=pi/2, tính chu vi hình trịn ngoại tiếp > facts:= {["TDTRON",a,b,c],c=2,a=3,GocB=pi/2}; vars:={P}; # chu vi hình trịn ngoại tiếp Determine2s("HINH_TRON", facts, vars); ComputeVars("HINH_TRON", facts, vars); > PHAN KHÁNH NGUYÊN Trang 48 BIỂU DIỄN TRI THỨC & ỨNG DỤNG facts := { a = 3, c = 2, GocB = π , [ "TDTRON" , a, b, c ] } vars := { P }    true ,  [ "Deduce_from3" , { a = }, { a } ], [ "Deduce_from3" , { c = } , { c } ],      "Deduce_from3" , { GocB = π }, { GocB } ,         "" , [ ], [ ],  { GocB = π } , { b = c + a }  , { GocB = π }, { b = c + a } ,         2     [ "Deduce_from53s" , { a = 3, c = 2, b = c + a }, { b = 13 } ], [ "Deduce_from3" , { b = 13 } , { b } ],      "" , [ ], [ ],  { GocB = π , [ "TDTRON" , a, b, c ] }, { b = d }  ,          π { GocB = , [ "TDTRON" , a, b, c ] }, { b = d } ,    [ "Deduce_from43" , { b = d, b = 13 }, { d = 13 } ], [ "Deduce_from3" , { d = 13 } , { d } ],   [ "begin_relation 1", 1, { d, r } , 1, { }, r = d/2 , ], { d = 13 }, { r =   13    "Deduce_from3" , { r = } , { r } ,     PHAN KHÁNH NGUYÊN Trang 49 13  } ,   BIỂU DIỄN TRI THỨC & ỨNG DỤNG   [ " begin_relation 2", 1, { S, r }, 1, { } , S = r*r*pi , ], { r =   13 π  ,  "Deduce_from3" , { S = } , { S } ,          [ " begin_relation 3", 1, { P, r } , 1, { }, P = r*2*pi , ], { r = 13 13 π  }, { S = }   13 }, { P = 13 π }   , [ "Deduce_from3" , { P = 13 π }, { P } ]       { P = 13 π } # cho GocB=pi/2, a=2,c=3 tìm diện tích tam giác > facts:= {GocB=pi/2,a=2,c=3}; vars:={STG}; # STG, diện tích tam giác Determine2s("HINH_TRON", facts, vars); ComputeVars("HINH_TRON", facts, vars); facts := { a = 2, c = 3, GocB = π } vars := { STG }  true ,  [ "Deduce_from3" , { a = }, { a } ], [ "Deduce_from3" , { c = } , { c } ],        "Deduce_from3" , { GocB = π }, { GocB } ,         "" , [ ], [ ],  { GocB = π } , { b = c + a }  , { GocB = π }, { b = c + a } ,         2     2 [ "Deduce_from53s" , { a = 2, c = 3, b = c + a }, { b = 13 } ], [ "Deduce_from3" , { b = 13 } , { b } ],     PHAN KHÁNH NGUYÊN Trang 50 BIỂU DIỄN TRI THỨC & ỨNG DỤNG  "" , [ ], [ ],  { a, c, GocB = π } , { STG = a b }  , { a, c, GocB = π }, { STG = a b }      2  2    ,  "Deduce_from53s" , { STG = a b , a = 2, b = 13 }, { STG = 13 } ,          [ "Deduce_from3" , { STG = 13 }, { STG } ]      { STG = 13 } PHAN KHÁNH NGUYÊN Trang 51 BIỂU DIỄN TRI THỨC & ỨNG DỤNG Tài liệu tham khảo Hoàng Kiếm – Đỗ Văn Nhơn, Mơ hình Tri thức Đối tượng tính tốn, Hội thảo Khoa học kỷ niệm 25 năm thành lập Viện Công Nghệ Thông Tin, Hà Nội Phương pháp suy diễn mơ hình COKB dựa tri thức Bài toán mẫu Ứng dụng (Đỗ Văn Nhơn, Nguyễn Đình Hiển) http://www.voer.edu.vn/bai-viet/toan-va-thong-ke/bieu-dien-tri-thuc-bangframe.html http://www.voer.edu.vn/bai-viet/toan-va-thong-ke/bieu-dien-tri-thuc-su-dung-mang-ngunghia.html PHAN KHÁNH NGUYÊN Trang 52 ... THỨC & ỨNG DỤNG TAM GIÁC VUÔNG CÂN TAM GIÁC VUÔNG TAM GIÁC CÂN TAM GIÁC TAM GIÁC ĐỀU Các khái niệm loại quan hệ loại đối tượng: Các quan hệ khái niệm bao gồm loại quan hệ như: o Quan hệ thuộc... DỤNG MƠ HÌNH COKB TRONG VIỆC GIẢI QUYẾN BÀI TỐN LIÊN HỆ GIỮA TAM GIÁC VÀ HÌNH TRỊN Cho tốn sau: Tam giác ABC vng A, có chiều cao h, chiều dài cạnh a, b tính diện tích, chu vi hình trịn ngoại tiếp,…... cho việc xây dựng hệ giải toán dựa tri thức, hệ sở tri thức, phần mềm dạy học với hổ trợ giải tốn thơng minh PHAN KHÁNH NGUN Trang 38 BIỂU DIỄN TRI THỨC & ỨNG DỤNG PHẦN C ỨNG DỤNG MƠ HÌNH COKB TRONG