Link tải miễn phí luận văn
LỜI NÓI ĐẦU
Logic mô tả từ lâu đã đóng một vai trò quan trọng như một loại hình tiêu biểu biểu diễn tri thức hiệu quả. Logic mô tả cung cấp khả năng biểu diễn tri thức thông qua các khái niệm, các quan hệ và các luật cú pháp tương ứng với từng ngôn ngữ. Logic mô tả ngày càng được phát triển và ứng dụng rộng rãi trong các hệ thống ứng dụng thông minh. Quá trình tìm kiếm hướng tới sự dễ sử dụng và kiểm soát các ngôn ngữ Logic mô tả đã được bắt đầu từ những năm 1980s [Brachman and Levesque 1984;. Nebel 1988]. Mục đích của quá trình tìm kiếm là tìm ra những thủ tục suy diễn ứng dụng trong thực tiễn, những thuật toán dễ dàng được thực thi và mang lại tính khả quan [Horrocks, 1998; Haarslev and M¨oller, 2001]. Một trong số những hướng nghiên cứu chính được quan tâm dựa trên ý tưởng biểu diễn tri thức theo lĩnh vực và phải được đặc trưng hóa thành các lớp đối tượng và mối quan hệ giữa chúng, các lớp sử dụng để mô tả lĩnh vực quan tâm được tổ chức theo cấu trúc phân cấp. Bên cạnh khả năng biểu diễn thông tin một cách hiệu quả, logic mô tả còn cho phép thực hiện các dịch vụ suy diễn với độ phức tạp tính toán phù hợp.
Các hệ thống miêu tả dữ liệu dựa trên các hệ thống logic mô tả cung cấp cho người sử dụng các khả năng suy diễn khác nhau để rút ra tri thức ẩn từ các tri thức đã biết. Để đảm bảo một hệ thống logic mô tả hoạt động hợp lý thì phải giải quyết được các bài toán quyết định của nó với độ phức tạp chấp nhận được. Tìm hiểu sự cân bằng giữa khả năng biểu diễn tri thức của logic mô tả và độ phức tạp của các bài toán quyết định trong logic mô tả trở thành một trong những kết quả quan trọng trong nghiên cứu logic mô tả. Ngôn ngữ logic mô tả ALC và ngôn ngữ logic mô tả EL là một trong các ngôn ngữ đạt được các yêu cầu trên. Nhưng ngôn ngữ logic mô tả EL có tính vượt trội hơn, do độ phức tạp của các bài toán quyết định trong logic mô tả EL chỉ là đa thức [Nebel 7] so với ngôn ngữ logic mô tả ALC thì độ phức tạp tính toán là ExpTime-Complete [M.Schmidt-SchauB and G. Smolka 1991, 15].
Nhiệm vụ của đồ án là tìm hiểu về ngôn ngữ logic mô tả EL và cài đặt ví dụ minh họa.
Bố cục của đồ án được phân ra như sau:
Chương 1. Tổng quan về logic mô tả EL. Chương này trình bày về các nội dung cơ bản trong logic mô tả như: Định nghĩa, cú pháp, ngữ nghĩa của các ngôn ngữ logic mô tả cơ sở như FL0¬, ALC, EL và kiến trúc của một hệ logic mô tả.
Chương 2. Các thủ tục suy diễn trong logic mô tả EL. Chương này trình bày các luật chuẩn hóa EL-TBox, cách chuyển một EL-TBox đã chuẩn hóa sang một đồ thị mô tả và các bài toán quyết định trong logic mô tả EL.
Chương 3. Các thuật toán cho ngôn ngữ logic mô tả EL. Chương này mô tả các thuật toán cho bao hàm trong ngôn ngữ logic mô tả EL. Trong đó trình bày thuật toán cho: bao hàm đối với ngữ nghĩa điểm cố định lớn nhất ( ELgfp) bằng cách sử dụng phép mô phỏng (simulator) để giải quyết bài toán với thời gian là đa thức bậc ba. Bài toán bao hàm cho bộ thuật ngữ với các tiên đề thuật ngữ dạng tổng quát-TBox tổng quát(ELgci-General Concept Inclusion) được giải quyết bằng cách chuyển EL-TBox sang dạnh chuẩn Horn và áp dụng thuật toán linear-time cho chuẩn Horn-SAT khi đó bài toán được quyết định trong thời gian đa thức bậc ba. Cuối cùng là bài toán bao hàm ngữ nghĩa (ELdesc) cũng được chuyển sang dạng chuẩn Horn và áp dụng thuật toán linear-time cho chuẩn Horn-SAT bài toán được giải quyết trong thời gian đa thức bậc bốn.
Chương 4. Trình bày về phân tích thiết kế chương trình cho một thuật toán, cài đặt ví dụ minh họa. Trong chương này trình bày các đặc tả của bài toán từ đó xây dựng lên biểu đồ phân tích thiết kế hệ thống chỉ ra các đặc trưng của bài toán, đồng thời cũng chỉ ra các bước thiết kế chương trình, chức năng của từng lớp trong chương trình, và cuối cùng cài đặt một ví dụ thử nghiệm.
Do thời gian tìm hiểu và nghiên cứu về ngôn ngữ logic mô tả EL còn hạn chế nên trong đồ án còn có những thiếu sót, chưa trình bày đầy đủ về họ ngôn ngữ EL như: EL+, EL++, ELH, và các ngôn ngữ EL có thêm các luật: phép hợp, phép phủ định, giới hạn số, lượng từ với mọi… , khái niệm đáy. Em rất mong sự đánh giá và góp ý bổ sung của các thầy giáo, cô giáo và các bạn để đồ án được hoàn thiện hơn.
4Mx8UP0mfY3Gq0d
