Biểu diễn tri thức lập luận logic mô tả Hồ Văn Lâm Người hướng dẫn: PGS.TS Nguyễn Thanh Thuỷ Mục lục Lời cảm ơn Error! Bookmark not defined Những thuật ngữ viết tắt .2 Mở đầu Chương Tổng quan logic mô tả 1 Nguồn gốc logic mô tả 1.2 Biểu diễn tri thức lập luận Error! Bookmark not defined 1.3 Sơ lược lịch sử nghiên cứu logic mô tả Error! Bookmark not defined 1.4 Các lĩnh vực ứng dụng logic mô tả Error! Bookmark not defined 1.4.1 Lĩnh vực công nghệ phần mềm Error! Bookmark not defined 1.4.2 Lĩnh vực xử lý ngôn ngữ tự nhiên Error! Bookmark not defined 1.4.3 Lĩnh vực thư viện số web Error! Bookmark not defined 1.4.4 Các lĩnh vực khác Error! Bookmark not defined Chương Biểu diễn tri thức lập luận logic mô tả 2.1 Biểu diễn tri thức Error! Bookmark not defined 2.1.1 Cơ sở tri thức Error! Bookmark not defined 2.1.2.1 Cú pháp ngữ nghĩa ngôn ngữ AL Error! Bookmark not defined 2.1.2.2 Họ ngôn ngữ AL Error! Bookmark not defined 2.1.2.3 Ngôn ngữ mô tả phận logic vị từ Error! Bookmark not defined 2.1.3 Thuật ngữ (Terminologies) Error! Bookmark not defined 2.1.3.1 Tiên đề TBox Error! Bookmark not defined 2.1.3.2 Tiên đề bao hàm (inclusion axiom) TBoxError! Bookmark not defined 2.1.4 ABox Error! Bookmark not defined 2.1.4.1 Cá thể ABox Error! Bookmark not defined 2.1.4.2 Tập cá thể ngôn ngữ mô tả Error! Bookmark not defined 2.2 Lập luận Error! Bookmark not defined 2.2.1 Tác vụ lập luận (suy diễn) cho TBox Error! Bookmark not defined 2.2.2 Cơ chế lập luận ABox Error! Bookmark not defined 2.2.3 Luật Error! Bookmark not defined 2.2.4 Thuật toán lập luận Error! Bookmark not defined 2.2.4.1 Thuật toán bao hàm (subsumption algorithm) Error! Bookmark not defined 2.2.4.2 Thuật toán thoả (satisfiability algorithm) Error! Bookmark not defined Chương3 Logic mô tả cho web ngữ nghĩa 3.1 Logic mô tả web ngữ nghĩa Error! Bookmark not defined 3.1.1 Web ngữ nghĩa gì? Error! Bookmark not defined 3.1.2 Logic mô tả cho Web ngữ nghĩa Error! Bookmark not defined 3.2 Nền tảng web ngữ nghĩa Error! Bookmark not defined 3.2.1 Logic mô tả SHIQ Error! Bookmark not defined 3.2.2 Cú pháp biểu diễn web ngữ nghĩa RDF Error! Bookmark not defined 3.2.3 Ontology Error! Bookmark not defined 3.3 Cơ sở logic mô tả ngôn ngữ cho web ngữ nghĩa Error! Bookmark not defined 3.3.1 Ontology inference layer - OIL Error! Bookmark not defined 3.3.2 DAML + OIL Error! Bookmark not defined 3.3.3 Ngôn ngữ mô tả cấu trúc web OWL Error! Bookmark not defined 3.4 Ứng dụng lập luận logic mô tả vào phân tích thiết kế web Error! Bookmark not defined Chương Cài đặt thử nghiệm thuật toán lập luận 4.1 Cài đặt thuật toán lập luận Error! Bookmark not defined 4.2 Một số kết thử nghiệm thuật toán Error! Bookmark not defined Kết luận Error! Bookmark not defined Tài Liệu Tham Khảo Những thuật ngữ viết tắt AL : Attributive Language, ngôn ngữ logic mô tả cung cấp khái niệm nguyên tử (atomic concept), khái niệm top (T), khái niệm bottom (), phép phủ định khái niệm nguyên tử (A), phép giao (), ràng buộc với (R.C) ràng buộc tồn khái niệm top (R.T) ALC : DAML+OIL: AL mở rộng phép phủ định đầy đủ cho khái niệm (C) DARPA Agent Markup Language Ontology Inference Language, kết hợp hai ngôn ngữ cho web ngữ nghĩa DL : Description Logic, logic mô tả GCI : General Concept Inclusion axiom, khái niệm bao hàm tổng quát HTML : HyperText Markup Language, ngôn ngữ đánh dấu siêu văn OIL : Ontology Inference Language, ngôn ngữ thiết kế cho web ngữ nghĩa OWL : Web Ontology Language, ngôn ngữ ontology web dùng cho web ngữ nghĩa RDF : Resource Description Framework, cú pháp để thể cho ngôn ngữ web ngữ nghĩa RDFS : RDF Schema, đồ thị RDF S : Logic mô tả S, mở rộng từ ALC tiên đề quan hệ có tính bắc cầu (R+) SH : Logic mô tả SH, mở rộng từ S quan hệ có tính kế thừa (H) SHI : Logic mô tả SHI, mở rộng từ SH quan hệ nghịch đảo (I) SHIQ : Logic mô tả SHIQ, mở rộng từ SHI lượng từ ràng buộc số lượng (Q) SHIQ(D) : Logic mô tả SHIQ(D), mở rộng từ SHIQ xác định lĩnh vực cụ thể (D) XML : eXtensible Markup Language W3C : Word Wide Web Consortium Mở đầu Công việc biểu diễn tri thức lập luận sở tri thức hệ thống xử lý thơng tin giữ vai trò quan trọng cho việc thành công hệ thống Xuất phát từ quan trọng đó, nhiều tổ chức nghiên cứu khoa học bỏ cơng nghiên cứu, tìm kiếm công cụ để biểu diễn tri thức cách thuận lợi logic mô tả công cụ để biểu diễn tri thức tổ chức nghiên cứu khoa học sử dụng đến Logic mô tả (Description logics - DL) thuật ngữ sử dụng gần để biểu đạt hình thức biểu diễn tri thức lĩnh vực Trước kia, thuật ngữ dùng để ngôn ngữ biểu diễn tri thức, ngôn ngữ khái niệm hay ngôn ngữ biểu diễn sở tri thức KL-ONE DL cho phép định nghĩa khái niệm liên quan đến lĩnh vực, sử dụng khái niệm để thuộc tính đối tượng, cá thể lĩnh vực Bản thân tên gọi DL thể thuộc tính ngơn ngữ mơ tả Về mặt ngữ nghĩa, xem chúng ngôn ngữ logic vị từ Một đặc trưng khác nhấn mạnh vào phần lập luận xem việc lập luận dịch vụ trung tâm Lập luận chế cho phép suy luận tri thức giúp đưa định từ tri thức có sở tri thức DL cung cấp nhiều cách suy luận dùng rộng rãi hệ thống xử lý thơng tin thơng minh, ngồi sử dụng để xây dựng hiểu giới, phân loại khái niệm, cá thể Hiện nay, logic mô tả ứng dụng nhiều lĩnh vực khác như: Xử lý ngôn ngữ tự nhiên, công nghệ phần mềm, sở liệu, y học, Web ngữ nghĩa Cộng đồng nghiên cứu logic mô tả giới có 100 nhóm nghiên cứu hoạt động nhiều tổ chức khoa học khác quan tâm đến logic mô tả ứng dụng chúng công nghiệp Trong nghiên cứu logic mô tả, nội dung luận văn gồm chương : Chương 1: Trình bày cách tổng quan logic mô tả Trong phần cung cấp nhìn tổng quan logic mô tả: Sự đời logic mô tả, thành tựu lịch sử nghiên cứu logic mô tả, ứng dụng ngành khoa học khác logic mơ tả Chương 2: Trình bày cách biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngôn ngữ logic mơ tả điễn hình Cùng với việc biểu diễn tri thức, ta sử dụng dịch vụ lập luận hỗ trợ cho logic mô tả để đưa tri thức hay đưa định Việc sử dụng hai thuật toán lập luận (thuật toán bao hàm thuật toán thoả) giới thiệu phần đề tài nghiên cứu quan tâm logic mơ tả Chương 3: Trình bày lĩnh vực quan tâm logic mô tả dùng logic mô tả cho việc phát triển web ngữ nghĩa Web ngữ nghĩa giúp cho việc thiết kế tìm kiếm thơng tin web hiệu Với mục đích thế, logic mơ tả mở rộng trở thành ngôn ngữ tảng việc mô tả trang web, với thuật tốn lập luận logic mơ tả giúp việc tìm kiếm thơng tin web thuận lợi Chương đề cập đến ý nghĩa web ngữ nghĩa ngôn ngữ mở rộng từ logic mô tả phục vụ cho web ngữ nghĩa Chương 4: Trình bày việc cài đặt thử nghiệm thuật tốn lập luận logic mô tả Đây thuật toán sử dụng để lập luận hệ thống xử lý thơng tin Chương trình thử nghiệm thuật toán lập luận cài đặt để giải tốn bao hàm, tốn thoả logic mơ tả Chương Tổng quan logic mô tả Chương đề cập đến động thúc đẩy phát triển logic mơ tả hình thức cho việc biểu diễn tri thức số ý tưởng quan trọng cho tảng hệ thống tạo logic mô tả truyền thống Trong chương này, đề cập đến nguồn gốc logic mơ tả, sau đề cập cách tổng quát đặc tính logic mô tả, giai đoạn nghiên cứu logic mô tả cuối điểm qua lĩnh vực ứng dụng logic mô tả 1.1 Nguồn gốc logic mô tả Logic mô tả bắt nguồn từ mạng ngữ nghĩa (semantic networks) frame, biểu diễn khái niệm lập luận chúng có quan hệ với Cấu trúc khái niệm mô tả ngôn ngữ (được gọi ngơn ngữ khái niệm) phép tốn logic Với cách tiếp cận logic kinh điển, việc biểu diễn tri thức thường thông qua biến vị từ, phép toán vị từ lập luận xác định hệ logic Theo cách tiếp cận phi logic, dựa vào giao diện đồ hoạ, tri thức biểu diễn thông qua cấu trúc liệu đặc biệt lập luận đựơc hoàn thành thủ tục có thao tác giống Trong số có hai ngơn ngữ sử dụng nhiều mạng ngữ nghĩa Frame Mặt dù có khác cách ký hiệu mạng ngữ nghĩa Frame hai thể tri thức hình thức trực quan Do thuộc tính này, chúng trở thành sở cho biểu diễn tri thức trước Đáng tiếc chúng không chấp nhận lâu dài, khơng biểu diễn đầy đủ đặc tính ngữ nghĩa kết hệ thống có khác cách sử dụng Tuy nhiên, mặt ngữ nghĩa, Frame thay cho logic vị từ, phần tử sở Frame định nghĩa rõ ràng tính chất vị từ mô tả tập hợp cá thể vị từ hai mô tả mối quan hệ cá thể Mặt dù hết tất ràng buộc ngữ nghĩa logic vị từ, chúng xem thành phần logic vị từ Nghiên cứu logic mô tả hệ thống sử dụng thuật ngữ (terminological) để nhấn mạnh đến việc thiết lập thuật ngữ sở mô tả lĩnh vực Những năm gần đây, logic mô tả trở nên phổ biến Khi dùng logic mô tả hệ thống biểu diễn tri thức thường dùng từ “khái niệm” (concept) đề cập đến “biểu thức” logic mô tả, chúng dùng để mô tả cá thể từ “thuật ngữ” (terminology) để diễn tả cấu trúc xây dựng, cung cấp thể biểu diễn cho lĩnh vực quan tâm Nghiên cứu logic mô tả nghiên cứu phần lý thuyết, với cài đặt hệ thống biểu diễn tri thức phát triển ứng dụng nhiều lĩnh vực logic mô tả Nghiên cứu lý thuyết kết hợp chặt chẽ với thực hành trở thành phương pháp luận cho việc nghiên cứu logic mô tả Bên cạnh đó, nhiều hệ thống xây dựng tảng logic mô tả với chuẩn mô tả khả biểu diễn tri thức khác Thêm vào đó, chuẩn thuật tốn tính toán lập luận nghiên cứu chi tiết Những nghiên cứu xuất phát từ việc sử dụng cấu trúc cài đặt hệ thống cần thiết cấu trúc cho hệ thống đặc biệt kết có hệ thng mi hiu qu hn Tài Liệu Tham Khảo Tiếng Việt: Phan Đình Diệu, Lôgic toán sở toán học (2003), Nhà xuất Đại học Quốc gia Hà nội Nguyễn Thanh Thuỷ (1999), Trí tuệ nhân tạo, NXB Giáo dục Tiếng Anh: C A Welty (2003), The description logic handbook: Theory, implementation, and applications, chapter 11: software engineering, Published by the press Syndicate of the university of Cambridge Daniele Nardi, Ronald J Brachman (2003), The description logic handbook: Theory, implementation, and applications, chapter 1: An introduction to description logics, Published by the press Syndicate of the university of Cambridge Dieter Fensel, Ora Lassila, Frank Van Harmelen, Ian Horrocks, James Hendler, Deborah L McGuinness (2000), “The semantic web and its languages”, IEEE Intelligent systems Enrico Franconi (2003), The description logic handbook: Theory, implementation, and applications, chapter 15: Natural language processing, Published by the press Syndicate of the university of Cambridge Franz Baader, Ulrike Sattler (2001),”An overview of Tableau Algorithms for Description Logics”, Kluwer Academic publisher, printed in the Nertherland Franz Baader, Werner Nutt (2003), The description logic handbook: Theory, implementation, and applications, chapter 2: Basic description logics, Published by the press Syndicate of the university of Cambridge Franz Baader (2000), Tableau algorithms for Description Logics, Theoretical Computer Science RWTH Aachen Germany 10 F M Donini, M Lenzerini, D Nardi, A Schaerf (1997), “Reasoning in Description Logics”, CSLI Publications 11 Francesco M Monini (2003), The description logic handbook: Theory, implementation, and applications, chapter 3: Complexity of reasoning, Published by the press Syndicate of the university of Cambridge 12 Ian Horrocks, Ulrike Sattler, Franz Baader (2003), “Description logics as ontology languages for the semantic web”, University of Manchaster, UK, Theoretical computer science, RWTH Achen, Germany 13 Ian Horrocks, Deborah L McGuiness, Chirstopher Welty (2003), The description logic handbook: Theory, implementation, and applications, chapter 14: Digital libraries and web-base information systems, Published by the press Syndicate of the university of Cambridge 14 Ian Horrocks, Ulrike Sattler, Stephan Tobies (2000), Reasoning with individuals for the Description Logics SHIQ,, University of Manchaster, UK, Lufg theoretical computer science, RWTH Achen, Germany 15 Jeff Z Pan (2004), Description logic: Reasoning support for the semantic web, the degree of Doctor of philosophy in the faculty of Science and Engineering Manchester University 16 J M Crawford and B J Kuipers (1991), All: Formalizing Acess-Limited Reasoning, principles of semantic networks, Morgan Kaufmann, pp 2990-330 17 K.Schild (1991), A correspondence thoery for terminological logic, Perliminary reprt, in Mylopoulos, R Reiter, editors, proc of IJCAI–91, Sydney 18 Nenad Krdžavac, Dragan Gaševic, Vlandan Devedžić (2004), Description logics reasoning in web-based education environments, University of Belgrade 19 Steffen Hửlldodber, Trần Đình Khang, Hans - Peter Slörr (2002), “A Fuzzy Description Logic with Hedges as Concept Modifiers” Technische Universität Dresden, Department of computer science D-01062 Dresden, Germany 20 U Sattler, D Calvanese, and R Molitor (2003), The description logic handbook: Theory, implementation, and applications, chapter 4: Relationships with other fomalisms, Published by the press Syndicate of the university of Cambridge ... biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngôn ngữ logic mô tả điễn hình Cùng với việc biểu diễn tri thức, ... quan logic mô tả Trong phần cung cấp nhìn tổng quan logic mơ tả: Sự đời logic mô tả, thành tựu lịch sử nghiên cứu logic mô tả, ứng dụng ngành khoa học khác logic mô tả Chương 2: Trình bày cách biểu. .. cụ để biểu diễn tri thức cách thuận lợi logic mô tả công cụ để biểu diễn tri thức tổ chức nghiên cứu khoa học sử dụng đến Logic mô tả (Description logics - DL) thuật ngữ sử dụng gần để biểu đạt