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

Các nhiệm vụ khác

Những biện pháp cơ bản trong giáo dục văn hóa cho sinh viên
Nghiên cứu xác định xác suất đồng thời các tác động của điều kiện tự nhiên cực trị để thiết kế tối ưu công trình cảng biển ở khu vực Miền Trung - Việt Nam
Ứng dụng CNTT xây dựng cơ sở dữ liệu quản lý, bảo tồn và phát huy giá trị di tích lịch sử văn hóa trên địa bàn tỉnh Nam Định
Cấu trúc nội dung đào tạo nghề trên cơ sở tích hợp
Các cơ sở khoa học về biện pháp chỉ đạo chỉ huy phòng chống lụt bão (quyển 3)
Nghiên cứu thiết kế lắp ráp và thử nghiệm bàn kiểm tra tổng hợp hệ thống tự động lái ABCY-134 trong nội trường
Khảo nghiệm và tuyển chọn cây rau màu mới (đậu tương khoai tây…) có năng suất chất lượng cao tham gia cơ cấu cây trồng của Tỉnh
Xác định quy luật và dự báo sự phát triển vết nứt dọc theo bề mặt chung giữa các lớp vật liệu có chiều dày nanô mét dưới tác dụng của tải trọng có chu kỳ
Nuôi chồn mướp thương phẩm
Nghiên cứu và xây dựng mạng đo và truyền số liệu mưa thời gian thực tại lưu vực sông Ngàn Phố - Ngàn Sâu

liên kết website

Lượt truy cập

Lượt truy cập : 17,447,371

Kết quả thực hiện nhiệm vụ

MS đề tài

102.04-2013.21

Số đăng ký KQ

2018-52-989/KQNC

Tên nhiệm vụ

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

Tổ chức chủ trì

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

Cơ quan chủ quản

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

Cấp quản lý nhiệm vụ

Quốc gia

Thuộc chương trình

Chủ nhiệm nhiệm vụ

TS. Trần Đức Khánh

Cán bộ phối hợp

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

Lĩnh vực nghiên cứu

Toán học cơ bản

Thời gian bắt đầu

01/06/2014

Thời gian kết thúc

01/06/2017

Năm viết báo cáo

2018

Nơi viết báo cáo

Bình Dương

Kinh phí

475 (triệu đồng)

Số trang

6 tr. + phụ lục

Tóm tắt

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...

Từ khoá

Đạ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ữ

Nơi lưu trữ

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

Ký hiệu kho

15319