Biểu Diễn Tri Thức và Lập Luận Trong Logic Mô Tả

Khám phá luận văn thạc sĩ về biểu diễn tri thức và lập luận trong logic mô tả, cung cấp cái nhìn sâu sắc về lý thuyết và ứng dụng.

• Người hướng dẫn: Nguyễn Thanh Thủy
• Trường học: Đại Học Quốc Gia Hà Nội
• Chuyên ngành: Công Nghệ Thông Tin
• Đề tài: Biểu Diễn Tri Thức và Lập Luận Trong Logic Mô Tả
• Loại tài liệu: Luận Văn Thạc Sỹ
• Năm xuất bản: 2005
• Địa điểm: Hà Nội

Tóm tắt

I. Tổng Quan Về Logic Mô Tả Nền Tảng và Ứng Dụng

Logic mô tả (Description Logic - DL) là một lĩnh vực nghiên cứu về biểu diễn tri thức, phát triển từ các ý tưởng của mạng ngữ nghĩa và frame. DL cung cấp một cách tiếp cận hình thức để biểu diễn tri thức về một lĩnh vực, sử dụng các khái niệm và quan hệ để mô tả các đối tượng và thuộc tính của chúng. DL nhấn mạnh vào suy luận logic như một dịch vụ trung tâm, cho phép suy diễn tri thức mới và đưa ra quyết định dựa trên tri thức hiện có. Logic mô tả đã được ứng dụng rộng rãi trong nhiều lĩnh vực, bao gồm xử lý ngôn ngữ tự nhiên, công nghệ phần mềm, cơ sở dữ liệu và web ngữ nghĩa. Nghiên cứu về DL kết hợp chặt chẽ giữa lý thuyết và thực hành, với nhiều hệ thống biểu diễn tri thức được xây dựng dựa trên nền tảng DL. "DL cho phép định nghĩa những khái niệm liên quan đến lĩnh vực, sử dụng những khái niệm này để chỉ ra những thuộc tính của những đối tượng, những cá thể trong lĩnh vực đó."

1.1. Nguồn Gốc và Sự Phát Triển Của Logic Mô Tả

Logic mô tả bắt nguồn từ mạng ngữ nghĩa và frame. Ban đầu, các phương pháp biểu diễn tri thức sử dụng các biến vị từ, phép toán vị từ. Tuy nhiên, cách tiếp cận phi logic cũng được sử dụng. Mặc dù có những khác biệt giữa mạng ngữ nghĩa và Frame, cả hai đều thể hiện tri thức bằng hình thức trực quan. Nghiên cứu về logic mô tả bắt đầu từ các hệ thống sử dụng thuật ngữ để mô tả một lĩnh vực, nhấn mạnh đến việc thiết lập những thuật ngữ cơ sở. Trong các hệ thống biểu diễn tri thức, khái niệm được đề cập đến như là một "biểu thức" của logic mô tả, dùng để mô tả những cá thể, thuật ngữ để diễn tả một cấu trúc được xây dựng, cung cấp một thể hiện biểu diễn cho lĩnh vực quan tâm.

1.2. Ứng Dụng Đa Dạng Của Logic Mô Tả Trong Thực Tế

Logic mô tả đã được ứng dụng rộng rãi trong nhiều lĩnh vực. Trong công nghệ phần mềm, DL được sử dụng để xây dựng các hệ thống thông tin phần mềm và hỗ trợ phát triển phần mềm. Trong xử lý ngôn ngữ tự nhiên, DL được sử dụng để biểu diễn ngữ nghĩa tri thức và hỗ trợ hiểu ý nghĩa của câu. Logic mô tả cũng được sử dụng trong thư viện số và web để trình diễn thông tin, phân loại tài liệu và phục hồi thông tin. Nghiên cứu về logic mô tả không chỉ là nghiên cứu về lý thuyết hay thực hành mà có sự kết hợp chặt chẽ giữa các kết quả của lý thuyết với sự cài đặt hệ thống.

II. Biểu Diễn Tri Thức Với Logic Mô Tả TBox ABox

Trong logic mô tả, tri thức được biểu diễn thông qua hai thành phần chính: TBox (Terminology Box) và ABox (Assertion Box). TBox chứa các định nghĩa khái niệm và quan hệ, mô tả cấu trúc của lĩnh vực. ABox chứa các khẳng định về các cá thể cụ thể và mối quan hệ của chúng với các khái niệm và quan hệ trong TBox. Biểu diễn tri thức đầy đủ cho phép suy luận, tìm ra những tri thức mới. Cả TBox và ABox đều đóng vai trò quan trọng trong việc xây dựng một cơ sở tri thức hoàn chỉnh cho một ứng dụng cụ thể. "Việc biểu diễn tri thức thông qua hai thành phần TBox và ABox và được xem là cơ sở tri thức trong các hệ thống."

2.1. Chi Tiết Về Cấu Trúc TBox Trong Logic Mô Tả

TBox là thành phần chính để định nghĩa các khái niệm và quan hệ trong lĩnh vực. Các định nghĩa này thường được thể hiện dưới dạng các tiên đề, mô tả các thuộc tính và mối quan hệ giữa các khái niệm. Ví dụ, một tiên đề có thể định nghĩa khái niệm "Cha" là "Người đàn ông có ít nhất một con". TBox đóng vai trò như một "từ điển" cho cơ sở tri thức, cung cấp các định nghĩa cần thiết để hiểu và suy luận về các cá thể trong ABox. Các tiên đề trong TBox mô tả về tiên đề bao hàm (inclusion axiom), quy định mối quan hệ giữa các khái niệm.

2.2. Vai Trò Quan Trọng Của ABox Trong Biểu Diễn Dữ Liệu

ABox chứa các khẳng định về các cá thể cụ thể trong lĩnh vực. Các khẳng định này cho biết các cá thể thuộc về khái niệm nào hoặc có mối quan hệ nào với nhau. Ví dụ, một khẳng định có thể nói rằng "John là một Cha" hoặc "John là cha của Mary". ABox chứa thông tin về cá thể, nơi các cá thể được mô tả và mối quan hệ giữa chúng được xác định. ABox đóng vai trò như một "cơ sở dữ liệu", cung cấp thông tin thực tế về các cá thể trong lĩnh vực. Tập cá thể trong ngôn ngữ mô tả đóng vai trò quan trọng trong ABox, cung cấp các thể hiện cụ thể của các khái niệm và quan hệ.

2.3. Suy Luận Logic Với TBox và ABox Tác Vụ và Cơ Chế

TBox và ABox kết hợp cho phép các tác vụ lập luận mạnh mẽ. Các tác vụ lập luận cho TBox, chẳng hạn như kiểm tra tính thỏa mãn khái niệm (Concept satisfiability) và bao hàm khái niệm (Concept subsumption), giúp xác định tính hợp lệ và nhất quán của các định nghĩa khái niệm. Các cơ chế lập luận trong ABox, chẳng hạn như kiểm tra cá thể (Instance checking) và trả lời truy vấn (Query answering), cho phép suy luận về các cá thể cụ thể và mối quan hệ của chúng. Các dịch vụ lập luận được hỗ trợ cho logic mô tả để đưa ra những tri thức mới hay đưa ra những quyết định.

III. Lập Luận Tự Động Trong Logic Mô Tả Thuật Toán Hiệu Quả

Lập luận là một phần quan trọng của logic mô tả. Các thuật toán lập luận cho phép suy diễn tri thức mới từ tri thức hiện có trong TBox và ABox. Hai thuật toán quan trọng là thuật toán bao hàm (Subsumption algorithm) và thuật toán thoả (Satisfiability algorithm). Thuật toán bao hàm xác định xem một khái niệm có phải là trường hợp đặc biệt của một khái niệm khác hay không. Thuật toán thoả xác định xem một khái niệm có thể có các cá thể hay không. Lập luận tự động trong logic mô tả cung cấp các công cụ suy diễn hữu ích.

3.1. Thuật Toán Bao Hàm Xác Định Mối Quan Hệ Giữa Khái Niệm

Thuật toán bao hàm là một thuật toán quan trọng trong logic mô tả, nó được sử dụng để xác định xem một khái niệm có phải là trường hợp đặc biệt của một khái niệm khác hay không. Ví dụ, thuật toán có thể xác định rằng khái niệm "Sinh viên" là một trường hợp đặc biệt của khái niệm "Người". Thuật toán bao hàm có thể được sử dụng để kiểm tra tính nhất quán của cơ sở tri thức và để tối ưu hóa các truy vấn. Thuật toán này được sử dụng để lập luận trong các hệ thống xử lý thông tin.

3.2. Thuật Toán Thoả Kiểm Tra Tính Hợp Lệ Của Khái Niệm

Thuật toán thoả là một thuật toán khác trong logic mô tả, được sử dụng để xác định xem một khái niệm có thể có các cá thể hay không. Ví dụ, thuật toán có thể xác định rằng khái niệm "Sinh viên không đi học" là thỏa mãn nếu có ít nhất một sinh viên không đi học. Thuật toán thoả có thể được sử dụng để kiểm tra tính nhất quán của cơ sở tri thức và để tìm kiếm các giải pháp cho các bài toán. Việc sử dụng hai thuật toán lập luận (thuật toán bao hàm và thuật toán thoả) được giới thiệu trong phần này là đề tài nghiên cứu được quan tâm trong logic mô tả.

IV. Logic Mô Tả và Web Ngữ Nghĩa Kiến Trúc và Ứng Dụng

Logic mô tả đóng vai trò quan trọng trong việc xây dựng Web ngữ nghĩa. Web ngữ nghĩa là một mở rộng của Web hiện tại, cho phép máy móc hiểu và xử lý thông tin trên Web một cách thông minh hơn. Logic mô tả cung cấp các công cụ để biểu diễn tri thức về các nguồn tài nguyên trên Web và để suy luận về các mối quan hệ giữa chúng. Các ngôn ngữ như OWL (Web Ontology Language) được xây dựng dựa trên nền tảng logic mô tả. "Web ngữ nghĩa giúp cho việc thiết kế và tìm kiếm thông tin trên web hiệu quả hơn."

4.1. Tổng Quan Về Kiến Trúc Web Ngữ Nghĩa và Vai Trò DL

Kiến trúc Web ngữ nghĩa bao gồm nhiều lớp, trong đó lớp ontology đóng vai trò quan trọng. Lớp ontology chứa các định nghĩa về các khái niệm và quan hệ trong một lĩnh vực cụ thể. Logic mô tả được sử dụng để biểu diễn các ontology này. Các ngôn ngữ như RDF (Resource Description Framework) và OWL được sử dụng để biểu diễn các ontology trên Web. Các logic mô tả mở rộng đã trở thành một ngôn ngữ nền tảng trong việc mô tả những trang web.

4.2. OWL Ngôn Ngữ Ontology Web Dựa Trên Logic Mô Tả

OWL là một ngôn ngữ ontology web được xây dựng dựa trên nền tảng logic mô tả. OWL cung cấp các công cụ để định nghĩa các khái niệm, quan hệ và thuộc tính của các nguồn tài nguyên trên Web. OWL cho phép máy móc hiểu và suy luận về thông tin trên Web một cách thông minh hơn. OWL là một chuẩn được W3C (World Wide Web Consortium) khuyến nghị. Logic mô tả phục vụ cho web ngữ nghĩa, với các ngôn ngữ mở rộng phục vụ cho web ngữ nghĩa.

4.3. Ứng Dụng DL trong Phân Tích và Thiết Kế Web Ngữ Nghĩa

Logic mô tả có thể ứng dụng và phân tích thiết kế Web. Việc sử dụng logic mô tả trong việc phân tích và thiết kế web ngữ nghĩa cho phép tạo ra các ứng dụng thông minh hơn. Việc lập luận logic mô tả trong việc thu thập và quản lý thông tin dễ dàng hơn. Logic mô tả có mối quan hệ giữa logic mô tả và ngôn ngữ đánh dấu như XML đã mô tả rõ ràng các đặc điểm này, vì thế đã xác định được những đặc tính của logic mô tả cho việc biểu diễn tài liệu XML.

V. Các Công Cụ và Ứng Dụng Phổ Biến Của Logic Mô Tả

Hiện nay, có rất nhiều công cụ và ứng dụng được xây dựng dựa trên logic mô tả. Các công cụ như Protégé được sử dụng để xây dựng và quản lý ontology. Các reasoner như Pellet, HermiT, và Fact++ được sử dụng để thực hiện các tác vụ lập luận trong logic mô tả. Các ứng dụng của logic mô tả bao gồm hệ thống tư vấn, hệ thống quản lý tri thức, và hệ thống tìm kiếm thông tin thông minh.

5.1. Protégé Nền Tảng Xây Dựng và Quản Lý Ontology

Protégé là một nền tảng mã nguồn mở phổ biến được sử dụng để xây dựng và quản lý ontology. Protégé cung cấp một giao diện đồ họa thân thiện với người dùng và hỗ trợ nhiều ngôn ngữ ontology, bao gồm OWL. Protégé cho phép người dùng định nghĩa các khái niệm, quan hệ và thuộc tính của các nguồn tài nguyên trong một lĩnh vực cụ thể. Với Protégé, việc xây dựng hệ thống được cài đặt trong hệ thống hoặc sự cần thiết của các cấu trúc cho những hệ thống đặc biệt và kết quả đã có những hệ thống mới hiệu quả hơn.

5.2. Pellet HermiT Fact Reasoner Mạnh Mẽ Trong DL

Pellet, HermiT, và Fact++ là các reasoner mạnh mẽ được sử dụng để thực hiện các tác vụ lập luận trong logic mô tả. Các reasoner này có thể thực hiện các tác vụ như kiểm tra tính nhất quán của ontology, kiểm tra xem một khái niệm có phải là trường hợp đặc biệt của một khái niệm khác hay không, và tìm kiếm các giải pháp cho các bài toán. Các chuẩn và những thuật toán tính toán trong lập luận cũng được nghiên cứu chi tiết. Nghiên cứu về các thuật toán lập luận giúp chúng ta phân tích được những khả năng cũng như giới hạn của những hệ thống.

VI. Hướng Nghiên Cứu Tương Lai và Thách Thức Trong Logic Mô Tả

Logic mô tả tiếp tục là một lĩnh vực nghiên cứu năng động với nhiều hướng nghiên cứu tiềm năng. Một trong những hướng nghiên cứu quan trọng là phát triển các thuật toán lập luận hiệu quả hơn cho các logic mô tả phức tạp. Một hướng nghiên cứu khác là tích hợp logic mô tả với các kỹ thuật học máy để xây dựng các hệ thống học tri thức tự động. Nghiên cứu về độ phức tạp tính toán trong các thuật toán để được những thuật toán tối ưu và từ đó xây dựng những hệ thống thông tin hữu hiệu hơn.

6.1. Tối Ưu Hóa Độ Phức Tạp Tính Toán Trong Lập Luận DL

Một trong những thách thức lớn nhất trong logic mô tả là độ phức tạp tính toán của các thuật toán lập luận. Các thuật toán lập luận cho các logic mô tả phức tạp có thể mất rất nhiều thời gian để hoàn thành, đặc biệt là khi xử lý các cơ sở tri thức lớn. Do đó, việc phát triển các thuật toán lập luận hiệu quả hơn là một hướng nghiên cứu quan trọng. Nhiều nghiên cứu về thuật toán lập luận được thực hiện nhằm cải thiện độ phức tạp tính toán trong các thuật toán để được những thuật toán tối ưu và từ đó xây dựng những hệ thống thông tin hữu hiệu hơn.

6.2. Kết Hợp DL Với Học Máy Để Học Tri Thức Tự Động

Một hướng nghiên cứu tiềm năng khác là tích hợp logic mô tả với các kỹ thuật học máy. Việc tích hợp này cho phép xây dựng các hệ thống có thể học tri thức tự động từ dữ liệu. Ví dụ, một hệ thống có thể học các quy tắc về mối quan hệ giữa các khái niệm từ một tập hợp các ví dụ. Từ đó, sử dụng các quy tắc này để suy luận về các trường hợp mới.

Trích đoạn nội dung tài liệu

Chương 1 Tổng quan về logic mô tả Chương này đề cập đến những động cơ thúc đẩy sự phát triển của logic mô tả như là một hình thức cho việc biểu diễn tri thức cũng như một số ý tưởng cơ bản quan trọng cho nền tảng của những hệ thống đã được tạo ra trong logic mô tả truyền thống. Trong chương này, đầu tiên đề cập đến nguồn gốc của logic mô tả, sau đó sẽ đề cập một cách tổng quát các đặc tính của logic mô tả, các giai đoạn nghiên cứu về logic mô tả và cuối cùng chúng ta điểm qua các lĩnh vực ứng dụng của logic mô tả.1 Nguồn gốc của logic mô tả Logic mô tả bắt nguồn từ mạng ngữ nghĩa (semantic networks) và frame, biểu diễn những khái niệm và lập luận trong chúng có quan hệ với nhau. Cấu trúc của một khái niệm được mô tả bởi một ngôn ngữ (được gọi là ngôn ngữ khái niệm) và những phép toán logic. Với cách tiếp cận của logic kinh điển, việc biểu diễn tri thức thường thông qua các biến vị từ, những phép toán vị từ và lập luận xác định hệ quả logic.

Theo cách tiếp cận của phi logic, dựa vào những giao diện đồ hoạ, tri thức được biểu diễn thông qua các cấu trúc dữ liệu đặc biệt và lập luận đựơc hoàn thành bằng những thủ tục có các thao tác giống nhau. Trong số đó có hai ngôn ngữ sử dụng nhiều nhất đó là mạng ngữ nghĩa và Frame. Mặt dù có (LUAN.ta TIEU LUAN MOI download : [e-mail] -8- những khác nhau trong cách ký hiệu giữa mạng ngữ nghĩa và Frame nhưng cả hai thể hiện tri thức bằng hình thức trực quan. Do thuộc tính này, chúng trở thành cơ sở cho sự biểu diễn tri thức trước đây.

Đáng tiếc là chúng đã không được chấp nhận lâu dài, vì không biểu diễn đầy đủ những đặc tính ngữ nghĩa và kết quả là các hệ thống có sự khác nhau trong cách sử dụng. Tuy nhiên, về mặt ngữ nghĩa, Frame có thể thay cho logic vị từ, các phần tử cơ sở trong Frame được định nghĩa rõ ràng những tính chất như những vị từ một ngôi mô tả những tập hợp các cá thể và vị từ hai ngôi mô tả mối quan hệ giữa các cá thể. Mặt dù không thể hiện hết tất cả các ràng buộc về ngữ nghĩa như những logic vị từ, nhưng chúng được xem là một thành phần con của logic vị từ. Nghiên cứu về logic mô tả được bắt đầu từ những hệ thống sử dụng thuật ngữ (terminological) để nhấn mạnh đến việc thiết lập những thuật ngữ cơ sở mô tả về 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ả trong các hệ thống biểu diễn tri thức thường dùng từ “khái niệm” (concept) được đề cập đến như là một “biểu thức” của logic mô tả, chúng dùng để mô tả những cá thể và từ “thuật ngữ” (terminology) để diễn tả một cấu trúc được xây dựng, cung cấp một thể hiện biểu diễn cho lĩnh vực quan tâm. Nghiên cứu về logic mô tả đã được nghiên cứu cả phần lý thuyết, cùng với cài đặt những hệ thống biểu diễn tri thức và phát triển ứng dụng trong nhiều lĩnh vực của 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 được xây dựng trên nền tảng logic mô tả với những chuẩn mô tả và những khả năng biểu diễn tri thức khác nhau. Thêm vào đó, các chuẩn và những thuật toán tính toán trong lập luận cũng được nghiên cứu chi tiết. Những nghiên cứu này xuất phát từ việc sử dụng những (LUAN.ta TIEU LUAN MOI download : [e-mail] -9- cấu trúc được cài đặt trong hệ thống hoặc sự cần thiết của các cấu trúc cho những hệ thống đặc biệt và kết quả đã có những hệ thống mới hiệu quả hơn.2 Biểu diễn tri thức và lập luận Đơn vị cơ bản để xây dựng cú pháp của logic mô tả là các khái niệm nguyên tử “atomic concept” (còn được gọi là concept name) mô tả tập cá thể trong lĩnh vực, các quan hệ nguyên tử “atomic role” mô tả mối quan hệ giữa các cá thể. Sau đó, từ những ký hiệu cơ sở này ta đi xây dựng các loại cấu trúc mới, ví dụ như giao của hai khái niệm C D được dùng để chỉ ra những cá thể mà thuộc cả C và D.

Một biểu thức khái niệm trong logic mô tả diễn tả tập hợp tất cả các cá thể thoả những tính chất xác định trong biểu thức. Do đó, khái niệm C D được nhìn nhận dưới góc độ của logic vị từ C(x) D(x), phạm vi của các biến là tất cả những cá thể trong lĩnh vực thể hiện và C(x) đúng với tất cả các cá thể thuộc khái niệm C. Trong logic mô tả còn tập trung vào những cấu trúc để thiết lập mối quan hệ giữa những khái niệm. Ví dụ như giới hạn giá trị được viết R.C yêu cầu tất cả những cá thể trong mối quan hệ R đều thuộc khái niệm C.

Về phần ngữ nghĩa, những khái niệm được xác định bởi một tập thể hiện: Một khái niệm được thể hiện như một tập những cá thể và những quan hệ được thể hiện như tập hợp những cặp cá thể. Lĩnh vực của sự thể hiện có thể được chọn tuỳ ý và có thể là vô hạn. Tính vô hạn của lĩnh vực và tính mở của ngữ nghĩa là những đặc tính riêng biệt của logic mô tả. Những khái niệm nguyên tử được thể hiện là một tập con của những thể hiện trong lĩnh vực, trong khi đó ngữ nghĩa của những cấu trúc khác nhau được xác định bởi tập hợp những cá thể được mô tả bởi cấu trúc đó.

Ví dụ ta có cấu trúc như C D là tập những cá thể thuộc phần chung của những cá thể được mô tả bởi C và D. Giả sử chúng ta có Person, Male, Woman, Doctor là (LUAN.ta TIEU LUAN MOI download : [e-mail] - 10 - những khái niệm nguyên tử, hasChild là quan hệ nguyên tử. Sử dụng các phép toán giao, hợp và phủ định của những khái niệm chúng ta có thể mô tả khái niệm “những người có giới tính nam” và “trai hoặc gái” như sau: Person Male Male Male Hầu hết những ngôn ngữ cung cấp lượng từ tồn tại đầy đủ và ràng buộc giá trị để chúng có thể mô tả các khái niệm như: 1) “Người phụ nữ có con và tất cả chúng đều là con gái” Woman hasChild. Male 2) “Người có con trai” Person hasChild.Male Lượng từ tồn tại và lượng từ với mọi có ý nghĩa trong việc mô tả mối quan hệ giữa những khái niệm.

Một loại quan hệ khác của quan hệ giới hạn là quan hệ ràng buộc về số lượng là ràng buộc lực lượng của những tập hợp cá thể thoả quan hệ. Ví dụ như ( 5hasChild) ( 2hasChild. Ràng buộc về số lượng đôi khi cũng được xem là đặc tính riêng biệt của logic mô tả mặc dù chúng ta có thể tìm thấy một vài cấu trúc tương tự trong một số ngôn ngữ cơ sở dữ liệu. Từ những cấu trúc đã giới thiệu, logic mô tả sử dụng chúng để biểu diễn tri thức cho lĩnh vực mà hệ thống đề cập.

Việc biểu diễn tri thức thông qua hai thành phần TBox và ABox và được xem là cơ sở tri thức trong các hệ thống. TBox chứa đựng tập hợp những thuật ngữ “Terminology” của lĩnh vực quan tâm và ABox là tập những xác nhận của các cá thể thuộc những khái niệm hay những quan hệ trong TBox. Bên cạnh việc lưu trữ tri thức trong các cơ sở tri thức, việc lập luận trong logic mô tả đóng vai trò quan trọng cho việc (LUAN.ta TIEU LUAN MOI download : [e-mail] - 11 - thành công của các hệ thống sử dụng logic mô tả. Những dịch vụ lập luận cho TBox và ABox cùng với những thuật toán lập luận như thuật toán bao hàm (Subsumption algorithm), thuật toán thoả (Satisfiability algorithm) đã cung cấp cho logic mô tả những công cụ lập luận hữu hiệu để giải quyết các bài toán thực tế.

Trong chương tiếp theo sẽ đề cập đến việc biểu diễn tri thức cũng như lập luận trong logic mô tả đầy đủ hơn. Nhiều nghiên cứu về thuật toán lập luận được thực hiện nhằm cải thiện độ phức tạp tính toán trong các thuật toán để được những thuật toán tối ưu và từ đó xây dựng những hệ thống thông tin hữu hiệu hơn.3 Sơ lược lịch sử nghiên cứu về logic mô tả Quá trình nghiên cứu về logic mô tả có thể chia ra làm bốn giai đoạn như sau: Giai đoạn 1: Giai đoạn vào đầu những năm 80, tập trung nghiên cứu về những hệ thống như KL-ONE, LOOM. chủ yếu nghiên cứu cấu trúc những thuật toán. Những hệ thống này đã sử dụng những thuật toán có cấu trúc như thuật toán bao hàm cho việc lập luận.

Những nghiên cứu lúc đó tập trung vào các ngôn ngữ mô tả diễn cảm nhưng không có các phép phủ định, lượng từ tồn tại và lượng từ với mọi. Những thuật toán đó được sử dụng rất hiệu quả, nhưng đã gặp một trở ngại lớn trong việc mô tả những logic mô tả không rõ ràng. Giai đoạn 2: Giai đoạn vào giữa những năm 80, trong giai đoạn này tập trung phát triển những thuật toán bảng cho logic mô tả và nghiên cứu về độ phức tạp của kết quả nhận được và cố gắng tìm ra những thuật toán tối ưu cho việc lập luận trong logic mô tả. Giai đoạn 3: Giai đoạn vào những năm cuối của thập niên 80 và những năm đầu của thập niên 90 nghiên cứu về những thuật toán bảng cho logic mô (LUAN.ta TIEU LUAN MOI download : [e-mail] - 12 - tả diễn cảm và tìm ra những thuật toán tối ưu nhất đồng thời nghiên cứu mối liên hệ giữa logic mô tả đến các ngôn ngữ logic khác như modal logic, xác định logic mô tả là một ngôn ngữ con của logic vị từ và những hệ thống đã được tạo ra trong giai đoạn này như FACT, RACE.

Giai đoạn 4: Bắt đầu từ cuối những năm 90 cho đến nay, đây là giai đoạn mà các ứng dụng của logic mô tả được tập trung nghiên cứu và hoàn thiện chúng, tập trung theo hướng tạo ra các ứng dụng và công cụ từ logic mô tả như: - Về cơ sở dữ liệu: Nghiên cứu về tính nhất quán của các lược đồ khái niệm, các truy vấn mang tính bao hàm. - Về ontology và semantic web, Gid và e-science như các kỹ nghệ ontology, lập luận với ontology, những dịch vụ mô tả và khám phá trang web.