Tài liệu Thư viện số

Danh mục TaiLieu.VN

Nghiên cứu ngữ nghĩa chương trình datalog có chứa phủ định và lite datalog lite

Nghiên cứu ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic 2 trị; một số khái niệm mở rộng logic 3 trị; trình bày Datalog LITE - ngôn ngữ truy vấn suy diễn với thuật toán kiểm định mô hình thời gian tuyến tính... nhằm đáp ứng tốt việc biểu diễn tri thức, truy vấn trong CSDL suy diễn.

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

Từ khóa: Tin học, chương trình datalog

3 p thuha 20/03/2015 92 1

Bình luận