» Từ khóa: logic mo rong

Kết quả 1-4 trong khoảng 4

Nghiên cứu phương pháp chuyển đổi mô hình EER thành logic mô tả

Giới thiệu mô hình ER và mô hình mở rộng của mô hình này là mô hình EER. để áp dụng phương pháp chuyển đổi một lược đồ EER thành cơ sở tri thức trong logic mô tả, chúng tôi đã thực hiện việc mô hình hóa cho một mô hình EER thực tế. 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

13 p husc 10/01/2018 253 1

Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Quan hệ mở rộng, Ngôn ngữ mô tả, Logic mô tả, Mô hình EER
Tìm hiểu việc biểu diễn tri thức bằng các chương trình logic.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định được phép xuất hiện trong các mệnh đề. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ...

5 p husc 23/10/2017 273 1

Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic thông thường, Logic mở rộng, Ngữ nghĩa mô hình, Ngôn ngữ bậc nhất, Phủ định mạnh, Phủ định Mặc định.
Tìm hiểu ngữ nghĩa mô hình bền vững của chương trình logic dựa trên logic 3 trị.

Trình bày ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương, ngữ nghĩa mô hình hoàn hảo của chương trình logic dạng tuyển phân tầng và ngữ nghĩa mô hình bền vững mở rộng của chương trình logic dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

11 p husc 26/09/2016 222 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dương, Logic thông thường, Mô hình bền vững, Mô hình cực tiểu, Mô hình hoàn hảo, Vững tuyển mở rộng.
Nghiên cứu lập trình logic tập trả lời và ứng dụng

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

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