» Từ khóa: Logic Mờ

Kết quả 37-46 trong khoảng 46

Nghiên cứu ngữ nghĩa xác đáng của chương trình logic

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 223 2

Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập
Nghiên cứu một số thuật toán suy luận trong Logic mô tả

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 299 1

Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả
Tìm hiểu hệ chuyên gia và ứng dụng hỗ trợ xác định nguy cơ mắc bệnh béo phì

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 307 1

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ì
Tìm hiểu về logic mô tả có yếu tố thời gian

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 174 1

Từ khóa: Tin học, logic mô tả
Ứng dụng logic mờ trong điều khiển tự động thiết bị ô 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 245 1

Từ khóa: Tin học, Tập mờ, logic mờ, điều khiển tự động, thiết bị ô tô
Biểu diễn các lược đồ ER thời gian bằng logic mô 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 379 1

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 ngữ nghĩa của chương trình logic mô tả

Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quá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 87 1

Từ khóa: Tin học, Chương trình logic, Logic mô tả
Nghiên cứu chương trình logic mô tả trong các bài toán suy diễn web ngữ nghĩa

Giới thiệu các kiến thức cơ sở về Web ngữ nghĩa và ontology. Vấn đề suy diễn trong web ngữ nghĩa, suy diễn trong logic mô tả và chỉ ra hạn chế trong logic mô tả và hướng khắc phụ hạn chế đó. Ứng dụng chương trình logic mô tả trong suy diễn Web ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

6 p husc 26/03/2015 211 2

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 mô hình xử lý thông tin không chắc chắn bằng Datalog mờ

Nghiên cứu tổng quan về logic mờ và thông tin không chắc chắn; Tìm hiểu tổng quan về Datalog mờ. Tính toán kết quả từ tri thức không chắc chắn (mô hình xử lý thông tin không chắc chắn, tri thức nền và 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 163 1

Từ khóa: Tin học, logic mờ, Datalog mờ, Mô hình xử lý thông tin không chắc chắn
Sử dụng logic mô tả để biểu diễn truy vấn trong cơ sở dữ liệu hướng đối tượng

Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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 24/03/2015 306 1

Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn