1

Tên nhiệm vụ: Suy diễn tự động trong logic có miền giá trị ngôn ngữ

2

3

4

Mã số nhiệm vụ (nếu có):

5

Tên tổ chức chủ trì:

6

Cơ quan chủ quản:

7

Chủ nhiệm nhiệm vụ:

8

Danh sách cá nhân tham gia nhiệm vụ:

9

Mục tiêu nghiên cứu:

10

Tóm tắt nội dung nghiên cứu chính: 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ĩ.

11

Lĩnh vực nghiên cứu: Tự động hóa (CAD/CAM, v.v..) và các hệ thống điều khiển, giám sát, công nghệ điều khiển số bằng máy tính (CNC), …

12

Mục tiêu kinh tế xã hội của nhiệm vụ:

13

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

14

Sản phẩm khoa học và công nghệ dự kiến:

15

Địa chỉ và quy mô ứng dụng dự kiến:

16

Thời gian thực hiện: 0 tháng (từ đến )

17

Kinh phí được phê duyệt: 475 triệu đồng
trong đó:

18

Quyết định phê duyệt: số ngày 01 tháng Tháng 1 năm 1970

19

Hợp đồng thực hiện: số ngày 01 tháng Tháng 1 năm 1970