tiểu luận biểu diễn tri thức và ứng dụng

Đạ i Họ c Quốc Gia TP.HCM Đạ i Họ c Công Nghệ Thông Tin BÁO CÁO CHUYÊN ĐỀ BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG ĐỀ TÀI: MƠ HÌNH COKB VÀ ỨNG DỤNG VÀO GIẢI TỐN HÌNH HỌC GVHD: PGS.TS ĐỖ VĂN NHƠN Lớp: Trầ n Quố c Cường Cao học khóa Người thự c hiện: Mã số: CH1301082 NHA TRANG – 2014 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn MỤC LỤC MỤ C LỤC PHẦN 1.MƠ HÌNH COKB Khái niệm đối tượng tính tốn COKB Mơ hình tri thức đối tượng tính toán Tổ c s tri thức COKB 10 Giả i toán đối tượng tính tốn .11 PHẦN 2: ÁP DỤNG MƠ HÌNH COKB GIẢI TỐN HÌNH HỌC PHẲNG 15 I.Giới thiệu 15 Thiết kế hệ c s tri thức cho miền tri thức hình họ c phẳng 15 Thiết kế suy diễn tự độ ng củ a chương trình .17 PHẦN 3: LẬP TRÌNH ỨNG DỤNG COKB GIẢI TỐN HÌNH HỌC PHẲNG 19 I.Giới thiệu: 19 II.Tạ o package đọc File: 19 III.Code xử l ý củ a chương trình: .22 IV.Kết chương trình: 28 V.Hướng dẫ n sử dụ ng chương trình: .29 KẾT LUẬN 31 TÀI LIỆU THAM KHẢO .33 HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn LỜI MỞ ĐẦU Trong khoa học trí tuệ nhân tạ o, có nhiề u phương pháp để biểu diễ n tri thức ng nhữ ng phương pháp lạ i không hiệ u việc biểu diễn suy luậ n tri thứ c phức tạp Bên cạ nh đó, phương pháp suy diễn đóng vai trị quan trọng hệ s tri thức, nghững phương pháp suy diễn cịn mang tính khái quát cao, chư a thể mô đượ c lố i tư người Trong thực tế, giải tốn, thường khơng tìm lời giải mà trước tiên ta tìm nhữ ng tốn liên quan với tốn để từ có cách giả i phù hợp Mơ hình mẫ u COKB, hướng tiếp cận đạ i, đượ c nghiên u phát triển khả ứ ng dụng việc biểu diễn tri thứ c Mơ hình COKB mơ hình sử dụng rấ t hiệu việc thiết kế hệ s tri thứ c phức tạp, miền tri thứ c Hình học, Giả i tích, Vật lý… Trong phạ m vi thu hoạch nhỏ này, em trình bày khái niệ m mơ hình COKB từ ứ ng dụ ng mơ hình việc xây dựng chương trình giải tốn hình học phẳ ng cấp THCS Qua đây, em xin gửi lời cảm ơn đến Phó Giáo Sư Tiến sỹ Đỗ Văn Nhơn , người tận tâm truyền đạt kiến thức tảng cho em môn học “Biểu diễn tri thức ứng dụng” Bên cạnh tơi xin chân thành cảm ơn toàn thể bạn bè học viên lớp tận tình giúp đỡ cho tơi thời điểm khó khăn tìm hiểu tiểu luận HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn PHẦN 1.MƠ HÌNH COKB Khái niệ m đố i tượng tính tốn COKB Giới thiệu Trong nhiều vấn đề giả i toán dự a tri thứ c ta thường đề cậ p đế n đối tượng khác đối tượng có cấu trúc bao gồm số thuộc tính với quan hệ định giúp ta thực suy diễn, tính tốn Cấu trúc đối tượng số hành vi giải toán định để tạo đối tượng Nhiều tốn khác biểu diễn dạng mạng đối tượng Cách biểu diễn ny áp dụng cách có hiệu hệ giải toán, chẳng hạn hệ giải tốn hình học Định nghĩa Một đối tượng tính tốn đối tượng O có cấu trúc gồm: - Một danh sách thuộc tính Attr(O) = x 1, x2, , xn thuộc tính lấy giá trị miền xác định định, thuộc tính ta có quan hệ thể qua kiện, luật suy diễn hay cơng thức tính tốn - Các hành vi liên quan đến suy diễn tính tốn thuộc tính đối tượng hay kiện như: Xác định bao đóng tập hợp thuộc tính A Attr(O) Xác định tính giải tốn suy diễn tính tốn có dạng A B với A Attr(O) B Attr(O) Thực tính tốn HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn Xem xét tính xác định củ a đối tượng, hay củ a kiện Ví dụ: Cấ u trúc tam giác gồm yếu tố : cạnh a, b, c; góc tương ứ ng với cạnh : , , ; đường cao tương ứng : ha, hb, hc; diện tích S tam giác, v.v … với công thứ c liên hệ giữ a chúng trở thành mộ t đố i tượng tính tốn ta tích hợp cấu trúc ny với hành vi xử l ý liên quan đế n việc giả i toán tam giác hành vi xem xét kiện liên quan đến thuộc tính hay bả n thân đối tượng Mơ hình cho đố i tượ ng tính tốn Một đối tượng tính tốn đượ c mơ hình bở i bộ: (Attrs, F, Facts, Rules) Attrs tậ p hợp thuộc tính củ a đối tượng, F tậ p hợp quan hệ suy diễn tính tốn, Facts tậ p hợp tính chấ t hay kiện vốn có củ a đố i tượng, Rules tậ p hợp luậ t suy diễn kiện liên quan đế n thuộc tính liên quan đế n bả n thân đối tượng Ví dụ : Đối tượng “TAM_GIAC” đượ c biểu diễ n theo mơ hình gồm có: - Attrs = GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, mc, pa, pb, pc, S, p, R, r, ra, rb, rc - F = GocA + GocB + GocC = Pi, a*sin(GocB) = b*sin(GocA), a^2 = b^2 + c^2 2*b*c*cos(GocA), - Facts = HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng - GVHD: PGS.TS Đỗ Văn Nhơn Rules = {GocA = GocB} {a = b}, {a = b} {GocA = GocB}, {GocA=pi/2} {a^2 = b^2+c^2, b c}, Xét loạ i Comobject, với cấu trúc sau: (Attrs, F, Facts, Rules) Cho trước (gt) A Attrs, Xác định B Attrs Ký hiệu vấ n đề là: A B Algorithm: GĐ 1: Tìm lời giải Solution dự a suy diễn tiến; Solution có dạng danh sách quan hệ suy diễn tính tốn hay luậ t đượ c áp dụng GĐ 2: Thự c loại bước thừa Solution để Solution cuối Mơ hình tri thức đố i tượng tính tốn Giới thiệu Mỗi loại đối tượng tính tốn xét riêng biệt thể phần tri thức có tính chất cục ứng dụng kiến thức người lĩnh vực hay phạm vi kiến thức thường bao gồm khái niệm loại đối tượng khác với mối quan hệ v thành phần khác liên quan Ví dụ: cạnh a tam giác thuộc tính đối tượng tam giác, xét đối tượng độc lập l “đoạn thẳng”, loại đối tượng có luật riêng Để có mot mơ hình biểu diễn tri thức rộng sử dụng việc xây dựng hệ sở tri thức giải toán loại đối tượng khác ta cần phải xem xét khái niệm đối tượng tính tốn hệ thống khái niệm đối HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn tượng với loạ i kiện, loạ i quan hệ khác ng luật liên quan đến chúng Mơ hình tri thức đố i tượng tính tốn mơ hình cho dạng s tri thứ c bao gồm khái niệm đối tượng có cấ u trúc vớ i loại quan hệ công thức tính tốn liên quan Mơ hình Ta gọi mơ hình tri thứ c đố i tượ ng tính tốn, viế t tắ t mơ hình COKB (Computational Objects Knowledge Base), hệ thống (C, H, R, Ops, Rules) gồm: - Một tậ p hơp C khái niệm đối tượng tính toán - Mỗi khái niệm loại đối tượng tính tốn có cấu trúc phân mức theo thiết lập cấu trúc đối tượng, gồm: biến thực, đối tượng bản, đối tượng mức đối tượng mức - Các đối tượng có cấu trúc rỗng có cấu trúc gồm số thuộc tính thuộc kiểu thực Các đối tượng loại ny làm cho thiết lập đối tượng mức cao - Các đối tượng tính tốn mức có thuộc tính loại thiết lập từ danh sách đối tượng Các đối tượng tính tốn mức có thuộc tính loại real thuộc tính thuộc loại đối tượng mức 1, đối tượng thiết lập danh sách đối tượng - Một tập hơp H quan hệ phân cấp loại đối tượng Trên tập hợp C ta có quan hệ phân cấp theo có số khái niệm đặc biệt hóa khái niệm khác, chẳng hạn tam giác cân HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn tam giác, hình bình hành tứ giác Có thể nói H biểu đồ Hasse xem quan hệ phân cấ p mộ t quan hệ thứ tự C Một tậ p hơp R khái niệm loạ i quan hệ loại đối tượng - Mỗi quan hệ xác định loại đối tượng quan hệ, quan hệ có số tính chất tính chất sau đây: tính chất phản xạ, tính chất đối xứng, tính chất phản xứng tính chất bắc cầu - Một tập hơp Ops toán tử Các toán tử cho ta số phép toán biến thực đối tượng, chẳng hạn phép tốn số học tính tốn đối tượng đoạn góc tương tự biến thực - Một tập hơp Rules gồm luật Các luật thể tri thức mang tính phổ quát khái niệm loại kiện khác Mỗi luật cho ta qui tắc suy luận để đến kiện từ kiện đó, mặt cấu trúc gồm thành phần là: phần giả thiết luật phần kết luận luật Phần giả thiết phần kết luận tập hợp kiện đối tượng định Một luật r mơ hình dạng: r : sk1, sk2, , skn sk1, sk2, , skm * Phân loại kiện: Mỗi kiện phát biểu khẳng định tính chất hay số đối tượng tính tốn Ở xem xét loại kiện khác sau: Loại 1: Phát biểu loại (hay tính chất) đối tượng Ví dụ: Ob tam giác HVTH: Trần Quốc Cường Trang: Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn Loạ i 2: Phát biểu t ính xác đị nh củ a đố i tượ ng (các thuộ c tính coi biết) hay thuộc tính Ví dụ : Giả sử đoạ n AB tam giác ABC cho trước Loạ i 3: Phát biểu s ự xác đị nh thuộc tính hay đố i tượng thơng qua biểu thứ c Ví dụ : đoạ n AB = 2*m^2 + (với m đượ c cho trước), góc ABC = / Loạ i 4: Sự kiện s ự đố i tượ ng hay thuộc tính với đối tượng hay thuộc tính khác Ví dụ : thuộc tính a củ a đối tượng Ob thuộc loạ i tam giác = đoạ n CD, đối tượng Ob1 = đối tượng Ob2 Loạ i 5: Sự kiện s ự phụ thuộc đố i tượ ng hay củ a mộ t thuộc tính theo nhữ ng đối tượng hay thuộc tính khác thơng qua cơng thức tính tốn Ví dụ: O1.a = O2.a + 2*O2.b Loạ i 6: Sự kiện quan hệ đố i tượ ng hay thuộ c tính đối tượng Ví dụ : đoạ n AB song song với đoạ n CD, điểm M thuộc đoạn AB Ví dụ p dụng Phầ n kiến thức tam giác tứ giác hình học phẳ ng biểu diễn theo mơ hình tri thứ c đố i tượ ng tính tốn - Các khái niệm đối tượng gồm: o Điểm, đđường thẳng o Đoạ n thẳng tia o Góc o Các loạ i tam giác loạ i tứ giác HVTH: Trần Quốc Cường Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn while line and SearchText("end_rule", line) = if SearchText("kind_rule", line) > then loai := rhs(parse(line)); else k := SearchText(":", line); # doc phan hypothesis_part va gan vao bien hypothesis_part = gt_kl[1] if SearchText("hypothesis_part", line) > then gt_kl[1] := substring(line, (k+1) length(line)); line := readline(fd); while line and SearchText("end_hypothesis_part", line) = gt_kl[1] := cat (gt_kl[1], line); line := readline(fd); end do; gt_kl[1] := parse(gt_kl[1]); # doc phan goal_part va gan vao bien goal_part = gt_kl[2] elif SearchText("goal_part", line) > then gt_kl[2] := substring(line, (k+1) length(line)); line := readline(fd); while line and SearchText("end_goal_part", line) = gt_kl[2] := cat (gt_kl[2], line); line := readline(fd); end do; gt_kl[2] := parse(gt_kl[2]); # doc phan A,B,C : DIEM; tens = A,B,C; kieus = DIEM elif k > then ten1 := [parse( substring(line, (k1)) )]; n1 := nops(ten1); HVTH: Trần Quốc Cường Trang: 21 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn kieu1 := convert ( parse( substring(line, (k+1) length(line)) ), string); tens := [op(tens), op(ten1)]; kieus := [op(kieus), kieu1 $ n1]; fi; fi; line := readline(fd); end do; # while if gt_kl[1] {} or gt_kl[2] {} then Rule := [op(Rule), [loai, tens, kieus, gt_kl] ]; fi; end: # Read_1Rule while line and SearchText("end_rules", line) = read_1Rule(); end do; # while end: # Readrules III Code xử l ý củ a chương trình: Hàm đọc kiện Facts: GetFacts:=proc(nameObj) local facts,f; facts := {}; for f in ObjStruct(nameObj)[6] facts := `union`(facts, {f[6]}); end do; return facts HVTH: Trần Quốc Cường Trang: 22 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn end proc: Hàm đọc Rules: GetRules:=proc(nameObj) local rules,r; rules := {}; for r in ObjStruct(nameObj)[7] rules := `union`(rules, {{r[4][1][1], r[4][2][1]}}); end do; return rules; end proc: Hàm xử lý cho toán: Tinh:=proc(GT,KL,nameObj) local knownVar,knownVal,r,flag,Vnew,findResultPath,flag1,exactResult, checked,knowVar1,r1,rr1,rules,g,u,M,F,s,conditions,v; M := ObjStruct(nameObj)[2]; F := GetFacts(nameObj); findResultPath := []; knownVal := GT; knownVar := {}; # start of bo them vao F dua vao rules for g in GT if evalb(SetVars(rhs(g),nameObj) = {}) then knownVar := {lhs(g), op(knownVar)}; else # duyet rules va gan vao cho F rules := GetRules(nameObj); HVTH: Trần Quốc Cường Trang: 23 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn for u in rules if evalb(u[1] = g) then F := `union`(F, {convert(g, name), convert(u[2], name)}); elif evalb(u[2]=g) then F := `union`(F, {convert(g, name), convert(u[1], name)}); else F := `union`(F, {convert(g, name)}); end if; end do; end if; end do; # end of bo them vao F dua vao rules while not(KL subset knownVar) flag := false; for r in F if nops(SetVars(parse(r),nameObj) minus knownVar) = then flag := true; Vnew := `minus`(SetVars(parse(r), nameObj), knownVar); break; end if; end do; if not flag then return printf(" Khong tim duoc ket qua \n"); end if; knownVar := `union`(knownVar, Vnew); # sub: thay the KnownVal ctrinh r knownVal := `union`(knownVal, solve(subs(knownVal, parse(r)), Vnew)); HVTH: Trần Quốc Cường Trang: 24 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn findResultPath := [op(findResultPath), [parse(r), Vnew[1]]]; end do; # viet thuat giai loai bo luat thua # danh sach tham so tinh ket qua minus tham so gia thiet knowVar1 := `minus`(knownVar, map(proc (x) options operator, arrow; lhs(x) end proc, GT)); # danh sach ket qua da rut gon exactResult := [findResultPath[nops(findResultPath)]]; # truy vet lai ket qua vi du: p=2⋅a+2⋅b suy duoc qua tham so a va b checked := `minus`(SetVars(findResultPath[nops(findResultPath)][1], nameObj), KL); # lap lai cho den ket qua truy vet la {} while not evalb(nops(checked) = 0) for r1 in checked[1] for rr1 in findResultPath if (evalb(rr1[2] = r1)) and not ({r1} subset map(x>lhs(x),GT)) then checked := `minus`(`union`(checked, SetVars(rr1[1], nameObj)), {rr1[2]}); checked := `minus`(checked, {r1}); exactResult := [op(exactResult), rr1]; end if; end do; end do; if (not (checked subset knowVar1)) and evalb(nops(checked)=nops(GT)) then checked := `minus`(checked, map(proc (x) options operator, arrow; lhs(x) end proc, GT)); end if; if (not (checked subset knowVar1)) then checked := `minus`(checked, map(proc (x) options operator, arrow; lhs(x) end proc, GT)); end if; HVTH: Trần Quốc Cường Trang: 25 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn end do; # Xuat ket qua XuatKQ(exactResult, GT, nameObj); # In gia tri ket qua for s in knownVal if evalb(lhs(s)=KL[1]) then printf("_ Ket qua %s \n", convert(s, string)); end if; end do; end proc: XuatKQ:=proc(Results,GT,nameObj) local i,j,xuat,temp,temp1,deduces,l,temp2,temp3,temp4,temp5,m; j := 1; deduces := []; for i from nops(Results) by to deduces := [op(deduces), [Results[i], j]]; j := j+1; end do; j := 1; for i from nops(Results) by to temp := convert(Results[i][1], string); temp1 := convert(j, string); printf("_ Buoc thu %s : %s \n", temp1, temp); # Xet tung bien ben ve phai for l in SetVars(Results[i][1],nameObj) HVTH: Trần Quốc Cường Trang: 26 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn # Chi xet truong hop khong phai la ket qua if not evalb(l = Results[i][2]) then # Kiem tra co thuoc tap gia thiet if {l} subset map(x>lhs(x),GT) then temp2 := convert(l, string); printf(" %s : gia thiet \n", temp2); else # Kiem tra co thuoc tap suy dien for m in deduces if evalb(m[1][2] = l) then temp3 := convert(m[1][2], string); temp4 := convert(m[2], string); printf(" %s : suy tu buoc thu %s \n", temp3, temp4); end if; end end if; end if; end do; # In ket qua temp5 := convert(Results[i][2], string); printf(" Tinh duoc %s \n", temp5); j := j+1; end do; return deduces; end proc: HVTH: Trần Quốc Cường Trang: 27 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn IV.Kết chương trình: - Bài tốn 1: Cho tam giác ABC, với giả thiết GT sau: bán kính đường trịn nội tiếp r = 3, chu vi p = 4, đoạ n AC = 21 Tính đường cao HB o Nhậ p vào chương trình sau: Tinh({b = 21, p = 4, r = 3}, {hb}, "TAM_GIAC") o Kết xuất ra: _ Buoc thu : S = p*r p : gia thiet r : gia thiet Tinh duoc S _ Buoc thu : S = 1/2*b*hb S : suy tu buoc thu b : gia thiet Tinh duoc hb _ Ket qua hb = 8/7 - Bài toán 2: Cho tam giác ABC với giả thiết sau: đoạn AH = 6, BC = 211, Góc A = 50o Tính đoạn AB o Nhậ p vào chương trình sau: Tinh({b = 211, = 6, GocA = 50}, {a}, "TAM_GIAC") o Kết xuất ra: _ Buoc thu : = b*sin(GocC) b : gia thiet : gia thiet Tinh duoc GocC _ Buoc thu : GocA+GocB+GocC = Pi GocA : gia thiet GocC : suy tu buoc thu Tinh duoc GocB _ Buoc thu : hc = b*sin(GocA) b : gia thiet GocA : gia thiet Tinh duoc hc _ Buoc thu : hc = a*sin(GocB) hc : suy tu buoc thu HVTH: Trần Quốc Cường Trang: 28 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn GocB : suy tu buoc thu Tinh duoc a _ Ket qua a = 211*sin(50)/sin(Pi50arcsin(6/211)) - Bài toán 3: Cho tam giác ABC với giả thiết sau: góc A = 50o, AC = 69 Tính đoạn BC o Nhậ p vào chương trình sau: Tinh({b = 69, GocA = 50}, {a}, "TAM_GIAC") o Kết xuất ra: Khong tim duoc ket qua V Hướng dẫ n sử dụ ng chương trình: - Download phần mềm Maple 13 Tạ o thư mụ c CObject_Knowledge ổ đĩa D, chép files TIA.txt, DIEM.txt,DOAN.txt,DUONG_THANG.txt,GOC.txt, HINH_BINH_HANH.txt, HINH_VUONG.txt, TAM_GIAC.txt, TU_GIAC.txt, OBJECTS.txt, Hierarchy.txt, RELATIONS.txt, RULES.txt - Chép file package “TriangleLib.m” vào thư mụ c lib thư mục cài đặt Maple (thường C:\Program Files\Maple 13\lib) - Sử dụ ng maple để mở file “TieuLuan_Triangle.mw” - Click vào biểu tượng - Đư a trỏ đế n cuối dịng củ a chương trình thự c hiệ n tính để thự c thi chương trình tốn bước II.4 o Bài toán: Cho tứ giác ABCD, với giả thiết sau: Góc A = 60, cạnh AB = 110, cạnh BC = 10, cạnh CD = 120, chu vi p = 190, Góc C = 30, Góc D = 140 Tính diện tích S HVTH: Trần Quốc Cường Trang: 29 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng o GVHD: PGS.TS Đỗ Văn Nhơn Nhậ p vào chương trình sau: tugiac := Tinh({GA = 60, GC = 30, GD = 140, a = 110, b = 10, c = 120, p = 190}, {S}, "TU_GIAC") o Kết xuất ra: _ Buoc thu : a+b+c+d = p a : gia thiet b : gia thiet c : gia thiet p : gia thiet Tinh duoc d _ Buoc thu : GA+GB+GC+GD = 2*Pi GA : gia thiet GC : gia thiet GD : gia thiet Tinh duoc GB _ Buoc thu : 2*S = a*b*sin(GB) +c*d*sin(GD) GB : suy tu buoc thu GD : gia thiet a : gia thiet b : gia thiet c : gia thiet d : suy tu buoc thu Tinh duoc S _ Ket qua S = 550*sin(2*Pi230)3000*sin(140) HVTH: Trần Quốc Cường Trang: 30 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn KẾT LUẬN M hình COKB mơ hình thích hợp cho việc thiết kế s tri thức với khái niệm biểu diễn đố i tượ ng tính tốn, cấ u trúc tường minh giúp dễ dàng thiết kế môđun truy cậ p s tri thức Tiện lợi cho việc thiết kế mơ đun giải tốn tự độ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 đượ c đề 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ầm mềm dạy học với hỗ trợ giải tốn thơng minh Là mơ hình tốt cho việc biểu diễn tri thức người, đặc biệt tri thức Tốn học, Vật lý, Hóa học HVTH: Trần Quốc Cường Trang: 31 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng Chương trình giả i tốn tự độ ng Tốn Hình Họ c phẳ ng THCS đượ c xây dựng bằ ng ứng dụ ng mơ hình COKB cho việc biểu diễn tri thức miề n tri thức Lời giải hện thống tự nhiên, xác phù hợ p cách suy nghĩ người Tuy nhiên việc ứ ng dụng thuậ t toán vào cuả hoc ̣viên coǹ ch a ưsâ u vìv ây cḥ ngươtrinhh ngg̃ khiếm khuyết, mong Thầy nh thêm nhiều kiến thưć công nghệ Em xin chân thành cảm ơn Thầy PGS.TS Đỗ Văn Nhơn, giảng viên chuyên đề Biểu Diễn tri thức Ứng dụng, truyền đạt kiến thức quý báu thuật toán tạo hội làm chuyên đề để hiểu sâu Trận trọng cảm ơn Thầy HVTH: Trần Quốc Cường Trang: 32 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn TÀI LIỆU THAM KHẢO Slide COKB(2011) – components PGS.TS Đỗ Văn Nhơn Phươ ng pháp suy diễn mơ hình COKB dựa tri thức toán mẫ u ứng dụng PGS.TS Đỗ Văn Nhơn Đỗ Văn Nhơ n, Xây dựng hệ tính tốn thơng minh – Xây dựng phát triển mơ hình biểu diễn tri thức cho hệ giả i toán tự độ ng, Luậ n án tiế n sĩ, Đại họ c quốc gia – HCM (20012002) Hoàng Kiếm & Đỗ Văn Nhơ n, Mở rộng phát triển mơ hình tri thức đối tượ ng tính toán, Kỷ yếu Hộ i thảo Quốc Gia Một số v ấn đề chọ n lọ c CNTT, NXB Khoa học kỹ thuật (2005) Đỗ Văn Nhơ n, Kiến trúc hệ giả i tậ p cho ngườ i học kỹ thuậ t thiế t kế, Tạp chí Khoa Học Giáo dục kỹ thuật, Đạ i họ c sư phạ m kỹ thuậ t TpHCM, Số 2(4) 2007 Bộ Giáo dục Đào tạ o, Sách Giáo khoa Bài họ c Bài tậ p lớpTHCS, NXB Giáo dục Hồng Kiếm, Giải Bài tốn Máy tính nào, tậ p 1, NXB Giáo Dục (2000) G Polya, Giải toán nào, Nhà xuấ t bả n Giáo dục (1997) Frank van Harmelem & Vladimir & Bruce, 2008, “Handbook of Knowledge, Representation”, Elsevier Stuart Russell & Peter Norvig, Artificial Intelligence – A modern approach (second edition), Prentice Hall (2003) John F Sowa Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks/Cole (2000) HVTH: Trần Quốc Cường Trang: 33 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn Nhon Do, An ontology for knowledge representation and Applications, Proceeding of World Academy of science, engineer and technology, vol 32, August 2008, ISSN: 2070370 Nhon Van Do, Computational Networks for Knowledge Representation, World Academy of Science, Engineering and Technology, Volume 56, August 2009, ISSN 2070 – 3724 (ICCSISE 2009), Singapore, 2009 Nhon Do & Hien Nguyen, Model for Knowledge Representation using Sample Problems and Designing a Program for automatically solving algebraic problems, World Academy of Science, Engineering and Technology, (ICEEEL 2010), Paris, 2010 Nhon Do, Hien Nguyen, “A reasoning method on Computation Network and Its applications.”, 2011 International MultiConference of Engineers and Computer Scientists, IMECS 2011, ISBN: 9789881821034, pp 137141, Hongkong , March 2011 http://www.maplesoft.com http://maplevn2008.wordpress.com HVTH: Trần Quốc Cường Trang: 34 ... cáo môn học: Biểu Diễn TT Và Ứng Dụng Chương trình giả i tốn tự độ ng Tốn Hình Họ c phẳ ng THCS đượ c xây dựng bằ ng ứng dụ ng mơ hình COKB cho việc biểu diễn tri thức miề n tri thức Lời giải... học: Biểu Diễn TT Và Ứng Dụng Suy Suy Suy Suy GVHD: PGS.TS Đỗ Văn Nhơn từ từ từ từ HVTH: Trần Quốc Cường Trang: 14 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn PHẦN 2: ÁP DỤNG... Trang: 30 Báo cáo môn học: Biểu Diễn TT Và Ứng Dụng GVHD: PGS.TS Đỗ Văn Nhơn KẾT LUẬN M hình COKB mơ hình thích hợp cho việc thiết kế s tri thức với khái niệm biểu diễn đố i tượ ng tính tốn,