Giải đề trên mạng tính toán
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (60.02 KB, 8 trang )
TRƯỜNG ĐẠI HỌC TỔNG HP TP. HỒ CHÍ MINH
– o —
ĐỖ VĂN NHƠN
GIẢI ĐỀ TRÊN MẠNG TÍNH TOÁN
Chuyên ngành : Tin học
Mã số : 01.02.10
Luận văn Thạc só khoa học Tin học
Người hướng dẫn khoa học:
GSTS. HOÀNG KIẾM
THÀNH PHỐ HỒ CHÍ MINH - 1995
TÓM LƯC
– o —
Hiện nay, việc đưa ra các phương pháp biểu diễn tri
thức, các cơ chế suy diễn để giải quyết các vấn đề là một
yêu cầu quan trọng của khoa học trí tuệ nhân tạo. Trong
nhiều lónh vực khác nhau như toán học, vật lý và hóa học
chúng ta thường thấy nhiều bài toán đặt ra liên quan đến
một số yếu tố nào đó của một hay nhiều đối tượng. Ví dụ
bài toán giải tam giác liên quan đến các yếu tố của tam
giác. Để giải được bài toán người ta phải vận dụng kiến
thức có liên quan đến các yếu tố, các đối tượng mà bài
toán đề cập đến, chẳng hạn các công thức, các luật
dẫn,....
Cùng với ý tưởng hướng tới các máy tính thông minh
mà trước mắt là các chương trình “thông minh hơn” của
khoa học trí tuệ nhân tạo, chúng tôi nghiên cứu một dạng
biểu diễn tri thức được gọi là “mạng tính toán” và tìm
cách giải các vấn đề đặt ra trên “mạng tính toán”. Thông
qua “mạng tính toán” chúng ta có thể cài đặt các chương
trình “biết” vận dụng tri thức để giải một số bài toán
tổng quát một cách linh hoạt.
Luận văn đã đưa ra và chứng minh các thuật giải để
giải đề trên mạng tính toán. Ngoài ra trong luận văn còn
trình bày cách giải đề trên “mạng các đối tượng tính
toán” và cài đặt nhằm thể hiện các phương pháp đã được
nêu ra trong một số ứng dụng cụ thể.
LỜI CẢM TẠ
– o —
Tôi chân thành tỏ lòng biết ơn GSTS. Hoàng Kiếm,
Khoa Trưởng khoa Công Nghệ Thông Tin, Đại Học
Tổng Hợp TPHCM, người đã đưa ra ý tưởng và tận tình
hướng dẫn tôi hoàn thành luận văn.
Xin chân thành cảm ơn Bộ môn Đại số, Khoa Toán-
Tin học, Đại Học Tổng Hợp TPHCM, nhất là GSTS.
Nguyễn Hữu Anh đã giúp đỡ và tạo điều kiện tốt trong
suốt quá trình học tập, làm việc và nghiên cứu của tôi.
