tailieunhanh - Luận văn Thạc sĩ Công nghệ thông tin: Tích hợp tri thức sử dụng các kỹ thuật tranh cãi

Nội dung chính của luận văn bao gồm: Chương 1 - Tổng quan về logic và tích hợp tri thức. Chương 2 - Mô hình tranh cãi, chương này trình bày về mô hình tranh cãi của GS. Phạm Minh Dũng cùng với các ngữ nghĩa của mô hình này. Chương 3 - Các mô hình tích hợp tri thức bằng tranh cãi. Chương 4 - Thực nghiệm và đánh giá, trong chương này tôi tiến hành cài đặt một chương trình tích hợp tri thức như trong mô hình đề xuất và đánh giá các kết quả đạt được. Phần kết luận, tóm lược những kết quả đã đạt được của luận văn và đưa ra định hướng nghiên cứu trong tương lai. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN TRẦN VÂN TÍCH HỢP TRI THỨC SỬ DỤNG CÁC KỸ THUẬT TRANH CÃI Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Người hướng dẫn khoa học: TS. Trần Trọng Hiếu Hà Nội - 2016 Mục lục Mục lục Lời cám ơn iii Lời cam đoan iv Danh mục các ký hiệu, các chữ viết tắt v Danh sách hình vẽ vii Danh sách bảng viii Mở đầu ix 1 Tổng quan về logic và tích hợp tri thức Tổng quan về logic . . . . . . . . . . . Logic cổ điển . . . . . . . . . . Logic khả năng . . . . . . . . . Tổng quan về tích hợp tri thức . . . . . Biểu diễn tri thức . . . . . . . . Duyệt tri thức . . . . . . . . . . Tích hợp tri thức . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 . 1 . 1 . 2 . 4 . 4 . 6 . 14 2 Mô hình tranh cãi Sự chấp nhận của tranh cãi . . . . . . . . . . . . . . . . . Mô hình tranh cãi . . . . . . . . . . . . . . . . . . . Ngữ nghĩa cố định và ngữ nghĩa cơ sở (hoài nghi) . Điều kiện cho sự trùng giữa ngữ nghĩa khác nhau . Tranh cãi, trò chơi n-người và bài toán hôn nhân bền vững Tranh cãi trong trò chơi n-người . . . . . . . . . . . Tranh cãi và bài toán hôn nhân bền vững . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 24 24 28 29 32 32 33 3 Tích hợp tri thức có ưu tiên trong mô hình logic khả năng 35 Tích hợp tri thức bằng tranh cãi trong logic khả năng . . . . . . . . . . 36 Định đề và một số tính chất . . . . . . . . . . . . . . . . . . . . . . . . 41 4 Thực nghiệm và đánh giá 43 Môi trường thực nghiệm . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Quá trình thực .