Miêu tả logic

Miêu tả logic(description logic) là một loại dùng cho tri thức tỏ vẻLogic ngôn ngữCùng lấy này vì đối tượngTrinh thám phương pháp,Chủ yếu dùng cho miêu tả khái niệm phân loại và khái niệm chi gian quan hệ. Miêu tả logic phương pháp đa số bị dùng đến đề cập tri thức phân loại ứng dụng lĩnh vực, đủ số tự thư viện cùng mặt hướng vạn duy võng tin tức xử lý. Miêu tả logic là trước mặtNgữ nghĩa võngPhát triển trungBản thểLý luận cơ sở. Tỷ như,OWLInternetBản thểNgôn ngữ chính là một loại miêu tả logicSHIOQ (D)Ngữ pháp hình thức.

Miêu tả logic căn cứ này biểu đạt năng lực trình độ bất đồng, hình thành bất đồng logic tử ngôn ngữ. Tuyệt đại đa số miêu tả logic loại hình đều có thể bị xem thành đôi đáp lờiNhất giai logicMột cái nhưng phán định tính đoạn ngắn ( fragment ), tức mỗi cái miêu tả logic trung mệnh đề đều có thể ở hữu hạn thời gian nội hoàn thành chứng minh hoặc chứng không. Chỉ có số rất ít miêu tả logic loại hình bị cho rằng là không thể phán định.

Một cái miêu tả logic hệ thống trung tên nhưng chia làm khái niệm ( concept ), thuộc tính ( role ) cùng thân thể ( individual ). Tỷ như, một cái dùng miêu tả logic miêu tả tri thức căn bản như sau:

• Nam nhân$\sqsubseteq$Người ( nam nhân là người )
• Trượng phu$\sqsubseteq$Nam nhân$\sqcap$$\exists$Hôn phối với. Người ( trượng phu là hôn phối với ít nhất một cái người nam nhân )
• Nam nhân ( Trương Tam ) ( Trương Tam là một người nam nhân )

Trong đó, “Nam nhân”, “Người”, “Trượng phu” là khái niệm, “Hôn phối với” là thuộc tính, “Trương Tam” là thân thể.

Phần ngoài liên tiếp

• kr.org miêu tả logic giao diện(Giao diện lưu trữ sao lưu,Tồn vớiInternet hồ sơ quán)
• Navigator on Description Logic Complexity(Giao diện lưu trữ sao lưu,Tồn vớiInternet hồ sơ quán)
• [1](Giao diện lưu trữ sao lưu,Tồn vớiInternet hồ sơ quán)

Tham kiến

• ALC
• SHIOQ (D)
• Pellet
• FaCT
• OWL
• Racer