Đang chuẩn bị liên kết để tải về tài liệu:
Luận án tiến sỹ toán học " Xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động "

Tham khảo luận văn - đề án 'luận án tiến sỹ toán học " xây dựng hệ tính toán thông minh xây dựng và phát triển các mô hình biểu diễn tri thức cho các hệ giải toán tự động "', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | ĐẠI HỌC QUỐC GIA THÀNH PHỐ Hồ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN ĐỖ VÀN NHƠN XÂY DựNG HỆ TÍNH TOÁN THÔNG MINH XÂY DựNG PHẤT TRIỂN CẤC MÔ HÌNH BlỂư DIỄN TRI THỨC CHO CÁC HỆ GIẢI TOÁN Tự DỘNG Chuyên ngành Mã số 1.01.10 Đảm bảo toán học cho máy tính Và các hệ thông tính toán TÓM TẮT LUẬN ÁN TIEN sĩ TOÁN HỌC Thành phố Hồ Chí Minh - 2001 PHẦN MỞ ĐẦU Trí tuệ Nhân tạo là một lĩnh vực của khoa học máy tính nhằm nghiên cứu phát triển các hệ thống ngày càng thông minh hơn hỗ trự tốt hơn cho hoạt động xử lý thông tin và xử lý tri thức tính toán và điều khiển v.v. Trong quá trình phân tích và thiết kế các hệ thông Trí tuệ Nhân tạo đặc biệt là các hệ chuyên gia và các hệ giải toán thông minh người ta phải quan tâm đến 2 vân đề cơ bản nhát là 1 Biểu diễn tri thức và 2 Phương pháp và kỹ thuật lìm kiếm hay suy diễn. Nghiôn cứu vù phííl liiổn CÍÍC mô hình bìổu iliỗn tri thức vù suy diễn tự động trên tri thức giử một địa vị rất quan trọng trong khoa học mííy lính cũng như trong Trí luộ Nhân lạo. Mục tiêu của đề tài là xây dựng phát triển một sô mô hình biểu diễn tri thức và các thuật giải để giải tự động các dạng bài toán khác nhau dựa trên tri thức. Cách tiếp cận dược sử dụng là kêì hợp các phương pháp biểu diễn tri thức đã có với những phát triển nhát định để tạo ra một sô mô hình biểu diễn tri thức mới thể hiện được nhiều dạng kiến thức đa dạng hơn. Từ đó các mô hình này có thể được sử dụng như là cơ sở và là công cụ cho việc thiết kế cơ sở tri thức bộ phận suy luận giải toán cũng như thiết kế phần giao diện của chương trình. Luận án đã xây dựng các mô hình biểu diễn tri thức sau 1. Mô hình mạng suy diễn và tính toán. 2. Mô hình một đối tượng tính toán C-Object . 3. Mô hình tri thức VC các C-Object C-Object. và mô hình mang các tìH.KH.TỢNHIẺM Wí Vỉ fti 1 Trên các mô hình biểu diễn tri thức này một số thuật giải được xây dựng để có thổ cài đặt các thủ tục giải bài toán dựa trên các kiên thức trong cơ sở tri thức. Các mô hình trên sẽ được sử dụng trong thiết kế và cài đặt .