Cài đặt cấu trúc lưu trữ mô hình COKB trên ngôn ngữ hướng đối tượng

ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐÀO TẠO THẠC SĨ CNTT QUA MẠNG  BÁO CÁO THU HOẠCH MÔN HỌC BIỂU DIỄN TRI THỨC & ỨNG DỤNG Đề tài: Cài đặt cấu trúc lưu trữ mơ hình COKB ngơn ngữ hướng đối tượng Giáo viên hướng dẫn: PGS.TS Đỗ Văn Nhơn Học viên thực hiện: Du Chí Hào Mã số học viên: CH1101083 Tp.HCM 2012 Lời nói đầu TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Với việc phát triển phân bố ngày rộng rãi tất lĩnh vực, liệu lớn chưa khác thác để tìm thấy tính chất, quy luật, điểm mạnh điểm yếu Do đó, trí tuệ nhân tạo đời, giúp cho máy tính có khả phân tích, suy luận quy luật để tìm tri thức Biểu diễn tri thức phần quan trọng trí tuệ nhân tạo Biểu diễn tri thức áp dụng vào lĩnh vực giáo dục để giải tốn, lý, hóa v.v…; y học để chuẩn đoán bệnh cho bệnh nhân v.v… Trong trình học tập mơn Biểu diễn tri thức ứng dụng, thầy PGS.TS Đỗ Văn Nhơn truyền đạt mô hình COKB (Knowledge Bases of Computational Objects) cài đặt cấu trúc lưu trữ dựa phần mềm Mapple Trong thu hoạch này, em xin nêu ý tưởng cài đặt cấu trúc lưu trữ dựa ngôn ngữ hướng đối tượng, cụ thể sử dụng ngơn ngữ C# Dựa cấu trúc lưu trữ đó, em thực demo để tính tốn dựa tri thức cài đặt sẵn theo mô hình COBK mạng đối tượng tính tốn (Networks of Computaionals Objects) Em xin chân thành cám ơn thầy PGS.TS Đỗ Văn Nhơn truyền đạt kiến thức quý báu cho em môn “Biểu diễn tri thức ứng dụng” để em hồn thành thu hoạch MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Mục lục MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG PHẦN I : CƠ SỞ LÝ THUYẾT I Mơ hình COKB Đối tượng tính tốn Một đối tượng tính tốn (Computational Object) viết tắt C-object bao gồm tính chất sau: a) Nó có thuộc tính có giá trị Một tập hợp bao gồm tất thuộc tính đối tượng O ký hiệu M(O) b) Có quan hệ tính tốn nội thuộc tính bên C-object O Những quan hệ thể theo đặc trưng đối tượng: - Cho tập A M(O) Đối tượng O thể tính chất mà xác định từ A - Đối tượng O cho giá trị thuộc tính cần lấy - Nó cịn thể tiến trình suy diễn nội trình xác định thuộc tính Cấu trúc C-object bao gồm phần chính: Attrs, F, Facts, Rules Trong đó: • • • • Attrs tập thuộc tính F tập biểu thức gọi quan hệ tính tốn Facts tập kiện đối tượng Rules tập luật suy diễn tập Facts Ví dụ: tri thức tam giác bao gồm góc, cạnh v.v… thể qua C-object sau: Attrs = {A, B, C, a, b, c, R, S, p, } F = {A+B+C=π; a/sin(A)=2R; a/sin(A)=b/sin(B); }, MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG b/sin(B)=2R; c/sin(C)=2R; TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Facts = {a+b>c; a+c>b; b+c>a ; …}, Rules = { {a>b}{A>B}; {a=b}{A=B}; {b>c}{B>C}; {a^2= {c>a}{C>A}; b^2+c^2}=>{A=pi/2}; {A=pi/2}=>{a^2 = b^2+c^2, bc}; } Một đối tượng cịn có hành vi cho việc giải toán dựa thuộc tính đối tượng Một đối tượng trang bị khả giải tốn như: a) Xác định bao đóng tập thuộc tính b) Thực thi suy diễn đưa đáp án cho câu hỏi tốn có dạng: xác định số thuộc tính từ số thuộc tính khác cho trước c) Thực thi tính tốn d) Đề xuất hồn tất giả thiết cần thiết Ví dụ: Cho đối tượng tam giác với giả thiết cho trước {a, B, C}, câu hỏi tính diện tích S Đối tượng tam giác cho lời giải gồm ba bước sau: • Bước 1: xác định A, theo quan hệ F: A = π–B–C; • Bước 2: xác định b, theo quan hệ F: b= a.sin(B)/sin(A); • Bước 3: xác định S, theo quan hệ F: S = a.b.sin(C)/2; Thành phần mơ hình COKB Mơ hình sở tri thức C-objects (mơ hình COBK) bao gồm thành phần sau: (C, H, R, Ops, Funcs, Rules) Trong đó: • C: tập khái niệm C-objects Mỗi khái niệm C lớp C-objects MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG • H: tập hợp quan hệ phân cấp khái niệm Quan hệ quan hệ theo thứ tự tập C Hình thể quan hệ đặc biệt lớp tam giác: • R: tập hợp quan hệ khác C-object Trong trường hợp a quan hệ với r quan hệ quan hệ nhị phân quan hệ có tính chất phản xạ, đối xứng, bắt cầu v.v… Ví dụ: quan hệ “Thuộc” điểm đường thẳng, quan hệ “Trung điểm” điểm đoạn thẳng, v.v… • Ops: tập hợp toán tử tập C Thành phần thể phần tri thức toán tử đối tượng Hầu hết miền tri thức có thành phần bao gồm tốn tử Trong hình học giải tích, vector có số tốn tử tích vơ hướng vector, khoảng cách điểm vector v.v… • Funcs: tập hợp hàm C-objects Tri thức hàm loại phổ biến tri thức hầu hết miền tri thức thực tế, đặc biệt lãnh vực khoa học tự nhiên tốn, lý , hóa Ví dụ: hình học giải tích, có hàm sau: khoảng cách điểm, khoảng cách từ điểm tới đường thẳng, phép chiếu điểm đường thẳng mặt phẳng MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG • Rules: tập hợp luật suy diễn Các luật suy diễn thể cho phát biểu, định lý, nguyên lý, công thức v.v… Hầu hết luật viết dạng “if then ” facts tập kiện Theo mơ hình COKB, sở tri thức tổ chức sau: a) Một từ điển gồm khái niệm, bao gồm loại đối tượng, thuộc tính, tốn tử, hàm, quan hệ khái niệm liên quan b) Bảng mô tả cấu trúc chức đối tượng Ví dụ: u cầu tam giác tính tốn trả thuộc tính c) Bảng mơ tả quan hệ phân cấp đối tượng d) Bảng mô tả quan hệ khác khái niệm e) Bảng mô tả biểu diễn tri thức toán tử f) Bảng mô tả biểu diễn tri thức hàm g) Bảng mơ tả loại kiện Ví dụ: Một quan hệ kiện bao gồm loại quan hệ danh sách đối tượng quan hệ h) Bảng mơ tả luật Ví dụ: Một luật suy diễn bao gồm phần lý thuyết phần kết luận Cả hai danh sách kiện i) Một danh sách hay tập hợp luật j) Một danh sách hay tập hợp mẫu tốn Các loại kiện mơ hình COBK Mơ hình COBK gồm có 11 loại kiện chấp nhận Các kiện đề xuất từ trình nghiên cứu yêu cầu thực tế vấn đề miền tri thức khác Sự kiện loại 1: Thông tin loại đối tượng Ví dụ: • ABC tam giác vng • ABCD hình bình hành • Ma trận A ma trận vng MƠN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Sự kiện loại 2: Tính xác định đối tượng hay thuộc tính đối tượng Sự kiện loại 3: Tính xác định đối tượng hay thuộc tính đối tượng thông qua giá trị hay biểu thức Ví dụ: • Trong tam giác ABC, giả sử chiều dài cạnh BC = • Trong mặt phẳng (P) có phương trình 2x + 3y –z + = điểm M có tọa độ (1, 2, 3) Sự kiện loại 4: Sự đối tượng hay thuộc tính đối tượng với đối tượng hay thuộc tính khác Sự kiện loại hay gặp, có nhiều vấn đề liên quan tới sở tri thức Ví dụ: Cho hình bình hành ABCD M N điểm đoạn thẳng AC cho AM = CN Chứng minh hai tam giác ABC CDN Trong toán trên, phải xác định Cobjects Sự kiện loại 5: Sự phụ thuộc đối tượng thuộc tính đối tượng thơng qua cơng thức tính tốn hay đẳng thức theo đối tượng hay thuộc tính khác Ví dụ Trong hình học giải tích: w = 2.u + 3.v; u,v,w vector MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Sự kiện loại 6: Một quan hệ đối tượng hay thuộc tính đối tượng Ví dụ: Hai đường thẳng song song Đường thẳng vng góc với mặt phẳng Một điểm thuộc đoạn thẳng Sự kiện loại 7: Tính xác định hàm Sự kiện loại 8: Tính xác định hàm thông qua giá trị hay biểu thức Sự kiện loại 9: Sự đối tượng với hàm Sự kiện loại 10: Sự hàm với hàm khác Sự kiện loại 11: Sự phụ thuộc hàm theo hàm hay đối tượng khác thông qua cơng thức tính tốn Năm kiện cuối có liên quan đến tri thức hàm thành phần Funcs mơ hình COKB II Mạng đối tượng tính tốn Một quan hệ tính tốn F thuộc tính đối tượng đối tượng gọi mà quan hệ đối tượng Một mạng đối tương tính tốn bao gồm tập C-objects O = {O1, O2, O3, O4, … , On} tập quan hệ tính tốn F = {f1, f2, f3, f4, … , fm} Mạng đối tượng tính tốn ký hiệu (O, F) Các ký hiệu mạng tính tốn: M(fi) = tập thuộc tính đối tượng tính tốn quan hệ fi MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG M = tập thuộc tính C-objects Mi = M M(Oi), i = 1, 2, 3, …, m Mi tập thuộc tính đối tượng Oi Trong mạng C-Objects (O, F), phải giải vấn đề để xác định (hoặc tính tốn) thuộc tính tập G từ thuộc tính cho trước tập H Vấn đề kí hiệu H  G Ví dụ 1: Trong hình đây, giả sử AB = AC, cho trước góc A cạnh BC ABDE ACFG hình vng Tính cạnh EG Bài tốn mơ tả theo mạng C-Objects sau: O = { O1: tam giác ABC với AB = AC, O2: tam giác AEG, O3: hình vng ABDE, O4: hình vng ACFG } F = { f1, f2, f3, f4, f5 } với: • f1: O1.c = O3.c { Cạnh c tam giác ABC = cạnh hình vng ABDE } • f2: O1.b = O4.a { Cạnh b tam giác ABC = cạnh hình vng ACFG } • f3: O2.b = O4.a { Cạnh b tam giác AEG = cạnh hình vng ACFG } MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bước 1: Solution  empty; Bước 2: if G H then begin Solution_found  true; goto step 5; end else Solution_found  false; Bước 3: Repeat Hold  H; Select f F; while not Solution_found and (f found) begin if (applying f from H produces new facts) then begin H  H M(f); Add f to Solution; end; if G H then Solution_found  true; Select new f F; end; { while } Until Solution_found or (H = Hold); Bước 4: if not Solution_found then There is no solution found; MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG else Solution is a solution of the problem; Mơ hình COKB Trong phần trên, thiết kế cài đặt C-objects ngôn ngữ hướng đối tượng Trong phần này, em xin trình bày cách cài đặt cấu trúc lưu trữ mơ hình COKB ngơn ngữ C# Trong mơ hình COKB gồm có thành phần (C, H, R, Ops, Funcs, Rules) Trong cấu trúc lưu trữ C-Objects cài sẵn hai thành phần C H C tập khái niệm đối tượng tính tốn Để lưu trữ C-objects có liên quan đến tốn, xây dựng class MoHinhCOKB để chứa danh sách C-objects thông qua Hashtable Các quan hệ phân cấp H thể qua tính kế thừa ngơn ngữ C# Ví dụ: class TamGiacVuong kế thừa từ class TamGiac class TamGiacVuongCan kế thừa từ TamGiacVuong Khi class TamGiacVuong kết thừa đầy đủ thuộc tính quan hệ nội TamGiac Và TamGiacVuongCan kế thừa đầy đủ thuộc tính quan hệ nội TamGiacVuong TamGiac Hạn chế C# hỗ trợ đơn kế thừa Vì nên khơng thể thể tam giác vuông cân kế thừa từ tam giác cân tam giác vng Chúng ta giải vấn đề cách chuyển sang ngôn ngữ C++ với cấu trúc lưu trữ tương tự Đối với thành phần R, ta sử dụng mảng QuanHeTrenC để thể tất quan hệ C-objects Mảng QuanHeTrenC định dạng sau: QuanHeTrenC = new string[] { TrungDiem:M_TrungDiem_AB:M, AB }; Trong đó: • TrungDiem: Khi chương trình thực thi suy diễn, phương thức TrungDiem tạo kiện (AM = BM v.v…) hay giá trị (như cạnh AM, BM v.v…) thêm kiện tạo MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG vào tập giả thiết để từ chương trình thực thi tiếp phép tính cịn lại • M_TrungDiem_AB: diễn giải cho quan hệ • M, AB: tập thuộc tính có liên quan quan hệ Cách cài đặt cho thành phần lại tương tự Mạng đối tượng tính tốn Mạng đối tượng tính tốn có liên quan đến thành phần: • • • • O: tập các đối tượng tính tốn F: tập quan hệ tính tốn phần tử tập O H: giả thiết cho trước G: kết cần tìm Trong phần trên, ta xây dựng class MoHinhCOKB để chứa thành phần mơ hình COBK Trong đó, Hashtable mơ tả lưu trữ đối tượng tính tốn phân tích giả thiết H Để lưu trữ đối tượng đề Chúng ta quy ước định dạng cho đề sau: Declare:TamGiac|ABC:Canh|AB=4;Canh| AC=3;ChuVi=10#Declare:TamGiac|DEF:Canh|DE=5;Canh|EF=3 Với Declare từ khóa cho việc khai báo đối tượng, “TamGiac| ABC” khai báo kiểu đối tượng tên đối tượng, phần cịn lại “Canh|AB=4;Canh| AC=3;ChuVi=10” giá trị cho thuộc tính Các khai báo cách với ký tự “#” Để khởi tạo C-objects gán giá trị cho thuộc tính Ta tạo phương thức PhanTichDeBai(string giaThietDeBai, string cauHoiDeBai) để khởi tạo đối tượng Các đối tượng chuỗi “giaThietDeBai” thuộc kiểu string Do đó, đoạn code sau khởi tạo đối tượng với loại đối tượng động không xác định trước: Assembly assemply = Assembly.LoadFile(Application.StartupPath + @"\COKB_Model.dll"); MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Type type = assemply.GetTypes().Where(c => c.Name == doiTuong[0]).SingleOrDefault(); object obj = Activator.CreateInstance(type); MethodInfo methodInfo = type.GetMethod("KhoiTaoGiaTri"); methodInfo.Invoke(obj, cacThuocTinhDaCoGiaTri); Trong chuỗi “cacThuocTinhDaCoGiaTri” chuỗi “Canh| AB=4;Canh|AC=3;ChuVi=10” Sau khởi tạo xong đối tượng, gọi phương thức KhoiTaoGiaTri (Xem lại Phần 2.II.1) để gán thuộc tính có giá trị lấy từ đề Sau phương thức PhanTichDeBai, tất đối tượng đề đưa lưu trữ Hashtable để sử dụng Đối với quan hệ tính toán F, ta sử dụng mảng chứa quan hệ F phân tích từ đề Các quan hệ định dạng với kiểu: KieuDoiTuong1|TenDoiTuong1 : KieuThuocTinh|TenThuocTinh = KieuDoiTuong2|TenDoiTuong2 : KieuThuocTinh|TenThuocTinh Ví dụ: cho tam giác ABC tam giác DEF, cạnh AC = cạnh DF viết bằng: TamGiac|ABC:Canh|AC=TamGiac|DEF:Canh|DE Một đề hoàn chỉnh bao gồm khai báo đối tượng (tương ứng với tập O), quan hệ tính tốn (tương ứng với tập F), thuộc tính với giá trị cho trước tập H câu hỏi Để tiến hành suy diễn, ta tạo phương thức BoSuyDienPhatSinhLuat() class MoHinhCOKB Phương thức áp dụng thuật toán phần 1.II để tiến hành suy diễn Như class MoHinhCOKB bao gồm thành phần sau: MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG • Hasstable chứa đối tượng liên quan đến toán từ đề (tương ứng với tập O) • Mảng QuanHeTrenC để chứa quan hệ C-objects • Mảng ToanTuOps hàm ánh xạ để chứa tốn tử • Mảng HamFuncs hàm ánh xạ để chứa hàm tính tốn trả giá trị hàm tính khoảng cách điểm mặt phẳng • Mảng LuậtRules để chứa luật suy diễn C-objects hàm ánh xạ • Một tập QuanHeF để chứa quan hệ tính tốn C-objects phân tích từ đề • Phương thức PhanTichDeBai để phân tích khai báo, quan hệ khởi tạo đối tượng • Phương thức BoSuyDienPhatSinhLuat giải tốn đưa kết dựa thông tin phân tích từ phương thức PhanTichDeBai Trong q trình suy diễn không thấy kết trả về, chương trình tự động tìm kiện cho kết thông qua phương thức DongCoSuyDienNoiTai() đối tượng tính tốn PHẦN III : CHƯƠNG TRÌNH DEMO I Giới thiệu chương trình Trong phần II, em nêu lên ý tưởng thiết kế cài đặt mơ hình COKB ngơn ngữ C# Trong phần này, em xin trình bày demo giải số tập liên quan đến tam giác Trong tập này, em dựa vào ý tưởng để cài đặt mơ hình COKB vào việc giải số toán tam giác Em cài đặt số tri thức tam giác như: ThuocTinh = new string[] { "diem1", "diem2", "diem3", "canh1", "canh2", "canh3", "goc1", "goc2", "goc3", "ChuVi", "DienTich", "duongcao1", "duongcao2", "duongcao3" }; MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG PhepToanF = new string[] { "TinhChuVi:canh1 + canh2 + canh3 = ChuVi:canh1,canh2,canh3,ChuVi", "TinhDienTichTheoDuongCao1:DienTich = duongcao1 * canh2:DienTich,duongcao1,canh2", "TinhDienTichTheoDuongCao2:DienTich = duongcao2 * canh3:DienTich,duongcao2,canh3", "TinhDienTichTheoDuongCao3:DienTich = duongcao3 * canh1:DienTich,duongcao3,canh1", "TongBaGocBangPi:goc1 + goc2 + goc3 = Pi:goc1,goc2,goc3" "CongThucLuongGiac:canh1/sin(goc1) = canh2/sin(goc2):canh1,canh2,goc1,goc2"}; Chương trình cài sẵn số toán mẫu toán từ tam giác đơn giản mạng đối tượng tam giác Qua demo chứng minh tính khả thi áp dụng mơ hình COKB vào ngơn ngữ lập trình Chương trình viết Visual Studio 2010 sử dụng dotNet Framework 4.0 II Chương trình demo Màn hình chương trình gồm có phần: • Đề bài: dùng để nhập đề toán theo định dạng quy ước sẵn • Câu hỏi: dùng để nhập câu hỏi toán theo định dạng quy ước sẵn • Kết quả: trả bước giải đến kết MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Các tốn mẫu xây dựng sẵn chương trình từ đơn giản đến phức tạp dần: MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bài mẫu 1: cho tam giác EXY, cạnh EX = 40, cạnh EY = 30, cạnh XY = 10 Tính chu vi tam giác EXY MƠN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bài mẫu 2: cho tam giác EXY, cạnh EX = 40, cạnh EY = 30, chu vi = 100, đường cao EH = 15 Tính diện tích tam giác EXY MƠN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bài mẫu 3: cho tam giác ABC, góc = 45, góc = 30, cạnh AB = 6, chu vi = 30, diện tích = 50 Tính đường cao BH MƠN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bài mẫu 4: Bài toán mạng gồm đối tượng tính tốn: Cho tam giác ABC, cạnh AB = 4, cạnh AC = 3, đường cao AH = 5, diện tích tam giác ABC = 20 Tam giác DEF với cạnh DE = 5, cạnh EF = Cho biết chu vi tam giác Tính cạnh DF tam giác DEF MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG Bài mẫu 5: Bài tốn mẫu mạng gồm đối tượng tính tốn: Cho tam giác ABC với diện tích = 30, đường cao BH = 15 Tam giác DEF với diện tích = 50, đường cao DK = 20 Tam giác XYZ với cạnh XZ = 10, Cạnh YZ = 20, Chu Vi = 35 Biết cạnh AC tam giác ABC = cạnh DE tam giác DEF, cạnh DF tam giác DEF = cạnh XY tam giác XYZ Tính chu vi tam giác DEF MƠN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CƠNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG PHẦN IV : KẾT LUẬN Qua thu hoạch này, em có điều kiện tìm hiểu sâu thêm biểu diễn tri thức mơ hình COKB thuật toán áp dụng việc tìm kết tốn Em giới thiệu chương trình demo source code kèm theo thu hoạch Hiện tại, mơ hình cài đặt trình nghiên cứu phát triển thêm nên khơng đáp ứng đầy đủ u cầu mà mơ hình COKB đặt Và liệu tri thức hardcode class C-objects Em cố gắng nghiên cứu thêm để hồn thiện thêm hiệu tính tốn tri thức phải lưu trữ động, có nghĩa người dùng tự thêm, sửa, xóa tri thức theo mơ hình biểu diễn tri thức Tuy nhiên thời gian kiến thức cịn gói gọn môn học nên chuyên đề không tránh thiếu sót, em mong nhận đóng góp xây dựng tích cực thầy PGS.TS Đỗ Văn Nhơn bạn đọc Kính xin cám ơn giảng viên phụ trách mơn học giảng dạy nhiệt tình bảo nhiều giúp thân em hoàn thành đề tài Xin cám ơn bạn theo dõi Mong nhận đánh giá nhận xét thầy bạn MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THƠNG TIN CHƯƠNG TRÌNH ĐẠO TẠO THẠC SĨ CNTT QUA MẠNG PHẦN V : TÀI LIỆU THAM KHẢO Model for Knowledge Bases of Computational Objects; PGS TS Đỗ Văn Nhơn, May 2010 Intelligent Problem Solvers in Education: Design Method and Applications; PGS TS Đỗ Văn Nhơn 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; PGS TS Đỗ Văn Nhơn, Nguyễn Đình Hiển Reflection in Assemply Class: http://msdn.microsoft.com/enus/library/system.reflection.assembly%28v=vs.71%29.aspx MÔN HỌC : BIỂU DIỄN TRI THỨC & ỨNG DỤNG ... mơ hình COKB (Knowledge Bases of Computational Objects) cài đặt cấu trúc lưu trữ dựa phần mềm Mapple Trong thu hoạch này, em xin nêu ý tưởng cài đặt cấu trúc lưu trữ dựa ngôn ngữ hướng đối tượng, ... O1.c, O3.a, O4.a, O2.b, O2.c, O2.a} PHẦN II : CÀI ĐẶT CẤU TRÚC LƯU TRỮ CỦA MÔ HÌNH COKB TRÊN NGƠN NGỮ HƯỚNG ĐỐI TƯỢNG I Tổng quan Mơ hình COKB cài đặt thành cơng thể tính khả thi xây dựng chương... Trong phần trên, thiết kế cài đặt C-objects ngôn ngữ hướng đối tượng Trong phần này, em xin trình bày cách cài đặt cấu trúc lưu trữ mơ hình COKB ngơn ngữ C# Trong mơ hình COKB gồm có thành phần