Luận án Tiến sĩ Công nghệ thông tin: Nghiên cứu tích hợp tri thức trong Logic khả năng dựa trên kỹ thuật Đàm phán và Tranh luận
Luận án "Nghiên cứu tích hợp tri thức trong Logic khả năng dựa trên kỹ thuật Đàm phán và Tranh luận" được hoàn thành với mục tiêu nhằm đề xuất phương pháp tích hợp các CSTTKN và CSTTKNBT thành một CSTT chung đại diện tốt nhất nhằm khắc phục được hiện tượng có tri thức được nằm trong nhiều CSTT (hay được nhiều tác tử hỗ trợ) nhưng vẫn không được tích hợp vì trọng số (hay định giá trị chân lý) của tri thức này thấp hoặc có tri thức gây ra mâu thuẫn nhưng vẫn được tích hợp chỉ vì trọng số của tri thức này cao.