Luận án Học khái niệm cho các hệ thống thông tin dựa trên logic mô tả

Các nghiên cứu về biểu diễn tri thức được đặt ra từ những năm 70 của thế kỷ XX. Những công trình nghiên cứu đầu tiên trong lĩnh vực này dựa trên hướng tiếp cận phi logic. Hướng tiếp cận này sir dụng đồ thị làm nền tảng, trong đó tri thức được biểu diễn băng những cấu trúc dư liệu đặc biệt và việc suy luận được thực hiện thông qua các thủ tục thao tác trên những cấu trúc đó. Năm 1967, Quillian [39] đã sử dụng mạng ngữ nghĩa (semantic networks') để biểu diễn và suy luận tri thức thông qua các cấu trúc nhận thức dạng mạng lưới. Sau đó, năm 1974, Minsky giới thiệu hệ thống khung (frame systems) dựa trên các khái niệm về một “khung" như một giao thức và khả năng biểu diễn các mối quan hệ giữa các khung pĩ]. Hướng tiếp cận như trẽn không trang bị được ngữ nghĩa dựa trẽn logic hình thức. Dể khắc phục nhược điểm này, người ta biểu diễn tri thức theo hướng tiếp cận dựa trên logic. Theo đó, ngôn ngữ biểu diễn thường là một biến thể cùa logic vị từ bậc nhất và việc tính toán, suy luận thường dựa vào các hệ quả logic.

Logic mô tả được thiết kế như là một sự mở rộng của mạng ngữ nghĩa và hệ thống khung với ngữ nghĩa dựa trên logic. Nó là một họ các ngôn ngữ hình thức rắt thích hợp cho việc biểu diễn và suy luận tri thức trong một miền quan tàm cụ thể [2|. Thuật ngữ “logic mô tã' được sử dụng rộng rãi từ những năm 80 của thế kỷ XX. Ngày nay, cùng vói sự phát triển của các hệ thống biểu diễn tri thức, logic mô tả đã trỏ thành một nền tảng quan trọng của Web ngữ nghĩa do nó được sử dụng để cung cấp mô hình lý thuyết trong việc thiết kế các ontology.