ỨNG DỤNG MẠNG đối TƯỢNG TÍNH TOÁN xây DỰNG PACKAGE GIẢI TOÁN tự ĐỘNG TRONG MAPLE

Ket-noi.com diễn đàn công nghệ, giáo dục ĐẠI HỌC QUỐC GIA TP HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA: KHOA HỌC MÁY TÍNH  BÁO CÁO MÔN HỌC LẬP TRÌNH SYMBOLIC ỨNG DỤNG MẠNG ĐỐI TƯỢNG TÍNH TOÁN XÂY DỰNG PACKAGE GIẢI TOÁN TỰ ĐỘNG TRONG MAPLE Giảng viên hướng dẫn : PGS TS ĐỖ VĂN NHƠN Sinh viên thực hiện: Lớp : CH06 Khoá : 2012-2013 NGUYỄN KHẮC MẪN _ CH1101102 TP Hồ Chí Minh, tháng năm 2013 LỜI CẢM ƠN Trước tiên, xin gởi lời cảm ơn chân thành đến Thầy hướng dẫn tôi, PGS.TS Đỗ Văn Nhơn Trong suốt trình làm báo cáo, Thầy giúp đặt vấn đề, tìm hiểu vấn đề giải vấn đề cách khoa học Tôi xin gởi lời cảm ơn chân thành đến quí thầy cô khoa Khoa học Máy tính, tất quý thầy cô trường Đại Học Công Nghệ Thông Tin tận tình giảng dạy truyền đạt kiến thức cho suốt trình học tập TP Hồ Chí Minh, tháng năm 2013 Nguyễn Khắc Mẫn Nguyễn Khắc Mẫn _ CH1101102 NHẬN XÉT (Của giảng viên hướng dẫn) ……………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… Nguyễn Khắc Mẫn _ CH1101102 ……………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………………………………………………… ………………………………………….………………… Mục Lục Nguyễn Khắc Mẫn _ CH1101102 BÁO CÁO LẬP TRÌNH SYMBOLIC Nguyễn Khắc Mẫn Trường Đại Học Công Nghệ Thông Tin - Khoa Khoa Học Máy Tính Lớp: CH06 – MSHV: CH1101102 Tóm tắt: Mô hình mạng đối tượng tính toán đưa PGS.TS.Đỗ Văn Nhơn Đây mô hình biểu diễn tri thức để giải vấn đề giải toán tự động Trong báo cáo tìm hiểu mô hình mạng đối tượng tính toán số thuật toán giải vấn đề mạng đối tượng tính toán Bên cạnh xây dựng package giải toán tự động dựa mạng đối tượng tính toán Cuối báo cáo đưa nhận xét hướng phát triển mở rộng mạng đối tượng tính toán I MÔ HÌNH TRI THỨC CÁC ĐỐI TƯỢNG TÍNH TOÁN 1.1 Định nghĩa đối tượng tính toán (C-Object): Ta gọi đối tượng tính toán (C-object) đối tượng O có cấu trúc bao gồm : (1) Một danh sách thuộc tính Attr(O) = {x1, 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 toán (2) Các hành vi liên quan đến suy diễn tính toá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), tức đối tượng O có khả cho ta biết tập thuộc tính lớn suy từ A đối tượng O  Xác định tính giải toán suy diễn tính toán có dạng A → B với A ⊂ Attr(O) B ⊂ Attr(O) Nói cách khác, đối tượng có khả trả lời câu hỏi suy thuộc tính B từ thuộc tính A không  Thực tính toán Nguyễn Khắc Mẫn _ CH1101102 1.2  Thực việc gợi ý bổ sung giả thiết cho toán  Xem xét tính xác định đối tượng, hay kiện Mô hình cho C-Object Một C-Object mô hình hoá (Attrs,F,Fact,Rule) Trong đó: - Attrs tập hợp thuộc tính đối tượng - F tập hợp quan hệ suy diễn tính toán - Facts tập hợp tính chất hay kiện vốn có đố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 thân đối tượng 1.3 Mô hình tri thức đối tượng tính toán (COKB) Để có 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 C-Object ta cần phải xem xét khái niệm C-Object hệ thống khái niệm C-Object với loại kiện, loại quan hệ khác dạng luật khác liên quan đến chúng Ta xem xét mô hình tri thức gọi mô hình tri thức C-Object Mô hình tri thức C-Object , 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 C-Object Mỗi khái niệm lớp C-Object có cấu trúc phân cấp theo thiết lập cấu trúc đối tượng: [1] Các biến thực [2] 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 (ví dụ DIEM thuộc tính giá trị thực hình học phẳng) Các đối tượng loại nầy làm cho đối tượng cấp cao Nguyễn Khắc Mẫn _ CH1101102 [3] Các đối tượng C-Object cấp Loại đối tượng nầy có thuộc tính loại thiết lập từ danh sách đối tượng Ví dụ: DOAN[A,B] GOC[A,B,C] A, B, C đối tượng loại DIEM [4] Các đối tượng C-Object cấp Loại đối tượng nầy có thuộc tính loại real thuộc tính thuộc loại đối tượng cấp 1, đối tượng thiết lập danh sách đối tượng Ví dụ: TAM_GIAC[A,B,C] TU_GIAC[A,B,C,D], A, B, C, D đối tượng loại DIEM Cấu trúc bên lớp đối tượng gồm: - Kiểu đối tượng Kiểu nầy loại kiểu thiết lập danh sách đối tượng - Danh sách thuộc tính, thuộc tính có kiểu thực, kiểu đối tượng hay kiểu đối tượng cấp thấp - Quan hệ cấu trúc thiết lập Quan hệ nầy thể kiện liên hệ đối tượng đối tượng (tức đối tượng thuộc danh sách đối tượng nền) - Tập hợp điều kiện ràng buộc thuộc tính - Tập hợp tính chất nội liên quan đến thuộc tính đối tượng Mỗi tính chất nầy cho ta kiện đối tượng - Tập hợp quan hệ suy diễn - tính toán Mỗi quan hệ thể qui luật suy diễn cho phép ta tính toán hay số thuộc tính nầy từ số thuộc tính khác đối tượng - Tập hợp luật suy diễn loại kiện khác liên quan đến thuộc tính đối tượng hay thân đối tượng Mỗi luật suy diễn có dạng: {các kiện giả thiết}⇒{các kiện kết luận} Cùng với cấu trúc trên, đối tượng trang bị hành vi việc giải toán suy diễn tính toán thuộc tính đối tượng, thân đối tượng hay đối tượng liên quan thiết lập đối tượng (nếu đối tượng thiết lập danh sách đối tượng đó) Nguyễn Khắc Mẫn _ CH1101102 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 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 quan hệ thứ tự C Một tập hơp R khái niệm loại quan hệ C-Object 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 Ví dụ: Quan hệ phương đoạn thẳng có tính chất phản xạ, đối xứng 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 toán số học tính toá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 phân lớp 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 Như vậy, luật r mô hình dạng: r : {sk1, sk2, , skn} ⇒ { sk1, sk2, , skm } Để mô hình luật dẫn có hiệu lực sở tri thức để khảo sát thuật giải để giải toán, ta cần định nghĩa dạng kiện khác luật Dưới định nghĩa cho loại kiện khác xem xét mô hình - Định nghĩa: (Các loại kiện) Nguyễn Khắc Mẫn _ CH1101102 Sự kiện thông tin loại đối tượng Ta biểu diễn kiện nầy cấu (1) trúc danh sách: [, ] Ví dụ: [Ob1, “TAM_GIAC”] hay [Ob2, “TAM_GIAC[A,B,C]”] Sự kiện tính xác định đối tượng (các thuộc tính coi biết) (2) hay thuộc tính Ta biểu diễn kiện loại nầy tên đối tượng hay tên thuộc tính đối tượng: | . Ví dụ: Obj, Obj.a, Obj.DOAN[A,B] * Ghi chú: trường hợp đối tượng cấu thành từ đối tượng khác viết theo phương thức cấu trúc Ví dụ: O1 : TAM_GIAC[A,B,C]; O1.GocA viết O1.GOC[C,A,B] O1.a viết O1.DOAN[B,C] Sự kiện xác định thuộc tính hay đối tượng thông qua (3) biểu thức : = hay = Ví dụ: Obj.a = 5, DOAN[A,B] = m, GOC[A,B,C] = π/3 Sự kiện đối tượng hay thuộc tính với đối (4) tượng hay thuộc tính khác Sự nầy đối tượng hiểu theo nghĩa thuộc tính tương ứng chúng Sự kiện loại nầy viết dạng: | . = | . Ví dụ: Ob1.a = Ob2.a, Ob1.a = DOAN[C,D], Ob1 = Ob2 (5) Sự kiện phụ thuộc đối tượng hay thuộc tính theo đối tượng hay thuộc tính khác thông qua công thức tính toán Loại kiện nầy có dạng : Nguyễn Khắc Mẫn _ CH1101102 | . = Ví dụ: O1.a = O2.a + 2*O2.b (6) Sự kiện quan hệ đối tượng hay thuộc tính đối tượng Sự kiện loại nầy biểu diễn cấu trúc danh sách có dạng: [, , , ], hay [, {, , } ] (cách biểu diễn thứ sử dụng cho trường hợp quan hệ có tính đối xứng truyền phần tử khác đôi một) Ví dụ: [“SSONG”, DOAN[A,B], DOAN[C,D]], [“THUOC”, M, DOAN[B,C]], [“VUONG”, Ob1.a, Ob2.b] Một ví dụ áp dụng mô hình COKB biểu diễn tri thức tam giác tứ giác hình học phẳng theo mô hình tri thức C-Object ([3]) Một phần lớn kiến thức hình học giải tích chiều hay kiến thức phản ứng hóa học biểu diễn theo mô hình nầy Cách biểu diễn kiến thức theo mô hình nầy có nhiều ưu điểm thuận lợi cho việc thiết kế sở tri thức truy cập dễ dàng môđun quản trị tri thức môđun giải toán tra cứu kiến thức Đặc biệt mô hình giúp ta thiết kế thuật giải để giải toán tự động Mô hình tri thức C-Object giúp ta có tổ chức sở tri thức chặc chẽ tiện lợi cho việc hiệu chỉnh, truy cập cho việc sử dụng tri thức giải tự động toán Mô hình thể ưu lợi ích chúng việc thiết kế chương trình giải toán thông minh dựa tri thức Nguyễn Khắc Mẫn _ CH1101102 #Tap bien GocA GocB GocC a b c hb hc ma mb mc pa pb pc rb rc S p R r #Ket thuc #Tap quan he GocA+GocB+GocC=Pi a^2=b^2+c^2-2*b*c*cos(GocA) Nguyễn Khắc Mẫn _ CH1101102 b^2=a^2+c^2-2*a*c*cos(GocB) c^2=a^2+b^2-2*a*b*cos(GocC) a*sin(GocB)=b*sin(GocA) b*sin(GocC)=c*sin(GocB) a*sin(GocC)=c*sin(GocA) a=2*R*sin(GocA) b=2*R*sin(GocB) c=2*R*sin(GocC) p=(a+b+c)/2 S=a*ha/2 S=b*hc/2 S=c*hc/2 S=p*r S=sqrt(p*(p-a)*(p-b)*(p-c)) S=b*c*sin(GocA)/2 S=a*c*sin(GocB)/2 S=a*b*sin(GocC)/2 ha=b*sin(GocC) ha=c*sin(GocB) hb=a*sin(GocC) hb=c*sin(GocA) hc=a*sin(GocB) hc=b*sin(GocA) #Ket thuc #Tinh chat S>0 p>0 Nguyễn Khắc Mẫn _ CH1101102 R>0 r>0 #Ket thuc #Tap luat [{GocA=GocB},{a=b}] [{a=b},{GocA=GocB}] [{GocB=GocC},{b=c}] [{b=c},{GocB=GocC}] [{GocA=Pi/2},{a^2=b^2+c^2}] [{GocB=Pi/2},{b^2=a^2+c^2}] [{GocC=Pi/2},{c^2=a^2+b^2}] [{a^2=b^2+c^2},{GocA=Pi/2}] [{b^2=a^2+c^2},{GocB=Pi/2}] [{c^2=a^2+b^2},{GocC=Pi/2}] [{a=b,b=c},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] [{a=c,c=b},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] [{b=a,a=c},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] [{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3},{a=b,b=c}] [{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3},{a=c,c=b}] [{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3},{b=a,a=c}] [{GocA=GocB,GocB=GocC},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] [{GocA=GocC,GocC=GocB},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] [{GocB=GocA,GocA=GocC},{GocA=Pi/3,GocB=Pi/3,GocC=Pi/3}] #Ket thuc #Ket thuc doi tuong Nguyễn Khắc Mẫn _ CH1101102 #Doi tuong #Ten Tu_giac #Ket thuc #Tap bien a b c d c1 c2 GocA GocB GocC GocD S p #Ket thuc #Tap quan he GocA+GocB+GocC+GocD=2*Pi a+b+c+d=p 2*S=a*d*sin(GocA)+b*c*sin(GocC) 2*S=a*b*sin(GocB)+c*d*sin(GocD) #Ket thuc #Tinh chat S>0 Nguyễn Khắc Mẫn _ CH1101102 p>0 #Ket thuc #Tap luat [{["SS",a,c]},{GocD=Pi-GocA,GocC=Pi-GocB}] [{GocD=Pi-GocA},{["SS",a,c]}] [{GocC=Pi-GocB},{["SS",a,c]}] [{["SS",b,d]},{GocB=Pi-GocA,GocD=Pi-GocC}] [{GocB=Pi-GocA},{["SS",b,d]}] [{GocD=Pi-GocC},{["SS",b,d]}] [{a=c,b=d},{["SS",a,c],["SS",b,d]}] [{["SS",a,c],["SS",b,d]},{a=c,b=d}] #Ket thuc #Ket thuc doi tuong 2.2 Tổ chức sở tri thức toán Trong phần thiết kế file tổ chức tri thức toán Các thông tin toán mạng đối tượng tính toán lưu trữ dạng tập tin văn có cấu trúc Cấu trúc lưu trữ tập tin đề toán : #Doi tuong #Ten #Ket thuc #Ki hieu #Ket thuc Nguyễn Khắc Mẫn _ CH1101102 #Gia thuyet #Ket thuc #Ket luan #Ket thuc #Ket thuc doi tuong … #Doi tuong #Ten #Ket thuc #Ki hieu #Ket thuc #Gia thuyet #Ket thuc #Ket luan #Ket thuc Nguyễn Khắc Mẫn _ CH1101102 #Ket thuc doi tuong #Quan he #Ket thuc quan he Ví dụ: sở tri thức toán #Doi tuong #Ten Tam_giac #Ket thuc #Ki hieu O1 #Ket thuc #Gia thuyet O1.GocB=Pi/2 O1.b #Ket thuc Nguyễn Khắc Mẫn _ CH1101102 #Ket luan #Ket thuc #Ket thuc doi tuong #Doi tuong #Ten Tu_giac #Ket thuc #Ki hieu O2 #Ket thuc #Gia thuyet O2.GocC O2.d O2.c1 O2.a O2.b ["SS",O2.a,O2.c] #Ket thuc #Ket luan O2.S #Ket thuc Nguyễn Khắc Mẫn _ CH1101102 #Ket thuc doi tuong #Quan he O2.c1=O1.b O1.c=O2.d O2.c=O1.a O2.GocD=O1.GocB #Ket thuc quan he 2.3 Package mạng đối tượng tính toán 2.3.1 Tính package Package cung cấp hàm thao tác với với đối tượng tính toán chẳng hạn hỗ trợ load sở tri thức từ file, hỗ trợ load đề từ file, hỗ trợ giải toán mạng đối tượng tính toán (tìm lời giải, tìm lời giải tối ưu) … 2.3.2 Các hàm package - readObjectKnowledge readHypothesises CobjectsParsing CobjectsNetParsing ProposingAndConclusion FindSolutionInNet BestSolution SolutionParsing IsSolution SetVars GetOneVarExpression 2.3.3 Hướng dẫn sử dụng Package Cách 1: - Copy file MangDoiTuongTinhToan.m vào thư mục cài đặt maple Sử dụng lệnh with (MangDoiTuongTinhToan;) để load package Sử dụng hàm package hàm maple Cách 2: Nguyễn Khắc Mẫn _ CH1101102 - Sử dụng lệnh libname := libname, “đường dẫn đến thư mục chứa package máy”; để định đường dẫn đến package MangDoiTuongTinhToan.m - Sử dụng lệnh with (MangDoiTuongTinhToan;) để load package Sử dụng hàm package hàm maple 2.3.4 Hướng dẫn sử dụng hàm package - readObjectKnowledge (filename) Chức năng: load file sở tri thức đối tượng tính toán Đối số: filename: đường dẫn đến file chứa thông tin sở tri thức đối tượng tính toán (lưu ý cấu trúc file sở tri thức phải theo cách qui định - - - (tham khảo file “Tri thuc.txt” thư mục test để biết cấu trúc file)) Giá trị trả về: Danh sách tri thức đối tượng tính toán, đối tượng danh sách gồm: o Tên đối tượng tính toán o Tập thuộc tính đối tượng tính toán o Tập quan hệ đối tượng tính toán Ví dụ: knowledge := readObjectKnowledge (“D:/Package Mang Doi Tuong Tinh Toan/test/Tri thuc/Tri thuc.txt”); readHypothesises (filename) Chức năng: load file đề toán Đối số: filename: đường dẫn đến file chứa thông tin toán bao gồm phần giả thiết, kết luận, thuộc tính đối tượng mối quan hệ chúng (lưu ý cấu trúc file đề phải theo cách qui định (tham khảo file - “de1.txt” thư mục test để biết cấu trúc file)) Gía trị trả về: Danh sách toán, bao gồm: o Danh sách tri thức đối tượng có đề bài, danh sách bao gồm:  Tên đối tượng  Kí hiệu  Giả thiết  Kết luận (giá trị cần tìm) o Danh sách quan hệ đối tượng toán - Ví dụ: hypothesises := readHypothesises (“D:/Package Mang Doi Tuong Tinh Toan/test/De/de1.txt”); CobjectsParsing (Hypothieses, Knowledge) Nguyễn Khắc Mẫn _ CH1101102 - Chức năng: chuyển sở tri thức sang dạng đối tượng tính toán Đối số: o Hypothesises: giả thiết, danh sách giả thiết lấy từ hàm o - - readHypothesises Knowledge: sở tri thức, danh sách sở tri thức đối tượng tính toán lấy từ hàm readObjectKnowledge Gía trị trả về: Danh sách đối tượng tính toán, đối tượng tính toán bao gồm: o Tên đối tượng o Tập thuộc tính o Tập quan hệ đối tượng Ví dụ: Cobjects := CobjectsParsing (Hypothieses, Knowledge); CobjectsNetParsing (Cobjects, Hypothesises, Knowledge) Chức năng: Chuyển đối tượng tính toán thành mạng tính toán Đối số: o Cobjects: danh sách đối tượng tính toán lấy từ hàm CobjectsParsing o Hypothesises: danh sách giả thiết, danh sách giả thiết lấy từ hàm readHypothesises o Knowledge: danh sách sở tri thức, danh sách sở tri thức - đối tượng tính toán lấy từ hàm readObjectKnowledge Gía trị trả về: Mạng đối tượng tính toán o Tập hợp đối tượng tính toán mạng, phần tử đối tượng tính toán bao gồm:  Tên đối tượng  Tập thuộc tính  Tập quan hệ đối tượng o Tập thuộc tính mạng đối tượng tính toán - Ví dụ: CobjectsNet := CobjectsNetParsing (Cobjects, Hypothesises, Knowledge); ProposingAndConclusion (Hypothesises) Chức năng: trích xuất danh sách giả thiết kết luận từ đề Đối số: Hypothesises:đề toán lấy từ hàm readHypothesises Giá trị trả về: Danh sách giả thiết, kết luận Ví dụ: PropAndCon:=ProposingAndConclusion (Hypothesises); FindSolutionInNet (CObjectsNet, PropAndCon) Chức năng: tìm lời giải cho toán mạng tính toán Đối số: o CobjectsNet: Mạng đối tượng tính toán o PropAndCon: Danh sách giả thiết, kết luận Nguyễn Khắc Mẫn _ CH1101102 - Giá trị trả về: Danh sách lời giải cho toán mạng tính toán Ví dụ: Solutions := FindSolutionInNet (CObjectsNet, PropAndCon); BestSolution (Hypothesises, Solutions) Chức năng: Tìm lời giải tốt cho toán mạng tính toán từ lời giải - sẵn có Đối số: - o o - III Hypothesises:đề toán lấy từ hàm readHypothesises Solutions: lời giải cho toán A - > B lấy từ hàm FindSolutionInNet Giá trị trả về: Danh sách lời giải tốt cho toán A -> B mạng tính toán Ví dụ: BstSol := BestSolution (Hypothesises, Solutions); SolutionParsing (Solution) Chức năng: Chuyển đổi danh sách lời giải sang chuỗi Đối số: Solution: Danh sách lời giải cho toán A -> B Giá trị trả về: Chuỗi lời giải cho toán A -> B Ví dụ: StrSolution := SolutionParsing (Solution); KẾT QUẢ THỬ NGHIỆM PACKAGE TRÊN MỘT SỐ BÀI TOÁN MẪU Cho đề toán sau sử dụng package mạng đối tượng tính toán để tìm lời giải: Nguyễn Khắc Mẫn _ CH1101102 Cho hình thang ABCD vuông B có cạnh AC = a, CD = b, BD=c, BA = d, AD = c1 Tính diện tích hình thang ABCD? Load package đối tượng mạng tính toán > Khai báo sử dụng package chương trình > Đọc sở tri thức từ file > Nguyễn Khắc Mẫn _ CH1101102 Đọc đề toán từ file > Chuyển sở tri thức sang đối tượng tính toán > Chuyển đối tượng tính toán thành mạng đối tượng tính toán > Đọc danh sách giả thiết kết luận > Tìm lời giải cho toán mạng đối tượng tính toán Nguyễn Khắc Mẫn _ CH1101102 > IV TÀI LIỆU THAM KHẢO [1] Mạng tính toán ứng dụng, TS Đỗ Văn Nhơn [2] Ch4_Cobject_Kmodel, TS Đỗ Văn Nhơn [3] Ch4_CObject_Net, TS Đỗ Văn Nhơn Nguyễn Khắc Mẫn _ CH1101102 [...]... thang ABCD? Load package đối tượng mạng tính toán > Khai báo sử dụng package trong chương trình > Đọc cơ sở tri thức từ file > Nguyễn Khắc Mẫn _ CH1101102 Đọc đề bài toán từ file > Chuyển cơ sở tri thức sang đối tượng tính toán > Chuyển đối tượng tính toán thành mạng đối tượng tính toán > Đọc danh sách giả thiết và kết luận > Tìm lời giải cho bài toán trên mạng đối tượng tính toán Nguyễn Khắc Mẫn _ CH1101102... về các đối tượng tính toán được lấy từ hàm readObjectKnowledge Gía trị trả về: Danh sách các đối tượng tính toán, mỗi đối tượng tính toán bao gồm: o Tên đối tượng o Tập các thuộc tính o Tập các quan hệ trên đối tượng Ví dụ: Cobjects := CobjectsParsing (Hypothieses, Knowledge); CobjectsNetParsing (Cobjects, Hypothesises, Knowledge) Chức năng: Chuyển các đối tượng tính toán thành mạng tính toán Đối số:... O2.c=O1.a O2.GocD=O1.GocB #Ket thuc quan he 2.3 Package mạng đối tượng tính toán 2.3.1 Tính năng của package Package cung cấp các hàm thao tác với với các đối tượng tính toán chẳng hạn như hỗ trợ load cơ sở tri thức từ file, hỗ trợ load đề bài từ file, hỗ trợ giải bài toán bằng mạng đối tượng tính toán (tìm lời giải, tìm lời giải tối ưu) … 2.3.2 Các hàm trong package - readObjectKnowledge readHypothesises... sách các đối tượng tính toán được lấy từ hàm CobjectsParsing o Hypothesises: danh sách giả thiết, danh sách giả thiết được lấy từ hàm readHypothesises o Knowledge: danh sách cơ sở tri thức, danh sách cơ sở tri thức về các - đối tượng tính toán được lấy từ hàm readObjectKnowledge Gía trị trả về: Mạng đối tượng tính toán o Tập hợp các đối tượng tính toán trên mạng, mỗi phần tử đối tượng tính toán bao... về: Danh sách về tri thức các đối tượng tính toán, mỗi một đối tượng là một danh sách gồm: o Tên đối tượng tính toán o Tập các thuộc tính của đối tượng tính toán o Tập các quan hệ của đối tượng tính toán Ví dụ: knowledge := readObjectKnowledge (“D: /Package Mang Doi Tuong Tinh Toan/test/Tri thuc/Tri thuc.txt”); readHypothesises (filename) Chức năng: load file đề bài toán Đối số: filename: đường dẫn đến... lời giải cho bài toán trên mạng tính toán Đối số: o CobjectsNet: Mạng đối tượng tính toán o PropAndCon: Danh sách giả thiết, kết luận Nguyễn Khắc Mẫn _ CH1101102 7 - Giá trị trả về: Danh sách lời giải cho bài toán trên mạng tính toán Ví dụ: Solutions := FindSolutionInNet (CObjectsNet, PropAndCon); BestSolution (Hypothesises, Solutions) Chức năng: Tìm lời giải tốt nhất cho bài toán trên mạng tính toán. .. load package Sử dụng các hàm trong package như hàm của maple 2.3.4 Hướng dẫn sử dụng các hàm trong package 1 - readObjectKnowledge (filename) Chức năng: load file cơ sở tri thức các đối tượng tính toán Đối số: filename: đường dẫn đến file chứa thông tin về một cơ sở tri thức các đối tượng tính toán (lưu ý cấu trúc file cơ sở tri thức phải đúng theo cách qui định - - 2 - (tham khảo file “Tri thuc.txt” trong. .. lời giải cho bài toán A -> B Giá trị trả về: Chuỗi lời giải cho bài toán A -> B Ví dụ: StrSolution := SolutionParsing (Solution); KẾT QUẢ THỬ NGHIỆM PACKAGE TRÊN MỘT SỐ BÀI TOÁN MẪU Cho đề bài toán sau sử dụng package mạng đối tượng tính toán để tìm lời giải: Nguyễn Khắc Mẫn _ CH1101102 Cho hình thang ABCD vuông tại B có cạnh AC = a, CD = b, BD=c, BA = d, AD = c1 Tính diện tích hình thang ABCD? Load package. .. về các bài toán Trong phần này chúng ta sẽ thiết kế file tổ chức tri thức về bài toán Các thông tin về các bài toán trên mạng đối tượng tính toán có thể được lưu trữ dưới dạng tập tin văn bản có cấu trúc Cấu trúc lưu trữ của tập tin đề bài toán : #Doi tuong #Ten #Ket thuc #Ki hieu #Ket thuc Nguyễn Khắc Mẫn _ CH1101102 #Gia thuyet #Ket... tử đối tượng tính toán bao gồm:  Tên đối tượng  Tập các thuộc tính  Tập các quan hệ trên đối tượng o Tập các thuộc tính trên mạng đối tượng tính toán 5 6 - Ví dụ: CobjectsNet := CobjectsNetParsing (Cobjects, Hypothesises, Knowledge); ProposingAndConclusion (Hypothesises) Chức năng: trích xuất danh sách giả thiết và kết luận từ đề bài Đối số: Hypothesises:đề bài toán được lấy từ hàm readHypothesises ... báo cáo tìm hiểu mô hình mạng đối tượng tính toán số thuật toán giải vấn đề mạng đối tượng tính toán Bên cạnh xây dựng package giải toán tự động dựa mạng đối tượng tính toán Cuối báo cáo đưa nhận... tri thức - đối tượng tính toán lấy từ hàm readObjectKnowledge Gía trị trả về: Mạng đối tượng tính toán o Tập hợp đối tượng tính toán mạng, phần tử đối tượng tính toán bao gồm:  Tên đối tượng ... trên, đối tượng trang bị hành vi việc giải toán suy diễn tính toán thuộc tính đối tượng, thân đối tượng hay đối tượng liên quan thiết lập đối tượng (nếu đối tượng thiết lập danh sách đối tượng