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ể...
Nội dung trích xuất từ tài liệu:
Luận văn: Logic mô tả và ứng dụng trong cơ sở dữ liệu 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ínhphổ 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àntoà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ệmvề 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 khoaHà 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 KhoaHà 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ườitrự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ứcquý 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 emsẽ 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 trongthờ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ỏinhững thiếu sót. Em rất mong nhận được sự thông cảm và những ý kiến đónggó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ớilĩ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 Huệ -3- MỤC LỤC Nội dung TrangLỜI CAM ĐOAN .............................................................................................1LỜI CÁM ƠN ...................................................................................................2MỤC LỤC.........................................................................................................3DANH SÁCH CÁC BẢNG ..............................................................................6DANH SÁCH CÁC HÌNH ...............................................................................6LỜI GIỚI THIỆU..............................................................................................7Chương 1. LOGIC MÔ TẢ .............................................................................10 1.1. GIỚI THIỆU .........................................................................................10 1.2. NGÔN NGỮ THUỘC TÍNH AL ...........................................................11 1.2.1. Ngôn ngữ mô tả cơ bản AL ..............................................................11 1.2.2. Ngữ nghĩa của các khái niệm AL .....................................................12 1.2.3. Họ ngôn ngữ logic mô tả AL ............................................................13 1.2.4. Ngôn ngữ mô tả là tập con của logic vị từ bậc nhất.......................15 1.3. HỆ CƠ SỞ TRI THỨC.........................................................................15 1.3.1. Kiến trúc hệ logic mô tả .................................................................15 1.3.2. Bộ thuật ngữ (TBox) ......................................................................16 1.3.2.1. Tiên đề thuật ngữ ..................................................................... 16 1.3.2.2. Định nghĩa khái niệm............................................................... 17 1.3.2.3. Mở rộng bộ thuật ngữ .............................................................. 20 1.3.2.4. Đệ quy...................................................................................... 22 1.3.2.5. Thuật ngữ với các tiên đề bao hàm.......................................... 22 1.3.3. Bộ khẳng định (ABox) ...................................................................23 1.3.4. Cá thể ..............................................................................................25 -4- 1.3 ...