tailieunhanh - Luận văn: Logic mô tả và ứng dụng trong cơ sở dữ liệu

Logic mô tả được xem là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối quan hệ. Lĩnh vực ứng dụng của logic mô tả cũng rất đa dạng, ngay từ ban đầu logic mô tả đã được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy diễn, vì thế nó phù hợp cho nhiều ứng dụng. Các ứng dụng của logic mô tả có thể. | 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 LOGIC MÔ TẢ VÀ ỨNG DỤNG TRONG CƠ SỞ DỮ LIỆU NGÀNH CÔNG NGHỆ THÔNG TIN MÃ SỐ . ĐẶNG VĂN HUỆ Người hướng dẫn khoa học TS. TRẦN ĐÌNH KHANG HÀ NỘI 2006 LỜI CAM ĐOAN Các kết quả nghiên cứu trong luận văn ngoài những vấn đề mang tính pho biến mà tác giả đề cập tới dưới dạng các định nghĩa và khái niệm là hoàn toàn mới những vấn đề tham khảo được trích dẫn cụ thể. Các hình minh hoạ ví dụ và kết quả do chính tác giả thực hiện. Nội dung của đề tài chưa công bố trên các công trình nghiên cứu khác. Tác giả xin chịu hoàn toàn trách nhiệm về nội dung của luận văn này. Tác giả Đặng Văn Huệ LỜI CÁM ƠN Dưới sự dẫn dắt của các thầy các cô giáo trường Đại học Bách khoa Hà Nội đến nay em đã hoàn thành luận văn tốt nghiệp này. Em xin chân thành cám ơn các thầy các cô trường Đại học Bách Khoa Hà Nội nói chung và Khoa Công nghệ Thông tin nói riêng đã tận tình chỉ bảo hướng dẫn cho em trong những năm qua. Em xin bày tỏ lòng biết hơn đến thầy giáo Trần Đình Khang người trực tiếp hướng dẫn em làm luận văn. Nếu không có sự truyền đạt kiến thức quý báu và hướng dẫn tận tình của thầy giáo chắc chắn rằng luận văn của em sẽ rất khó được hoàn thành. Tôi cũng xin chân thành cám ơn bạn bè đã động viên giúp đỡ tôi trong thời gian học tập tại Trường cũng như quá trình hoàn thành luận văn. Mặc dù đã rất cố gắng song chắc chắn luận văn không tránh khỏi những thiếu sót. Em rất mong nhận được sự thông cảm và những ý kiến đóng góp tận tình của các thầy cô giáo và các bạn cũng như những ai quan tâm tới lĩnh vực trong luận văn này. Hà Nội ngày 31 tháng 10 năm 2006 Tác giả Đặng Văn .