Luận án TS: Xử lý không nhất quán trong tích hợp tri thức dựa trên logic

1. Mở đầu

1.1 Mục đích nghiên cứu

Xây dựng định nghĩa mô phỏng hai chiều và tương tự hai chiều trong logic mô tả mờ theo ngữ nghĩa Gódel phát biểu và chứng minh tính chất Hennessy–Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều đã được xây dựng.

Đề xuất một số giải pháp quản lý không nhất quán trong tích hợp tri thức dựa trên logic khả năng theo khung tranh luận và đàm phán của P. M. Dung

1.2 Phạm vi nghiên cứu

Định nghĩa mô phỏng hai chiều, tương tự hai chiều trong các lớp logic mô tả mở rộng (logic mô tả para-nhất quán bốn giá trị, logic mô tả mờ theo ngữ nghĩa Gódel); định nghĩa và kiểm chứng tính chất Hennessy–Milner và các tính chất liên quan trong các logic mô tả mở rộng; đề nghị giải pháp xử lý không nhất quán với logic khả năng theo khung tranh luận và đàm phán.

1.3 Phương pháp nghiên cứu

Phương pháp nghiên cứu của luận án là khảo sát tài liệu, nghiên cứu định tính lựa chọn một số dạng thức logic mô tả mở rộng, phát biểu mô phỏng hai chiều (tương tự hai chiều) trong các logic mô tả mở rộng, định nghĩa và chứng minh tính chất Hennessy–Milner và một số tính chất cốt lõi khác, đề xuất giải pháp xử lý không nhất quán đối với logic mô tả mở rộng và logic khả năng. Đồng thời, luận án cũng tiến hành các nghiên cứu thực nghiệm để đánh giá kiểm chứng một số ứng dụng các mô hình và giải pháp đề xuất.

2. Nội dung

3. Kết luận

Luận án tham gia vào dòng nghiên cứu trên thế giới về xử lý không nhất quán dựa trên logic mô tả và logic khả năng. Luận án có các đóng góp chính sau đây:

• Định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả para-nhất quán trên nền logic mô tả ALCΦ (một kiểu logic mô tả ALCreg với các đặc trưng bổ sung là I: vai trò nghịch đảo, O: định danh, Q: hạn chế số lượng, U: vai trò toàn cục, Self: phản xạ); phát biểu và chứng minh tính chất Hennessy-Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều được định nghĩa; phát biểu bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị, đề nghị một thuật toán giải xấp xỉ bài toán học khái niệm trong logic mô tả para-nhất quán bốn giá trị và thực nghiệm.
• Định nghĩa mô phỏng hai chiều và tương tự hai chiều đối với logic mô tả mờ theo ngữ nghĩa Gódel trên nền logic mô tả ALCΦ; phát biểu và chứng minh tính chất Hennessy-Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều được định nghĩa.
• Đề nghị một khung tích hợp các cơ sở tri thức khả năng dựa trên việc sử dụng độ không nhất quán như một thước đo cùng với thao tác cắt tỉa để xây dựng khung tranh luận cho tích hợp tri thức. Đề nghị một tập các định đề cần thiết, khảo sát và đánh giá các thuộc tính logic liên quan đối với khung tranh luận cho tích hợp tri thức.

4. Tài liệu tham khảo

L. Aceto, A. Ingolfsdottir, and J. Srba. Chapter 3. the algorithmics of bisimilarity. In J. R. Davide Sangiorgi, editor, Advanced Topics in bisimulation and Coinduction, pages 100–172. Cambridge University Press, 2012.  

L. Amgoud and C. Cayrol. Inferring from inconsistency in preferencebased argumentation frameworks. International Journal of Automated Reasoning, 29:125–169, 2002. 

S. Amo and M. Pais. A paraconsistent logic approach for querying inconsistent databases. International Journal of Approximate Reasoning, 46:366–386, 2007. 

H. Andreas. Modular semantics for theories: An approach to paraconsistent reasoning. J. Philosophical Logic, 47(5):877–912, 2018.

 F. Baader, I. Horrocks, C. Lutz, and U. Sattler. An Introduction to Description Logic. Cambridge University Press, 2017....