(LUẬN VĂN THẠC SĨ) Biểu diễn tri thức và lập luận trong logic mô tả

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ HỒ VĂN LÂM BIỂU DIỄN TRI THỨC LUẬN VĂN THẠC SỸ Người hướng dẫn: Nguyễn Thanh Thủy Hà nội - 2005 TIEU LUAN MOI download : skknchat@gmail.com -1- Mục lục Lời cảm ơn Error! Bookmark not defined Những thuật ngữ viết tắt 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 1.3 Sơ lược lịch sử nghiên cứu logic mô tả 11 1.4 Các lĩnh vực ứng dụng logic mô tả 12 1.4.1 Lĩnh vực công nghệ phần mềm 13 1.4.2 Lĩnh vực xử lý ngôn ngữ tự nhiên 13 1.4.3 Lĩnh vực thư viện số web 14 1.4.4 Các lĩnh vực khác 15 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 16 2.1.1 Cơ sở tri thức 16 2.1.2.1 Cú pháp ngữ nghĩa ngôn ngữ AL 18 2.1.2.2 Họ ngôn ngữ AL 20 2.1.2.3 Ngôn ngữ mô tả phận logic vị từ 22 2.1.3 Thuật ngữ (Terminologies) 23 2.1.3.1 Tiên đề TBox 23 2.1.3.2 Tiên đề bao hàm (inclusion axiom) TBox 27 2.1.4 ABox 28 2.1.4.1 Cá thể ABox .28 2.1.4.2 Tập cá thể ngôn ngữ mô tả .30 2.2 Lập luận 30 2.2.1 Tác vụ lập luận (suy diễn) cho TBox 31 TIEU LUAN MOI download : skknchat@gmail.com -2- 2.2.2 Cơ chế lập luận ABox 33 2.2.3 Luật 34 2.2.4 Thuật toán lập luận 35 2.2.4.1 Thuật toán bao hàm (subsumption algorithm) 36 2.2.4.2 Thuật toán thoả (satisfiability algorithm) 37 Chương3 Logic mô tả cho web ngữ nghĩa 3.1 Logic mô tả web ngữ nghĩa 43 3.1.1 Web ngữ nghĩa gì? 43 3.1.2 Logic mô tả cho Web ngữ nghĩa 45 3.2 Nền tảng web ngữ nghĩa 46 3.2.1 Logic mô tả SHIQ 46 3.2.2 Cú pháp biểu diễn web ngữ nghĩa RDF 50 3.2.3 Ontology 51 3.3 Cơ sở logic mô tả ngôn ngữ cho web ngữ nghĩa 52 3.3.1 Ontology inference layer - OIL 52 3.3.2 DAML + OIL 60 3.3.3 Ngôn ngữ mô tả cấu trúc web OWL 63 3.4 Ứng dụng lập luận logic mô tả vào phân tích thiết kế web 70 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 74 4.2 Một số kết thử nghiệm thuật toán 79 Kết luận 82 Tài Liệu Tham Khảo 83 TIEU LUAN MOI download : skknchat@gmail.com -3- 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 : AL mở rộng phép phủ định đầy đủ cho khái niệm ( C) DAML+OIL: 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 TIEU LUAN MOI download : skknchat@gmail.com -4- 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 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta -5- 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 cịn 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 (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta -6- 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 toá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 (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta -7- hệ thống xử lý thông tin Chương trình thử nghiệm thuật tốn lập luận cài đặt để giải toán bao hàm, toá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 qt đặ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 toá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ó (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta -8- 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 tố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 (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta -9- 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ệ thống hiệu 1.2 Biểu diễn tri thức lập luận Đơn vị để xây dựng cú pháp logic mô tả khái niệm nguyên tử “atomic concept” (còn gọi concept name) mô tả tập cá thể lĩnh vực, quan hệ nguyên tử “atomic role” mô tả mối quan hệ cá thể Sau đó, từ ký hiệu sở ta xây dựng loại cấu trúc mới, ví dụ giao hai khái niệm C D dùng để cá thể mà thuộc C D Một biểu thức khái niệm logic mô tả diễn tả tập hợp tất cá thể thoả tính chất xác định biểu thức Do đó, khái niệm C D nhìn nhận góc độ logic vị từ C(x) D(x), phạm vi biến tất cá thể lĩnh vực thể C(x) với tất cá thể thuộc khái niệm C Trong logic mơ tả cịn tập trung vào cấu trúc để thiết lập mối quan hệ khái niệm Ví dụ giới hạn giá trị viết R.C yêu cầu tất cá thể mối quan hệ R thuộc khái niệm C Về phần ngữ nghĩa, khái niệm xác định tập thể hiện: Một khái niệm thể tập cá thể quan hệ thể tập hợp cặp cá thể Lĩnh vực thể chọn tuỳ ý vơ hạn Tính vơ hạn lĩnh vực tính mở ngữ nghĩa đặc tính riêng biệt logic mơ tả Những khái niệm nguyên tử thể tập thể lĩnh vực, ngữ nghĩa cấu trúc khác xác định tập hợp cá thể mơ tả cấu trúc Ví dụ ta có cấu trúc C D tập cá thể thuộc phần chung cá thể mô tả C D Giả sử có Person, Male, Woman, Doctor (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 71 - việc thiết kế giảng web Đã có số hệ chuyên gia ứng dụng mô tơ suy luận gặp phải số khó khăn Ví dụ hệ chun gia Jess khơng thể nhận tài liệu khoá học chúng chứa tài liệu khác, bắt buộc người học trả lời phải theo mơ hình lĩnh vực tri thức khơng thể giúp có phân tích mang tính thông minh cách trả lời người học Ngược lại, sử dụng chế lập luận logic mô tả giải trường hợp Cơ sở tri thức cho chế lập luận logic mô tả gồm hai phần TBox ABox TBox biểu diễn OWL DL ABox biểu diễn cú pháp XML Mối liên hệ OWL ngôn ngữ logic mô tả diễn cảm cung cấp nguồn thuật toán cho việc giải toán suy diễn, đặc biệt toán thoả Giả sử có hai ứng dụng muốn chia sẽ, ứng dụng có tri thức riêng chế lập luận riêng Mỗi trang web tương ứng với ứng dụng phải chứa trỏ trỏ đến kịch ontology ứng dụng sử dụng xem siêu tri thức O1 O1 O3 O2 On Om App App Hình3.5: Thể ontology ứng dụng Ontology giống TBox logic mơ tả Có thể dùng lập luận logic mô tả để kiểm tra tri thức có phải mơ hình cho ontology, ABox có quán với TBox hay không Ontology Oi phần ontology khác Lập luận kiểm tra chúng trước sử dụng ontology vào thành phần tri thức giảng (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 72 - dạy Hơn thế, sử dụng lập luận để kiểm tra tính quán, muốn nâng cấp ontology Ở phải giải thích phân tích thơng minh trả lời phía người học Những phân tích thơng minh xác trả lời sai chưa hồn thành, tri thức cịn thiếu, khơng Nếu ta cho hệ thống web phục vụ cho lĩnh vực giáo dục xem tri thức lĩnh vực ontology, sử dụng lập luận logic mô tả để kiểm tra lỗi xuất Nếu câu trả lời người học diễn đạt tài liệu OWL, sử dụng kỹ thuật để tìm tất lớp mâu thuẫn đề cập tài liệu OWL lớp kết lỗi thường xảy người học Các phân tích thơng minh cung cấp cho người học cách tổng quát lỗi phản hồi lại cập nhật lại mơ hình người học Dịch vụ lập luận sử dụng logic mơ tả, sử dụng hình thức khác logic vị từ đồ thị khái niệm dùng logic mơ tả có tối ưu việc cài đặt thuật tốn Chúng thể cơng việc phải làm vấn đề thực tế dùng logic mô tả, mặt dù lập luận với logic mô tả, trường hợp xấu có độ phức tạp lớn Mỗi hệ thống web phục vụ cho lĩnh vực giáo dục cần hai loại tri thức phân biệt rõ ràng: Tri thức lĩnh vực cần cho người học sử dụng tri thức người dạy Nhiệm vụ hệ thống so sánh câu trả lời người học với tri thức lĩnh vực người học quan tâm Tri thức người học xem phần nhỏ tri thức lĩnh vực Vì thế, sử dụng thuật toán subsumption để kiểm tra chúng Tri thức lĩnh vực tri thức người học xây dựng tảng logic mô tả, chúng có hai phần sử dụng lập luận để kiểm tra: tri thức người học cung cấp có phải phần tri thức lĩnh vực không? Việc kiểm tra (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 73 - tính quán ABox chứa mơ hình tri thức người học với TBox chứa phần tri thức lĩnh vực, TBox tri thức người học có bao hàm TBox lĩnh vực hay không Ta xét ví dụ sau để thấy quan trọng dịch vụ lập luận logic mô tả ứng dụng vào công việc xem xét kết người học người học sử dụng dịch vụ đào tạo Giả sử tri thức lĩnh vực khái niệm mô tả người cha có đứa gái số chúng có đứa giáo viên bác sĩ: Father = Person Male hasChild.Female hasChild.(Teacher Doctor) Nếu tri thức người học hay câu trả lời người học trả lời : Father = Person Male hasChild.Female phận lập luận hệ thống phải cho kết luận câu trả lời chưa đầy đủ khái niệm tri thức người học bao hàm khái niệm tri thức lĩnh vực Nhiệm vụ việc giải thích hệ thống web phục vụ cho lĩnh vực giáo dục phải truyền đạt tri thức lĩnh vực cho người học Một người học bắt đầu, câu trả lời họ thường có cú pháp sai ngữ nghĩa Quá trình lập luận đưa kết luận câu trả lời người học đưa sai, lập luận phải sử dụng thuật toán bao hàm (subsumption algorithm) để phân loại tìm khái niệm bao hàm khái niệm người học giúp người học hiểu khác câu trả lời với tri thức lĩnh vực Chương đề cập đến gôn ngữ DL mở rộng sử dụng semantic web, ý tưởng xây dựng hệ thống web sử dụng lập luận logic mô tả để phục vụ cho việc thiết kế web (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 74 - công việc đào tạo Tuy nhiên, giới hạn phạm vi luận văn thạc sĩ, việc cài đặt cụ thể chưa thực Chương Cài đặt thử nghiệm thuật toán lập luận Trong chương trước, tiếp xúc với logic mô tả số ngôn ngữ mở rộng chúng phục vụ cho việc nghiên cứu web ngữ nghĩa Trong chương này, ta làm rõ vai trò lập luận logic mô tả thực tế việc cài đặt thuật toán thoả để giải toán thoả logic mô tả Như biết, việc giải tốn bao hàm chuyển giải tốn thoả, chương thay cài đặt hai thuật toán ta cài đặt thuật toán thoả Việc cài đặt thuật toán thoả cho phép xây dựng chương trình thử nghiệm theo kiểu hệ chuyên gia, hỗ trợ công việc đánh giá định 4.1 Cài đặt thuật toán lập luận Như đề cập trước đây, việc giải tốn thoả giải toán bao hàm cách chuyển tốn bao hàm tốn khơng thoả theo bổ đề 2.3 Vì vậy, thay ta cài đặt cho hai thuật tốn lập luận ta cài đặt cho thuật toán thoả Thuật toán làm việc sau: Bắt đầu với hệ ràng buộc S ={x:C}, sau áp dụng luật chuyển đổi giới thiệu chương tất ràng buộc thoả mâu thuẩn xảy xác định, nghĩa thuật toán cho kết luận không thoả tất hệ ràng buộc có chứa mâu thuẫn (clash) ngồi (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 75 - hệ ràng buộc khơng cịn luật áp dụng khơng chứa clash thuật tốn cho kết luận thoả Thuật tốn thoả cho ngơn ngữ ALC mơ tả có độ phức tạp thời gian xử lý nhớ hàm mũ[11] Với khái niệm đầu vào Cn, thuật toán thoả dẫn đến Abox đầy đủ, thể lập luận để khẳng định khái niệm thoả hay khơng thoả nhị phân có chiều sâu n chứa 2n+1 - cá thể Tuy vậy, thuật tốn cải tiến tốt để chi phí cho nhớ cần cho q trình xử lý đa thức Cơng việc việc lập luận ta xét cách riêng biệt nhánh khác mơ hình sinh sử dụng thuật tốn Vì thế, mơ hình xây dựng tìm kiếm theo chiều sâu Ta mơ tả thuật tốn khơng đơn định mà chi phí cho nhớ đa thức Tức là, luật không đơn định , ta giả sử thuật toán chọn ràng buộc sinh luật Theo chế này, thuật toán làm việc sau: Thuật toán bắt đầu với ràng buộc {C 0(x0)} sau đó: 1) Áp dụng luật cịn có thể, sau kiểm tra clash, 2) Áp dụng luật , phần tử sinh luật sử dụng áp dụng luật , sau kiểm tra clash, 3) Lặp lại q trình khơng cịn luật để áp dụng Việc thực thuật tốn thoả ngơn ngữ ALC mơ tả ngơn ngữ tựa Pascal sau: Input:- Cơ sở tri thức lĩnh vực quan tâm, - Khái niệm cần kiểm tra, (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 76 - Output: Kết luận khái niệm cho có thoả với sở tri thức lĩnh vực quan tâm hay không ALC-SAT(C):=sat(x0,{x0:C}) Sat(x,A): While (có thể áp dụng luật áp dụng luật luật ) (A không mâu thuẩn) Do luật vào A; IF A chứa mâu thuẩn Then return “không thỏa” E:={x: R.D | x: R.D While E A} Do Begin Chọn tuỳ ý x: R.D E; Anew := {(x,y):R, y:D} y cá thể mới; While (có thể áp dụng luật áp dụng luật A ANew) Do thêm ràng buộc vào ANew ; IF hệ ràng buộc A ANew clash Then return “không thoả” E:=E\{x: R.D | y:D ANew} Xoá bỏ ANew khỏi nhớ; End; Return “thoả” Cài đặt chương trình thuật tốn: Thuật tồn cài đặt ngơn ngữ lập trình Visual C ++ thực hệ điều hành Windows Chú ý: - Khi sử dụng chương trình phải nhập ký hiệu khái niệm cần kiểm tra theo quy định: Các phép toán khái niệm đầu vào chương trình phải trình bày theo quy tắc (Bảng 4.1) Viết (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 77 - phép toán biểu thức khái niệm phải dùng dấu ngoặc để phân cách Các ký hiệu đại diện cho phép toán khái niệm mô tả sau: Các ký hiệu phép toán Các ký tự đại diện ^ $ # & Bảng 4.1: Ký hiệu phép tốn chương trình Giao diện chương trình: Hình 4.1: Giao diện chương trình (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 78 - Trong hộp Edit Box “Co so tri thuc-KB” vừa thể sở tri thức lĩnh vực, vừa thể tiến trình làm việc thuật tốn Khái niệm cần kiểm tra nhập vào Edit Box “Khai niem can kiem tra” Thuật toán làm việc với khái niệm đầu vào tập hợp khái niệm nguyên thuỷ Kết thuật tốn thể Edit Box “Ket qua nhan duoc”, ô cho kết chuỗi thông báo cho biết khái niệm cần kiểm tra có thoả hay khơng thoả Nút lệnh “Mo CSTT” chọn nút lệnh cho phép người dùng mở sở tri thức có sẵn, đồng thời cho phép người dùng cập nhật lại sở tri thức Nút lệnh “CSTT Moi” chọn nút lệnh cho phép người sử dụng tạo sở tri thức Nút lệnh “Luu CSTT” cho phép người dùng lưu sở tri thức vào tập tin Nút lệnh “Kiem Tra” để thi hành lệnh triểm tra tính thoả khái niệm cần kiểm tra Nút lệnh “Thoat” để kết thúc chương trình kiểm tra Khi ta tạo sở tri thức ta thực nút lệnh “CSTT Moi” lúc ta nhận giao diện cho phép ta thực nhập sở tri thức sau: Hình 4.2: Cửa sổ soạn thảo sở tri thức (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 79 - Trong ô Edit Box “Nhap CSTT Moi”cho phép ta nhập sở tri thức Nút lệnh “Luu” cho phép ta lưu sở tri thức vào tập tin nút lệnh “Thoat” cho phép ta khỏi cơng việc tạo sở tri thức mà không lưu lại sở tri thức 4.2 Một số kết thử nghiệm thuật tốn Thí dụ thử nghiệm 1: Kiểm tra khái niệm : (( hasChild.Male) ( hasChild Male)) Khái niệm nhập vào chương trình có dạng: ((&hasChild.Male)^(#hasChild.-Male)) Kết thực chương trình sau: Hình 4.3: Kết thực thí dụ thử nghiệm (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 80 - Thí dụ thử nghiệm 2: Kiểm tra khái niệm: ( R.A) ( R.B) R.( A B) Khái niệm nhập vào chương trình có dạng: (#R.A)^(#R.B)^&R.(-A$-B) Kết thực chương trình: Hình 4.4: Kết thực thí dụ thử nghiệm Những thể tìm thực thuật tốn để chứng minh tính thoả khái niệm cho hiển thị hình sau: (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 81 - Hình 4.5: Mơ tả thể khái niệm cho Trên hai thí dụ đưa để thực thuật tốn, kết thu hồn tồn với lý thuyết logic mô tả Từ việc cài đặt thuật tốn ta xây dựng hệ thống thơng tin sử dụng thuật tốn thoả cơng việc lập luận định Trong chương này, ta cài đặt thuật tốn thoả, chương trình làm việc nhiều thao tác cần cải tiến để thuật toán thực tốt xác thực với công việc suy luận hệ thống thông tin (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 82 - Kết luận Luận văn trình bày tổng quát chức biểu diễn tri thức lập luận logic mô tả Thông qua khái niệm, định nghĩa làm sáng tỏ vai trò logic mô tả cho việc biểu diễn tri thức lập luận hệ thống thông tin đại Ứng dụng logic mô tả cho web ngữ nghĩa, ứng dụng quan tâm đề cập đến luận văn Đồng thời, phần cài đặt thuật toán thoả chứng minh khả ứng dụng thuật toán lập luận cách hiệu hệ thống thông tin Sau số kết đạt được: - Trình bày cách biểu diễn tri thức lập luận logic mô tả - Chỉ ứng dụng logic mơ tả việc trình bày ngữ nghĩa trang web thông qua ngôn ngữ mở rộng logic mơ tả, ví dụ ngữ nghĩa trang web hovan.com việc áp dụng thuật toán lập luận vào thiết kế trang web phục vụ giảng dạy - Thể ứng dụng logic mô tả hệ thống thông tin công việc cài đặt thuật tốn thoả cho logic mơ tả Hướng phát triển tiếp đề tài: - Tiếp tục nghiên cứu ứng dụng logic mô tả web ngữ nghĩa, lĩnh vực quan tâm logic mô tả (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 83 - - Cài đặt số hệ thống thể nhu cầu sử dụng logic mô tả web ngữ nghĩa - Xây dựng phát triển hệ thống thông tin sử dụng logic mô tả để phục vụ nhu cầu người - Mở rộng ứng dụng logic mô tả cho ngành khác Tài Liệu Tham Khảo Tiếng Việt: Phan Đình Diệu, Lơgic tốn sở tố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 (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta - 84 - 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 (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta TIEU LUAN MOI download : skknchat@gmail.com (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta (LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta(LUAN.VAN.THAC.SI).Bieu.dien.tri.thuc.va.lap.luan.trong.logic.mo.ta