ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN LẬP TRÌNH SYMBOLIC CHO TRÍ TUỆ NHÂN TẠO TIỂU LUẬN

GVHD : PGS. TS. ĐỖ VĂN NHƠN
Học viên: Vũ Đăng Khôi
(CH1101017 – Cao học CNTT K6)



thẳng 3

3.3. Tìm tọa độ giao điểm của 2 đường thẳng 3

4. LẬP TRÌNH 4

4.1. Viết phương trình đường thẳng đi qua 2 điểm 4

4.2. Viết phương trình đường thẳng đi qua 1 điểm và song song với một đường
thẳng 4

4.3. Tìm tọa độ giao điểm của 2 đường thẳng 5

5. THỬ NGHIỆM 5

5.1. Viết phương trình đường thẳng đi qua 2 điểm 5

5.2. Viết phương trình đường thẳng đi qua 1 điểm và song song với một đường
thẳng 6

5.3. Tìm tọa độ giao điểm của 2 đường thẳng 6

PHẦN III. KẾT LUẬN 7

TÀI LIỆU THAM KHẢO 8

Lập trình Symbolic cho trí tuệ nhân tạo - i - GVHD: PGS. TS. Đỗ Văn Nhơn
Học viên: Vũ Đăng Khôi Cao học CNTT khóa 6/2011
LỜI NÓI ĐẦU
Lập trình symbolic cho trí tuệ nhân tạo là một môn học tự chọn thuộc

ngôn ngữ lập trình hướng thủ tục (procedure). Thủ tục là một dãy các lệnh của
Maple theo thứ tự mà người lập trình định sẵn để xử lí một công việc nào đó, khi thực
hiện thủ tục này Maple sẽ tự động thực hiện các lệnh có trong thủ tục đó một cách tuần
tự và sau đó trả lại kết quả cuối cùng.
Mapple có các chức năng cơ bản sau:
− Là một hệ thống tính toán trên các biểu thức đại số.
− Có thể thực hiện được hầu hết các phép toán cơ bản trong chương trình toán
đại học và sau đại học.
− Cung cấp các công cụ minh họa hình học thuận tiện gồm: vẽ đồ thị động và
tĩnh của các đường và mặt được cho bởi các hàm tùy ý và trong các hệ tọa
độ khác nhau.
− Là một ngôn ngữ lập trình đơn giản và mạnh mẽ, có khả năng tương tác với
các ngôn ngữ lập trình khác.
− Cho phép trích xuất ra các định dạng khác nhau như word, HTML…
− Một công cụ biên soạn giáo án và bài giảng điện tử, thích hợp với các lớp
học tương tác trực tiếp.
− Một trợ giáo hữu ích cho học sinh sinh viên trong việc tự học.

Lập trình Symbolic cho trí tuệ nhân tạo - 2 - GVHD: PGS. TS. Đỗ Văn Nhơn
Học viên: Vũ Đăng Khôi Cao học CNTT khóa 6/2011
PHẦN II. NỘI DUNG
1. MỘT SỐ BÀI TOÁN HÌNH HỌC GIẢI TÍCH 2 CHIỀU
1.1. Viết phương trình đường thẳng đi qua 2 điểm
Input: tọa độ 2 điểm A, B trong mặt phẳng.
Ouput: phương trình đường thẳng đi qua 2 điểm A, B.
1.2. Viết phương trình đường thẳng đi qua 1 điểm và song song
với một đường thẳng
Input: tọa độ điểm A trong mặt phẳng và phương trình đường thẳng (d).
Ouput: phương trình đường thẳng đi qua điểm A và song song với đường thẳng
(d).

x x x x y
x x x y x x x
− −
=
− −
⇔ − − = − −
⇔ − + − + − + − =

3.2. Viết phương trình đường thẳng đi qua 1 điểm và song song
với một đường thẳng
Gọi: A(x1,y1) là 1 điểm trong mặt phẳng và (d1) là đường thẳng có công thức:
ax + by + c = 0
Khi đó phương trình đường thẳng (d) đi qua điểm A và song song với đường
thẳng (d1) có dạng: ax + by + c
1
= 0, trong đó c
1
= – (ax
1
+ by
1
)
Nghĩa là phương trình đường thẳng (d) có dạng: ax + by – (ax
1
+by
1
) = 0
3.3. Tìm tọa độ giao điểm của 2 đường thẳng
Gọi: (d1) và (d2) là 2 đường thẳng có công thức:
(d1): a


4.2. Viết phương trình đường thẳng đi qua 1 điểm và song song
với một đường thẳng
Lập trình Symbolic cho trí tuệ nhân tạo - 5 - GVHD: PGS. TS. Đỗ Văn Nhơn
Học viên: Vũ Đăng Khôi Cao học CNTT khóa 6/2011 4.3. Tìm tọa độ giao điểm của 2 đường thẳng 5. THỬ NGHIỆM
5.1. Viết phương trình đường thẳng đi qua 2 điểm
Lập trình Symbolic cho trí tuệ nhân tạo - 6 - GVHD: PGS. TS. Đỗ Văn Nhơn
Học viên: Vũ Đăng Khôi Cao học CNTT khóa 6/2011
>
Phuong trinh duong thang di qua 2 diem (1.0,2.0) va (3.0,4.0)
la : 2.0x -2.0y +2.0 = 0
5.2. Viết phương trình đường thẳng đi qua 1 điểm và song song
với một đường thẳng
>
Phuong trinh duong thang di qua diem (1.0,1.0) va song song
voi duong thang 1.0x+2.0y+3.0=0 la : 1.0x +2.0y -3.0 = 0
5.3. Tìm tọa độ giao điểm của 2 đường thẳng
>
Toa do giao diem la : (4.0,1.0)

Lập trình Symbolic cho trí tuệ nhân tạo - 7 - GVHD: PGS. TS. Đỗ Văn Nhơn
Học viên: Vũ Đăng Khôi Cao học CNTT khóa 6/2011
PHẦN III. KẾT LUẬN
Maple là một công cụ lập trình tính toán hình thức mạnh mẽ có thể giải quyết hầu