Giới thiệu về logic mô tả

1.3. Logic mô tả

1.3.1. Giới thiệu về logic mô tả

Logic mô tả (LGMT) là một họ các ngôn ngữ biểu diễn tri thức và suy luận có cấu trúc và rất tường minh về một miền ứng dụng. Tên gọi “logic mô tả” mang hai ý nghĩa. Thứ nhất, các khái niệm quan trọng của miền ứng dụng được trình diễn bằng các "mô tả", nghĩa là các biểu thức được "xây dựng" từ các khái niệm nguyên tố (vị ngữ đơn vị: unary predicates) và vai trò nguyên tố (vị ngữ nhị phân: binary predicates) thông qua việc sử dụng bộ tạo khái niệm (concept constructors, còn được gọi là bộ tạo khái niệm) và bộ tạo vai trò (role constructors, còn được gọi là bộ tạo vai trò). Thứ hai, LGMT khác với các phiên bản tiền bối (chẳng hạn như các mạng và khung ngữ nghĩa) ở chỗ chúng được trang bị một ngữ nghĩa dựa trên logic, theo một số khác biệt trong ký hiệu, thực sự giống như ngữ nghĩa của logic cấp một (first-order logic) cổ điển.

F. Baader và cộng sự [6, 5] khái quát phát triển nghiên cứu về LGMT đã trải qua các giai đoạn phát triển là Giai đoạn tiền LGMT "pre-DL" vào các năm 1965-1980, Giai đoạn 1 vào các năm 1980-1990, Giai đoạn 2 vào các năm 1990-1995, Giai đoạn 3 vào các năm 1995-2000 và Giai đoạn 4 từ đầu thập niên 2000 tới nay.

Ngày nay, LGMT tiếp tục là một lĩnh vực nghiên cứu rất tích cực, với kết quả lý thuyết mới và các kỹ thuật và hệ thống suy luận mới liên tục

được phát triển 2 như mở rộng các thuật toán tableau sang hypertableau, việc mở rộng các kỹ thuật cải tiến họ LGMT DL-Lite, sự phát triển các kỹ thuật lai (ví dụ, kết hợp hoạt động tableau với tiếp cận dựa trên hệ quả), hệ thống ontology OWL [47], v.v. Nhiều nghiên cứu tổng quan về LGMT đã được công bố, bao gồm luận án Tiến sỹ tiếng Việt của T.T. Luong [56]. Nội dung tiếp theo của mục này chỉ giới thiệu các nội dung cần thiết nhất.