Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 142 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

XỬ LÝ KHÔNG NHẤT QUÁN TRONG TÍCH HỢP TRI THỨC DỰA TRÊN LOGIC

Tác giả: NGUYỄN THỊ HỒNG KHÁNH

Lĩnh vực: CÔNG NGHỆ THÔNG TIN

Nội dung tài liệu:

Luận án này tập trung nghiên cứu về xử lý không nhất quán (KNQ) trong tích hợp tri thức dựa trên logic. KNQ, một hiện tượng tự nhiên, đã được thừa nhận trong triết học và khoa học máy tính, đòi hỏi các hệ thống thông minh phải có cơ chế quản lý phù hợp. Logic toán học được xem là nền tảng hữu hiệu để xây dựng các thành phần quản lý KNQ, cho phép định nghĩa và kiểm chứng các tính chất cốt lõi. Nghiên cứu này đi sâu vào các logic mở rộng như logic mô tả (LGMT) và logic khả năng, khai thác mô phỏng hai chiều, tương tự hai chiều, và các khung tranh luận, đàm phán để giải quyết vấn đề KNQ.

Mục lục chi tiết:

  • Lời cam đoan
  • Lời cảm ơn
  • Mục lục
  • Danh mục từ viết tắt
  • Danh mục các ký hiệu
  • Danh mục các bảng
  • Danh mục các hình vẽ
  • Mở đầu
  • Chương 1: Giới thiệu chung về quản lý không nhất quán
  • Chương 2: Logic mô tả para-nhất quán bốn giá trị: Mô phỏng hai chiều, tính chất Hennessy-Milner và ứng dụng học khái niệm
  • Chương 3: Logic mô tả mờ theo ngữ nghĩa Gódel: Mô phỏng hai chiều và tính chất Hennessy-Milner
  • Chương 4: Khung tranh luận và đàm phán hướng ưu tiên trong tích hợp tri thức nhất quán
  • Kết luận