Trong luận văn này tác giả đề ra một cách tiếp cận mới cho việc tích hợp tri thức nhằm khắc phục những hạn chế của các tiếp cận hiện có. Ý tưởng chính của tiếp cận này như sau: Để đạt được thỏa thuận giữa các bên, ta sẽ để cho các bên tranh luận với nhau, tức là các bên sẽ dùng lý lẽ, lập luận để bảo vệ cho các đòi hỏi của mình đồng thời phản bác lại các đòi hỏi của đối phương, bên nào có nhiều chứng cứ, lập luận tốt hơn thì bên đó sẽ giành được nhiều lợi ích hơn. | LỜI CAM ĐOAN Tôi xin cam đoan luận văn “Tích hợp tri thức sử dụng các kỹ thuật tranh cãi" là công trình nghiên cứu của riêng tôi. Các số liệu, kết quả được trình bày trong luận văn là hoàn toàn trung thực. Tôi đã trích dẫn đầy đủ các tài liệu tham khảo, công trình nghiên cứu liên quan. Ngoại trừ các tài liệu tham khảo này, luận văn hoàn toàn là công việc của riêng tôi. Luận văn được hoàn thành trong thời gian tôi là học viên tại Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội. Hà Nội, ngày 19 tháng 9 năm 2016 Học viên Nguyễn Trần Vân i LỜI CAM ĐOAN i MỞ ĐẦU . iv Chương 1. Tổng quan về logic và tích hợp tri thức 1 . Tổng quan về logic . 1 . Logic cổ điển 1 . Logic khả năng . 2 . Tổng quan về tích hợp tri thức 3 . Biểu diễn tri thức 3 . Duyệt tri thức 6 . Mô hình AGM 6 . Bộ định đề AGM cho duyệt tri thức . 6 . Bộ định đề AGM cho loại bỏ tri thức . 7 . Hàm lựa chọn 7 . Cố thủ tri thức . 7 . Hệ thống các khối cầu tri thức 7 . Tích hợp tri thức . 8 . Một mô hình cho tích hợp với ràng buộc toàn vẹn 8 . Tích hợp ở mức cú pháp .
