TAILIEUCHUNG - Luận văn: Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình Logic

Luận văn này sẽ trình bày các kết quả nghiên cứu về cú pháp và ngữ nghĩa của chương trình logic, bao gồm các lập trình logic thông thường và lập trình logic mở rộng, tiếp đó sẽ đề cập môi trường lập trình logic DLV và được chạy trong mã nguồn hướng đối tượng Java, cuối cùng trình bày hai bài toán minh họa (bài toán N quân hậu và bài toán cây khung nhỏ nhất) được cài đặt trên DLV và được chạy trong mã nguồn hướng đối tượng Java. | BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI LUẬN VĂN THẠC SỸ KHOA HỌC NGHIÊN CỨU CÁC PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC TRONG LẬP TRÌNH LOGIC NGÀNH CÔNG NGHỆ THÔNG TIN NGUYỄN THANH TÚ Người hướng dẫn khoa học THANH THỦY HÀ NỘI 2006 LỜI cẢm ƠN Trước tiên tôi xin gửi lêi cảm -n đăc biêt nhất tới Pỗ Nguyễn Than h Thủy ngứòi đã Tịnh hướng đê tài và tân tình hướng dẫn chỉ bảo toi trong ísuót q uá tành thùc hiền luân văn thac sỹ khoa hoc từ những ý tưởng trong đê cư ng nghiên cứu p hư ng pháp giải quydt vấn đê đõn điêu kiôn tý tưởng đê thùc hành bản luân văn này . Tôi xin chân thành bày tỏ lòng biôt -n tới tất cả các giáo sư đăc biêt là GS José Julio .Llpo res trung tâm Logic tinh toán Universidctde Nova de Liboa Bô ào ớVha dã cho tôi nhiều kiến thức quý báu vê các vấn đê hiên đai của ngành logic tinh toán tú tuê nhân tao công nghê thông tin đã cho tôi môt môi trừng tọp thê môt khoảng thêi gian khó quên và đã đông viên giúp đì và khich lê tôi trong thêi gian thùc hiên luân văn này. Bản luân văn này đưtic hoàn thành với sư đông viên giúp đì của các ban bè lớp cao hoc Công nghê thông tin 2004 - 2006. Tôi xin bày tỏ lòng cám -n chân tồnh tới tất cả các ban nhất là các ban đã dành nhiou thêi gian quý báu của mònh đê trao đổi giáp đì tôi khi găp những vướng mac trong Suôt thêi gian thưc hiên bản luân văn này. Nguyễn Thanh Tú Cômg nghê thông tin 2004 - 2006 1 MỤC LỤC MỞ ĐẦU 3 Chương 1 CHƯƠNG TRÌNH LOGIC TỔNG QUÁT 5 Mở Biểu diễn tri thức trong chương trình logic tổng Câu trả lời cho truy Một số ngữ nghĩa khác của chương trình logic tổng Chương 2 LẬP TRÌNH LOGIC MỞ RỘNG 22 Biểu diễn tri thức sử dụng các chương trình logic mở Ngữ nghĩa khác của chương trình logic mở Các chương trình logic phân biệt Disjunctive Logic Programs .38 Giới Biểu diễn tri thức sử dụng chương trình logic phân Tìm câu trả lời cho truy Chương 3 MÔI TRƯỜNG LẬP TRÌNH .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.