» Từ khóa: logic thong thuong

Tổng quan về chương trình logic; Chương trình logic phỏng đoán; Một số phương pháp trả lời câu truy vấn. 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

 11 p husc 06/05/2024 20 0 Download

Từ khóa: Khoa học máy tính, Logic thông thường, Hệ thống Ciff, Thực thi truy vấn, Phương pháp EK, Logic phỏng đoán

Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toán. 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

 10 p husc 10/01/2018 309 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững

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 276 1 Download

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.

Trình bày về ngôn ngữ logic bậc nhất, cú pháp và ngữ nghĩa của chương trình logic. Chứng minh CIFF – là một phƣơng pháp để trả lời câu truy vấn đối với các chương trình logic phỏng đoán có chứa ràng buộc. 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

 10 p husc 27/09/2016 246 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Logic thông thường, Logic phỏng đoán, Hệ thống CIFF, Thực thi truy vấn, Swi-Prolog.

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 224 1 Download

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.

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. 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

 12 p husc 26/09/2016 241 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 202 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 280 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường