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

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]

Bước 5: Thế t vào d để tìm tọa độ H.

Ta xác định được các thành phần của hàm như sau:
Powerpoint Templates
Page 12
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 (nếu có).
•
Nguyên tắc hoạt động của 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 13
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 14
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
•

toán và dừng.
•
Bước 7: Rút gọn lời giải tìm được để có một lời giải tối ưu hơn bằng cách phân tích quá trình giải để xác định các sự
kiện mới cần thiết sau mỗi bước giải, từ đó loại bỏ các bước giải dư thừa.
•
Bước 8: Thể hiện lời giải.
Thuật giải
Powerpoint Templates
Page 18
Lưu đồ thuật toán tổng quát
Powerpoint Templates
Page 19
Thuật toán hợp nhất sự kiện
Powerpoint Templates
Page 20
Thuật toán cho các vấn đề kỹ thuật và các giải thuật tối ưu
•
Vì thế để hoàn thiện thuật giải tổng quát trên mô hình COKB rút gọn, ngoài những thuật toán cơ bản như thuật toán hợp nhất sự
kiện, thuật toán tìm luật áp dụng cho bài 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 21
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ự kiện đang có của bài toán và luật r

•
Khi đó ta gọi là tập cơ sở tri thức vừa đủ đối với bài toán nếu
•
Tùy vào miền tri thức và bài toán cần giải quyết thì có chiến lược xây dựng cơ sở tri thức vừa đủ khác nhau.
Định nghĩa: Tập là tập các luật mà trong đó kết luận của mỗi luật có cấu trúc giống như sự kiện :
Định nghĩa: Tập là tập chứa các sự kiện giả thiết của tập mà có thể suy kết luận dạng:
•

Phương pháp giới hạn cơ sở tri thức áp dụng cho bài toán cụ thể (cont)
Powerpoint Templates
Page 25
Hình 3.3 Quá trình tìm tập cơ sở tri thức giới hạn áp dụng cho bài toán cụ thể
Phương pháp giới hạn cơ sở tri thức áp dụng cho bài toán cụ thể (cont)
Từ đó ta định nghĩa dãy đệ quy như sau:

Trích đoạn Bổ sung thêm một phương pháp suy diễn heuristics, cụ thể là thuật giải tìm luật và áp dụng cho bài toán và phương pháp hạn chế phát sinh đối tượng mới Hai phương pháp này tỏ ra rất hiệu

---