Nguyễn Thị Phương Thủy - CH1101046
LỜI CẢM ƠN
Tôi xin chân thành cảm ơn thầy Phó Giáo sư Tiến sĩ Đỗ Văn Nhơn đã
tận tình hướng dẫn tôi trong suốt quá trình học tập và thực hiện bài thu
hoạch.
1
Nguyễn Thị Phương Thủy - CH1101046
♦ MỤC LỤC
B. PHẦN MỞ ĐẦU 3
C. PHẦN NỘI DUNG 4
I. VẤN ĐỀ BÀI TOÁN “TAM GIÁC” 4
II. CẤU TRÚC DỮ LIỆU 4
1. Cấu trúc mạng tính toán 4
2. Mẫu bài toán 5
III. Thuật giải 5
IV. Code (file đính kèm) 6
V. Dữ liệu thử nghiệm 7
1. Ví dụ 1 7
2. Ví dụ 2 8
D. PHẦN KẾT LUẬN 9
E. PHẦN TÀI LIỆU THAM KHẢO 10

2
Nguyễn Thị Phương Thủy - CH1101046
B. PHẦN MỞ ĐẦU
Maple là một công cụ lập trình symbolic hỗ trợ mạnh mẽ trong việc
tính toán toán học, tính toán symbolic, và trí tuệ nhân tạo
Trong phạm vi đề tài, em xin trình bày bài toán tam giác trên mạng tính
toán và sử dụng công cụ Maple để giải quyết
3
Nguyễn Thị Phương Thủy - CH1101046

tam giác tìm được
♦ Tiến trình
Bước 1: Khởi tạo biến
Solution := [];
Fknown := GT;
Bước 2: While ( KL không nằm trong vế trái của Fknown) do
2.1 Tìm công thức f thuộc F mà tính ra được giá trị yếu tố thuộc tính
mới.
5
Nguyễn Thị Phương Thủy - CH1101046
2.1.1 (Tìm được f)
Solution := [op(Solution) union f];//Thêm f vào Solution
Vnew := V(f) – V(Fknown);//Tìm yếu tố thuộc tính mới
Newfact := solve(subs(Fknown,f), Vnew);//Tìm giá trị của yếu
tố thuộc tính mới
Fknown := Fknown union newfact;//Thêm giá trị của yếu tố
mới vào tập Fknown
2.3 If (không tìm được f) Then
Thông báo không tìm được lời giải, dừng thuật toán
Bước 3: Thông báo tìm được lời giải, trả về Solution tìm được
IV. Code (file đính kèm)
6
Nguyễn Thị Phương Thủy - CH1101046
V. Dữ liệu thử nghiệm
1. Ví dụ 1
Bài toán:
Ta có kết quả như sau:
>
Tim thay loi giai
Ap dung cong thuc: S = 1/2*b*c*sin(A) ta co: S = 6

[1] PGS.TS Đỗ Văn Nhơn, các bài giảng Biễu diễn tri thức và Ứng
dụng
[2] PGS.TS Đỗ Văn Nhơn, các bài giảng về môn Lập trình Symbolic
[3] Phần Help của công cụ Maple v6
10