Suy diễn tự động là cách tiếp cận mô hình hóa tư duy của con người. Có nhiều nghiên cứu liên quan đến suy diễn tự động trong logic cổ điển, đó là logic chỉ suy diễn trên miền chân lý đúng/sai. Trong thực tế con người phải tư duy lập luận với thông tin không chắc chắn. Tình huống trở nên phức tạp hơn khi con người thường dùng ngôn ngữ tự nhiên để trao đổi thông tin, tư duy, lập luận và ra quyết định. Để mô phỏng được quá trình lập luận của con người trong ngôn ngữ tự nhiên, cần phải xây dựng một hệ logic có thể suy diễn trực tiếp trên thông tin ngôn ngữ. Vì vậy đề tài sẽ tập trung nghiên cứu về "suy diễn tự động trong logic có miền giá trị ngôn ngữ". Đề tài tập trung vào các khía cạnh sau của các logic khác nhau:_x000d_ - Cú pháp: logic mệnh đề ngôn ngữ, logic vị từ ngôn ngữ._x000d_ - Ngữ nghĩa: miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử tuyến tính đại số gia tử mịn hoá._x000d_ - Suy diễn: xây dựng luật suy diễn và thủ tục suy diễn đảm bảo tính đúng đắn, tính đầy đủ, độ tin cậy._x000d_ Đề tài dự kiến đạt được các kết quả nghiên cứu: _x000d_ - Logic mệnh đề, logic vị từ có miền giá trị chân lý dựa trên đại số gia tử tuyến tính;_x000d_ - Logic mệnh đề, logic vị từ có miền giá trị chân lý dựa trên đại số gia tử mịn hóa; _x000d_ - Các phương pháp suy diễn, áp dụng cho chứng minh định lý và lập trình logic trong các logic trên._x000d_ Kết quả khoa học dự kiến công bố 2 bài tạp chí khoa học quốc tế thuộc hệ thống ISI, 2-5 bài hội nghị khoa học quốc tế, quốc gia. Dự kiến đào tạo 01 Tiến sĩ và 02 Thạc sĩ.