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

Danh mục TaiLieu.VN

» Từ khóa: phu dinh manh

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

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 việc biểu diễn tri thức trong A-PROLOG.

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

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.

Đăng nhập

Hướng dẫn khai thác thư viện số

Bộ sưu tập nổi bật

Tuyển tập Tư tưởng đạo đức Hồ Chí Minh

16 7698
Tuyển chọn tài liệu môi trường hay

13 7294
Tuyển chọn ebook Huyền thoại Việt Nam

16 6869
Bộ sưu tập tài liệu Toán học hay

24 7849
Bộ sưu tập tài liệu Lập trình

17 13661
Tuyển tập tác phẩm văn học hay

15 7884
Bộ sưu tập tài liệu hay về Công nghệ Kiến...

20 18866

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số