» Từ khóa: chuong trinh logic

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. 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, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

 5 p husc 23/10/2017 275 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 347 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Trình bày một số khái niệm cơ sở và ngữ nghĩa của chương trình logic, cú pháp và ngữ nghĩa logic mô 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

 11 p husc 19/05/2017 253 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic mô tả mờ, Tập mờ, Ngữ Nghĩa.

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. 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 30/12/2016 247 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụ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 238 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 hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. 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

 13 p husc 26/09/2016 245 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.

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 200 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 xác định. Phép hợp giải SLD đối với chương trình logic xác định. 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 01/06/2016 265 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog

Trình bày về mối quan hệ giữa chương trình Datalog và logic mô tả. Cú pháp và ngữ nghĩa logic mô tả DL-Lite được trình bày chi tiết và phương pháp chuyển đổi logic mô tả DL-Lite thành chương trình Datalog$. 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/05/2016 304 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình datalog, Hệ quả logic, Lý thuyết mô hình, Mô tả DL-Lite, Logic bậc nhất, Ngôn ngữ logic

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 278 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

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 390 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn

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 343 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