Mạng ngữ nghĩa và Bản thể luận

Mạng ngữ nghĩa và bản thể luận biểu diễn tri thức dưới dạng các tập hợp có cấu trúc của các khái niệm và mối quan hệ giữa chúng, tổ chức những gì đã biết về một lĩnh vực thành một đồ thị hoặc từ vựng hình thức.

Definition

Mạng ngữ nghĩa biểu diễn tri thức dưới dạng một đồ thị trong đó các nút biểu thị các khái niệm hoặc đối tượng và các cạnh biểu thị các mối quan hệ như "là-một" (is-a) và "một-phần-của" (part-of); bản thể luận là một đặc tả hình thức, tường minh về các khái niệm, mối quan hệ và ràng buộc được chia sẻ trong một lĩnh vực.

Scope

Chủ đề này bao gồm biểu diễn tri thức có cấu trúc (dựa trên mạng và khung): mạng ngữ nghĩa của các nút và liên kết được gắn nhãn, khung và khe (slots), hệ thống phân cấp kế thừa với các giá trị mặc định, và khái niệm hiện đại về bản thể luận như một đặc tả hình thức, được chia sẻ về các khái niệm và mối quan hệ của một lĩnh vực. Nó đề cập đến cách các danh mục, đối tượng và phân loại được mô hình hóa và cách xử lý sự kế thừa và nhận dạng. Logic hình thức làm nền tảng cho các bản thể luận được trình bày chi tiết trong chủ đề logic mô tả, và các nhúng học được của các thực thể thuộc về phân ngành học máy.

Core questions

• Các khái niệm, đối tượng và mối quan hệ của chúng được biểu diễn dưới dạng các nút và liên kết như thế nào?
• Sự kế thừa cho phép các danh mục con tiếp nhận và ghi đè các thuộc tính của các danh mục cha như thế nào?
• Điều gì làm cho một bản thể luận trở thành một đặc tả được chia sẻ và có thể tái sử dụng của một lĩnh vực?
• Các danh mục, nhận dạng và mối quan hệ bộ phận-toàn thể được mô hình hóa một cách nhất quán như thế nào?

Key concepts

• mạng ngữ nghĩa
• các nút và mối quan hệ được gắn nhãn
• mối quan hệ là-một và một-phần-của
• khung và khe (slots)
• kế thừa và giá trị mặc định
• phân loại và danh mục
• bản thể luận
• đồ thị tri thức

Key theories

Kế thừa và cấu trúc phân loại

Việc tổ chức các khái niệm trong hệ thống phân cấp "là-một" cho phép các thuộc tính được nêu một lần ở cấp độ tổng quát và được kế thừa bởi các chuyên môn hóa, với các lớp con có thể thêm hoặc ghi đè các giá trị mặc định, mang lại một biểu diễn nhỏ gọn và trực quan về tri thức phân loại.

Khung như các đơn vị tri thức có cấu trúc

Các khung của Minsky biểu diễn các tình huống hoặc đối tượng rập khuôn dưới dạng các gói khe (slots) với các giá trị mặc định, mô hình hóa cách các kỳ vọng trước đó cấu trúc sự hiểu biết và cung cấp một tiền thân cho các biểu diễn hướng đối tượng và bản thể luận.

Bản thể luận như các khái niệm chung được chia sẻ

Một bản thể luận làm cho các khái niệm và mối quan hệ của một lĩnh vực trở nên tường minh và được thống nhất để các hệ thống và con người khác nhau có thể chia sẻ và tái sử dụng tri thức, với các nguyên tắc thiết kế nhấn mạnh sự rõ ràng, mạch lạc và cam kết tối thiểu.

Clinical relevance

Các bản thể luận và mạng ngữ nghĩa làm nền tảng cho Web ngữ nghĩa, các từ vựng và đồ thị tri thức y sinh, danh mục sản phẩm và quản lý tri thức doanh nghiệp, cung cấp các từ vựng được chia sẻ cho phép các hệ thống không đồng nhất trao đổi và suy luận trên dữ liệu.

History

Mạng ngữ nghĩa bắt nguồn từ công trình của Quillian về bộ nhớ ngữ nghĩa vào những năm 1960, và bản ghi nhớ về khung của Minsky năm 1974 đã tạo động lực lớn cho biểu diễn có cấu trúc. Những phê bình của Brachman về các liên kết không hình thức đã dẫn đến các logic mô tả hình thức, và công trình của Gruber vào những năm 1990 đã giúp thiết lập các bản thể luận như các tạo tác được thiết kế, đỉnh điểm là các tiêu chuẩn Web ngữ nghĩa.

Key figures

• Marvin Minsky
• Ross Quillian
• Ronald J. Brachman
• Thomas R. Gruber
• John F. Sowa

Seminal works

• minsky1974
• gruber1995
• brachman2004

Frequently asked questions

Sự khác biệt giữa mạng ngữ nghĩa và bản thể luận là gì?

Mạng ngữ nghĩa là một biểu diễn đồ họa của các khái niệm và mối quan hệ, trong lịch sử thường không hình thức. Bản thể luận là một đặc tả hình thức, tường minh về một khái niệm chung được chia sẻ, với ngữ nghĩa và ràng buộc được xác định, nhằm mục đích tái sử dụng trên các ứng dụng; các bản thể luận hiện đại thường có nền tảng logic.

Sự kế thừa hoạt động như thế nào trong các biểu diễn này?

Các khái niệm được sắp xếp trong hệ thống phân cấp "là-một" để một khái niệm chuyên biệt kế thừa các thuộc tính của các khái niệm cha tổng quát hơn của nó. Các giá trị mặc định có thể bị ghi đè ở các cấp thấp hơn, điều này tiện lợi nhưng đòi hỏi phải xử lý các ngoại lệ một cách cẩn thận, một mối quan tâm liên quan đến suy luận phi đơn điệu.