Giải đề trên mạng tính toán
TRƯỜNG ĐẠI HỌC TỔNG HP TP. HỒ CHÍ MINH– o —ĐỖ VĂN NHƠNGIẢI ĐỀ TRÊN MẠNG TÍNH TOÁNChuyên ngành : Tin họcMã số : 01.02.10Luận văn Thạc só khoa học Tin họcNgười hướng dẫn khoa học:GSTS. HOÀNG KIẾMTHÀ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. TRƯỜNG ĐẠI HỌC TỔNG HP TP. HỒ CHÍ MINH– o —ĐỖ VĂN NHƠNLUẬN VĂN THẠC SĨKHOA HỌC TIN HỌCTHÀNH PHỐ HỒ CHÍ MINH - 1995 . 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. 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