» Từ khóa: Logic Mờ

Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...

 6 p husc 16/03/2016 344 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV

Tổng quan về chương trình logic. Cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Ngữ nghĩa tập trả lời của chương trình logic dạng tuyển mở rộng và ứng dụng biểu diễn tri thức. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 07/04/2015 382 2 Download

Từ khóa: Tin học, chương trình logic, lập trình logic, chương trình logic dạng tuyển mở rộng

Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 06/04/2015 220 1 Download

Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng

Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 06/04/2015 209 2 Download

Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập

Tìm hiểu lý luận về logic mô tả . Nghiên cứu vấn đề suy luận trong logic mô tả. Mô phỏng, cài đặt thuật toán Tableuax để suy luận và đánh giá kết quả mô phỏng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/03/2015 284 1 Download

Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả

Tìm hiểu tổng quan về hệ chuyên gia, logic mờ và ứng dụng của logic mờ trong hệ chuyên gia. Nghiên cứu ứng dụng hệ chuyên gia mờ trong việc hỗ trợ chuẩn đoán bệnh béo phì. Thiết kế hệ thống, cài đặt thử nghiệm và đánh giá kết quả nghiên cứu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 31/03/2015 294 1 Download

Từ khóa: TIn học, hệ chuyên gia, logic mờ, Ứng dụng CNTT, Chuẩn đoán bệnh, béo phì

Giới thiệu về logic mô tả, cú pháp, ngữ nghĩa của logic mo tả, hệ cơ sở tri thức dựa trên logic mô tả. Nghiên cứu về sự kết hợp logic thời gian với logic mô tả để có được logic mô tả có yếu tố thời gian. Mô hình hóa khái niệm thời gian với logic mô tarDL-Lite. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054...

 5 p husc 31/03/2015 165 1 Download

Từ khóa: Tin học, logic mô tả

Tìm hiểu lý thuyết tập mờ, logic mờ và mô hình lập luận theo mờ. Nghiên cứu mô hình điều khiển mờ các thiết bị ô tô, mô hình Tagaki-Sugeno, bộ điều khiển mờ, thiết bị PID mờ. Mô phỏng điều khiển thiết bị của ô tô sử dụng logic mờ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 8 p husc 27/03/2015 230 1 Download

Từ khóa: Tin học, Tập mờ, logic mờ, điều khiển tự động, thiết bị ô tô

Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian và giới thiệu các mô hình thời gian. Tìm hiểu logic mô tả. Mô hình hóa mô hình ER thời gian. Ứng dụng logic mô tả trong mô hình hóa mô hình Timeer. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 27/03/2015 359 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, Logic mô tả, Mô hình hóa mô hình ER thời gian

Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quát. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 26/03/2015 76 1 Download

Từ khóa: Tin học, Chương trình logic, Logic mô tả

Giới thiệu các kiến thức cơ sở về Web ngữ nghĩa và ontology. Vấn đề suy diễn trong web ngữ nghĩa, suy diễn trong logic mô tả và chỉ ra hạn chế trong logic mô tả và hướng khắc phụ hạn chế đó. Ứng dụng chương trình logic mô tả trong suy diễn Web ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 6 p husc 26/03/2015 198 2 Download

Từ khóa: Tin học, Web, Logic mô tả, bài toán suy diễn, Web ngữ nghĩa

Nghiên cứu tổng quan về logic mờ và thông tin không chắc chắn; Tìm hiểu tổng quan về Datalog mờ. Tính toán kết quả từ tri thức không chắc chắn (mô hình xử lý thông tin không chắc chắn, tri thức nền và cơ sở tri thức mờ) Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 7 p husc 26/03/2015 151 1 Download

Từ khóa: Tin học, logic mờ, Datalog mờ, Mô hình xử lý thông tin không chắc chắn