Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  13079543
  • Kết quả thực hiện nhiệm vụ

102.04-2013.21

2018-52-989/KQNC

Suy diễn tự động trong logic có miền giá trị ngôn ngữ

Trường đại học Việt Đức

Trường Đại học Việt Đức

Quốc gia

TS. Trần Đức Khánh

ThS. Lê Văn Hưng; ThS. Nguyễn Thị Minh Tâm

Toán học cơ bản

01/06/2014

01/06/2017

2018

Bình Dương

6 tr. + phụ lục

Nghiên cứu về đại số gia tử tuyến tính và đại số gia tử min hóa, xây dựng các miền giá trị chân lý dựa trên đại số gia tử tuyến tính và đại số gia từ mịn hóa cho logic ngôn ngữ. Xây dựng logic mệnh đề có miền giá trị chân lý dự trên đại số gia tử tuyến tính và đại số gia tử mịn hóa, bao gồm cú pháp, ngữ nghĩa và suy diễn. Xây dựng logic vị từ có miền giá trị chân lý dựa trên đại số gia tử tuyến tính và đại số gia tử mịn hóa, bao gồm cú pháp, ngữ nghĩa và suy diễn. Xây dựng logic mờ ngôn ngữ có miền chân lý dựa trên đại số gia tử tuyến tính, đơn điệu bao gồm cú pháp, ngữ nghĩa và suy diễn. Các phưng pháp suy diễn trong logic ngôn ngữ như suy diễn hợp giải, suy diễn modus ponens, chứng minh bảng, lập trình logic...

Đại số gia tử tuyến tính; Đại số gia tử mịn hóa; Logic ngôn ngữ; Suy diễn tự động; Miền giá trị ngôn ngữ

24 Lý Thường Kiệt, Hà Nội

15319