Tiểu Luận Xây dựng mô hình biểu diễn tri thức dạng hàm và áp dụng vào bài toán rút gọn biểu thức lượng giác

MỤC LỤC
LỜI NÓI ĐẦU . i
DANH MỤC CÁC HÌNH ẢNH ii
PHẦN I. DẪN NHẬP . 1
PHẦN II. NỘI DUNG 3
1. TỔNG QUAN VỀ TRI THỨC VÀ BIỂU DIỄN TRI THỨC 3
1.1. Tri thức 3
1.2. Biểu diễn tri thức 4
1.2.1. Bộ ba Đối tượng - Thuộc tính - Giá trị (Object-Attribute-Value) 4
1.2.2. Các luật dẫn (Rules) 5
1.2.3. Mạng ngữ nghĩa (Semantic Networks) 5
1.2.4. Khung (Frames) . 5
1.2.5. Logic 6
1.2.6. Mô hình một đối tượng tính toán (C-Object) . 6
1.2.7. Mô hình cơ sở tri thức các đối tượng tính toán (COKB) 7
2. MÔ HÌNH TRI THỨC DẠNG HÀM 8
3. ỨNG DỤNG MÔ HÌNH TRI THỨC DẠNG HÀM ĐỂ GIẢI BÀI TOÁN
RÚT GỌN BIỂU THỨC LƯỢNG GIÁC . 9
3.1. Phát biểu bài toán . 9
3.2. Giải quyết bài toán 10
3.2.1. Chuẩn bị cơ sở tri thức 10
3.2.2. Thuật giải suy diễn tiến 10
3.2.3. Thuật giải suy diễn tiến với Heuristics 10
3.2.4. Xây dựng các thủ tục xử lý trên biểu thức . 15
3.3. Chương trình minh họa 16
PHẦN III. KẾT LUẬN 19
TÀI LIỆU THAM KHẢO 20




Biểu diễn tri thức và ứng dụng - i - GVHD: PGS. TS. Đỗ Văn Nhơn
LỜI NÓI ĐẦU
Biểu diễn tri thức và ứng dụng là một môn học bắt buộc thuộc chương
trình đào tạo cao học ngành Công nghệ thông tin tại trường Đại học Công nghệ
thông tin - Đại học Quốc gia TP. HCM.
Ngoài các buổi học được giảng viên truyền đạt trực tiếp trên lớp, các học
viên được giao tìm hiểu các chủ đề liên quan đến môn học để thấu hiểu sâu sắc
từng vấn đề đó và trình bày lại những hiểu biết thông qua một bài tiểu luận.
Qua thời gian tìm hiểu, nghiên cứu tài liệu, em đã đúc kết lại những vấn đề
cơ bản, quan trọng nhất của vấn đề nghiên cứu và trình bày lại trong bài tiểu
luận này với chủ đề “Xây dựng mô hình biểu diễn tri thức dạng hàm và áp
dụng vào bài toán rút gọn biểu thức lượng giác”.
Tài liệu tham khảo chính của bài viết là tập tài liệu bài giảng môn Biểu
diễn tri thức và ứng dụng của PGS. TS. Đỗ Văn Nhơn, giảng viên phụ trách
môn học này. Ngoài ra, bài viết cũng tham khảo thêm một số tài liệu khác có
liên quan đến chủ đề báo cáo được liệt kê ở phần tài liệu tham khảo.