Powerpoint Templates Page 1 Phát triển một mô hình biểu diễn tri thức hàm & Phương pháp giải quyết các vấn đề Học viên: Nguyễn Thị Ngọc Diễm Hướng dẫn: PGS.TS Đỗ Văn Nhơn Powerpoint Templates Page 2 Nội dung 1.Mục tiêu của luận văn 2.Mô hình tri thức các đối tượng tính toán rút gọn 3.Vấn đề trên mô hình COKB rút gọn 4.Ứng dụng thiết kế hệ giải toán Hình học Không gian 5.Kết luận Powerpoint Templates Page 3 Nội dung 1.Mục tiêu của luận văn 2.Mô hình tri thức các đối tượng tính toán rút gọn 3.Vấn đề trên mô hình COKB rút gọn 4.Ứng dụng thiết kế hệ giải toán Hình học Không gian 5.Kết luận Powerpoint Templates Page 4 1. Mục tiêu luận văn • Về lý thuyết: o Đề tài tập trung nghiên cứu các thành phần của mô hình COKB liên quan tới khái niệm hàm. o Xây dựng và cải tiến thuật giải suy luận giải quyết một số vấn đề trên mô hình tri thức đó. • Về mặt thử nghiệm: o Xây dựng ứng dụng này sẽ giải các bài toán trong phạm vi miền tri thức hoat Hình học không gian nhằm hỗ trợ nhu cầu học tập của học sinh Trung học Phổ thông. o Chương trình cho lời giải theo từng bước thể hiện quá trình suy luận. o Lời giải được đưa ra bởi các chương trình phù hợp với lời giải tự nhiên của con người. Powerpoint Templates Page 5 Nội dung 1.Mục tiêu của luận văn 2.Mô hình tri thức các đối tượng tính toán rút gọn 3.Vấn đề trên mô hình COKB rút gọn 4.Ứng dụng thiết kế hệ giải toán Hình học Không gian 5.Kết luận Powerpoint Templates Page 6 2. Mô hình tri thức các đối tượng tính toán rút gọn • Mô hình COKB rút gọn gồm 5 thành phần (C, H, R, Funcs, Rules) • Trong đó: o C là tập các khái niệm của đối tượng tính toán, mỗi đối tượng có cấu trúc là một đối tượng tính toán o H là tập các quan hệ phân cấp trên C o R là tập các quan hệ trên C o Funcs là tập hợp các hàm Rules là tập hợp các luật Powerpoint Templates Page 7 Phân loại sự kiện Mô hình COKB rút gọn sử dụng 12 loại sự kiện của mô hình COKB 6 thành phần. Powerpoint Templates Page 8 Đặc tả và nguyên tắc hoạt động của thành phần tri thức Hàm Powerpoint Templates Page 9 Phân loại hàm Sau khi khảo sát các khái niệm, các tính chất và các đặc tính của hàm, đề tài nhận thấy có 2 dạng hàm như sau: o Dạng 1: Là các hàm không tự động xác định giá trị trả về của khi tập đối được xác định, mà phải nhờ đến các tính toán bên ngoài hỗ trợ. Với loại hàm này, nội tại của hàm chỉ tồn tại các ràng buộc và các tính chất hàm. o Dạng 2: Là các hàm có thể tự động tính toán giá trị trả về của hàm khi xác định được các đối số. Với loại hàm này, nội tại của hàm ngoài các ràng buộc và tính chất hàm thì có thêm một thủ tục tính toán để xác định giá trị trả về của hàm. Powerpoint Templates Page 10 Đặc tả hàm Dựa vào phân loại hàm trình bày ở phần trên, đề tài phát biểu 2 cách đặc tả hàm tương ứng như sau: Đặc tả hàm dạng 1 function-def ::= FUNCTION name; ARGUMENT: argument-def+ RETURN: return-def; [constraint] [facts] ENDFUNCTION; Đặc tả hàm dạng 2 function-def ::= FUNCTION name; ARGUMENT: argument-def+ RETURN: return-def; [constraint] [variables] [statements] ENDFUNCTION; [...]... dạng hàm thứ 2: Hàm được kích hoạt dựa trên sự xác định của các đối số của hàm Nghĩa là khi các đối số trong hàm được xác định thì hàm sẽ được kích hoạt Hàm được kích hoạt sẽ đọc nội tại hàm và phát sinh các tính chất hàm (nếu có) Powerpoint Templates Page 12 Nội dung 1 Mục tiêu của luận văn 2 Mô hình tri thức các đối tượng tính toán rút gọn 3 Vấn đề trên mô hình COKB rút gọn 4 Ứng dụng thiết kế hệ giải. .. => Đề tài đưa ra một phương pháp tìm thứ tự luật ưu tiên áp dụng tùy vào từng mục tiêu cụ thể của đề bài, nghĩa là ứng với mỗi mục tiêu đề bài khác nhau thì sẽ có thứ tự ưu tiên luật khác nhau Hình 3.4 Ví dụ phương pháp tìm thứ tự luật ưu tiên: Sơ đồ đồ thị có hướng của các luật Powerpoint Templates Page 26 Nội dung 1 Mục tiêu của luận văn 2 Mô hình tri thức các đối tượng tính toán rút gọn 3 Vấn đề. .. giác", "Hình thang", "Hình thang vuông ", "Hình bình hành", "Hình thoi", "Hình chữ nhật", "Hình vuông" • Đối tượng cấp 3: "Hình chóp tam giác", " Hình chóp tam giác đều", " Hình chóp tứ giác" và "Hình chóp tứ giác đều" Powerpoint Templates Page 30 Tập • Mối quan hệ phân cấp giữa các khái niệm trong tập có thể biểu diễn bằng sơ đồ Hasse Ví dụ, biểu đồ Hasse sau đây minh họa cho hệ thống phân cấp các khái... đủ => Đề tài đưa ra một phương pháp nhằm tìm kiếm một cơ sở tri thức sao cho vừa đủ để giải quyết bài toán nếu bài toán có thể giải được Điều này sẽ hạn chế phát sinh ra các sự kiện thừa và qua đó làm giảm thời gian tính toán Powerpoint Templates Page 23 Phương pháp giới hạn cơ sở tri thức áp dụng cho bài toán cụ thể (cont) • • Gọi là bao đóng của tập sự kiện F trên cơ sở tri thức K Và là tập sự kiện... thẳng và hình chóp tứ giác Powerpoint Templates Page 32 Tập Func Tập Funcs bao gồm các hàm trên các đối tượng tính toán Ví dụ: • Hàm Giao điểm giữa hai đường thẳng, giữa đường thẳng và mặt phẳng sẽ trả về một điểm; • Hàm Giao tuyến giữa hai mặt phẳng sẽ trả về một đường thẳng; • Hàm Hình chiếu của một điểm lên một đường thẳng sẽ trả về một điểm, của một đường thẳng lên một mặt phẳng sẽ trả về một đường... toán, các thuật toán xây dựng các bước giải thì đề tài tiến đến xây dựng những thuật toán và một số kỹ thuật heuristics như sau: o Các quy tắc heuristics để chọn lựa bước giải thích hợp o Phương pháp giới hạn cơ sở tri thức áp dụng cho bài toán cụ thể o Phương pháp tìm thứ tự luật ưu tiên áp dụng Powerpoint Templates Page 20 Thuật toán kiểm tra và áp dụng một luật vào bài toán Input: FactSet: Các sự... dụng cho lời giải theo từng bước, phù hợp với lời giải tự nhiên của con người Powerpoint Templates Page 28 Mô hình • • Mô hình biểu diễn cơ sở tri thức cho ứng dụng giải toán Hình học không gian sử dụng mô hình thu gọn của COKB gồm 5 thành phần: và tất cả 12 loại sự kiện như được trình bày ở mục trên Powerpoint Templates Page 29 Tập C Các khái niệm trong hình học không gian được xét đến trong chương trình... định là phương trình tham số của AH Bước 4: Thế d vào phương trình mp(P) để tìm t Bước 5: Thế t vào d để tìm tọa độ H Powerpoint Templates Page 11 Nguyên tắc hoạt động của hàm • Nguyên tắc hoạt động của dạng hàm thứ 1: Vì dạng hàm này được xác định dựa trên một luật, nên khi một luật xác định hàm được kích hoạt thì hàm được kích hoạt Hàm được kích hoạt sẽ đọc nội tại hàm và phát sinh các tính chất hàm. .. gọn 3 Vấn đề trên mô hình COKB rút gọn 4 Ứng dụng thiết kế hệ giải toán Hình học Không gian 5 Kết luận Powerpoint Templates Page 27 Mục tiêu • Mục tiêu của việc thiết kế ứng dụng này là phân tích và thiết kế một hệ thống nhằm giải các bài toán Hình học không gian CSTT của hệ thống này được xây dựng dựa trên mô hình tri thức hàm trình bày ở phần trên • Chương trình ứng dụng cho lời giải theo từng bước,... toán Hình học Không gian 5 Kết luận Powerpoint Templates Page 13 Mô hình bài toán Mô hình bài toán COKB rút gọn gồm 3 tập sau: (O, F) → G • • • O là tập hợp các C-Objects F là tập hợp các sự kiện giữa các C-Objects G là mục tiêu của bài toán Powerpoint Templates Page 14 Mô hình bài toán (cont) Một mục tiêu của bài toán có thể là các loại sau đây: • Xác định hoặc tính giá trị của hàm liên quan đối các . Powerpoint Templates Page 1 Phát tri n một mô hình biểu diễn tri thức hàm & Phương pháp giải quyết các vấn đề Học viên: Nguyễn Thị Ngọc Diễm Hướng dẫn: PGS.TS Đỗ. thuyết: o Đề tài tập trung nghiên cứu các thành phần của mô hình COKB liên quan tới khái niệm hàm. o Xây dựng và cải tiến thuật giải suy luận giải quyết một số vấn đề trên mô hình tri thức đó. • Về. gọn 3 .Vấn đề trên mô hình COKB rút gọn 4.Ứng dụng thiết kế hệ giải toán Hình học Không gian 5.Kết luận Powerpoint Templates Page 6 2. Mô hình tri thức các đối tượng tính toán rút gọn • Mô hình