Tìm hiểu lập luận của logic mô tả ALC mờ

Trình bày cú pháp, ngữ nghĩa và cơ sở tri thức của logic mô tả ALC; Lý thuyết tập mờ. Tìm hiểu các mở rộng của logic mô tả ALC (cú pháp, ngữ nghĩa và cơ sở tri thức và các tính chất trong logic mô tả ALC mờ). Nghiên cứu các lập luận trong logic mô tả ALC cũng như lập luận trong logic mô tả ALC mờ. Thông qua các lập luận dựa vào cơ sở tri thức để trả lời các truy vấn của một bài toán của một miền ứng dụng cụ thể.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ
Email: thuviendhkh@gmail.com
ĐT: 02343. 822440 - 02343. 832447

Từ khóa: Công nghệ thông tin, Logic mô tả, Lý thuyết tập mờ, Mô tả mờ, Phép bao hàm mờ