- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
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 260 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ôn ngữ AnsProlog * và ứng dụng.
Trình bày một ngôn ngữ của lập trình logic theo ngữ nghĩa tập trả lời được gọi là AnsProlog*. Trong AnsProlog* ta cố định ngữ nghĩa tập trả lời và chỉ tập trung vào đó.Ứng dụng của ngôn ngữ AnsProlog* thông qua một số bài toán trong lý thuyết đồ thị và tiến hành mã hóa, thực thi trên hệ thống lập trình logic DLV. Ghi chú: Tài liệu toàn văn liên...
5 p husc 23/10/2017 254 1
Từ khóa: Công nghệ thông tin, Chương trình Logic, Logic xác định, Ngôn ngữ AnsProlog, Hệ thống DLV, Biên dịch hệ thống, Bài toán hệ thống, Bài toán biểu diễn, Bài toán chu trình, Bài toán tập định, Bài toán phủ định.
Tìm hiểu về ngữ nghĩa chương trình logic với các ràng buộc bản số, trọng số và ứng dụng.
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 263 1
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.
Lôgic mờ và ứng dụng trong hệ thông tin địa lý
Bài viết Lôgic mờ và ứng dụng trong hệ thông tin địa lý giới thiệu các khái niệm và nguyên lý cơ bản của lôgic mờ (tính mờ, tập mờ, các dạng hàm liên thuộc, các phép toán trên tập mờ, biến ngôn ngữ và gia tử) cũng như các ứng dụng của nó trong việc biểu diễn các đối tượng có ranh giới không rõ ràng và phân tích không gian mờ trong GIS.
8 p husc 31/05/2017 313 1
Từ khóa: Nguyên lý Lôgic mờ, Hệ thông tin địa lý, Ứng dụng hệ thông tin địa lý, Dạng hàm liên thuộc, Biến ngôn ngữ, Không gian mờ trong GIS
Tìm hiểu về Logic mô tả ALC mờ và SHIN mờ.
Trình bày một số khái niệm cơ sở của logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả SHIN trong đó tập trung vào cú pháp, ngữ nghĩa cùng với các tính chất của logic mô tả SHIN mờ. 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 27/12/2016 391 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic mô tả, Thuật ngữ mờ, Phép bao hàm, Bao hàm mờ, Quan hệ kéo theo
Tìm hiểu ngôn ngữ DLPA và ứng dụng.
trình bày cú pháp và ngữ nghĩa cùng với các tính chất về ngữ nghĩa của ngôn ngữ DLPA ứng dụng chương trình DLPA để biểu diễn tri thức thông qua một số bài toán thực tế. 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
9 p husc 27/09/2016 391 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ logic, Logic bậc nhất, Logic xác định, Tập trả lời, Hệ thống DLV, Ngôn ngữ DLPA.
Tìm hiểu ngữ nghĩa chương trình Logic mở rộng và ứng dụng.
Trình bày 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. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. 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 301 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.
Nghiên cứu một số phương pháp lập luận mờ và ứng dụng trong xếp hạng tín dụng.
Tìm hiểu các kiến thức cơ bản về xếp hạng tín dụng, mô hình xếp hạng tín dụng cá nhân sử dụng phương pháp lập luận mờ, và công cụ Fuzzy Logic Toolbox trong Matlab từ đó xây dựng thành 4 nhóm luật và mô phỏng việc xây dựng các nhóm luật này để đánh giá xếp hạng tín dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
11 p husc 23/09/2016 255 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Phép hợp mờ, Phép giao mờ, Quan hệ mờ, Logic mờ, Lập luận xấp xỉ.
Tìm hiểu về lập luận suy diễn trong lập trình logic phỏng đoán
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 186 2
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
Tìm hiểu việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ
Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. 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 238 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ
Tìm hiểu chương trình Datalog $ và logic mô tả DL-Lite.
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 289 1
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
Xấp xỉ khái niệm cho hệ thống thông tin trong logic mô tả.
Mô phỏng hai chiều và tính bất biến đối với mô phỏng hai chiều trên một lớp các logic mô tả thông qua ngôn ngữ và ngôn ngữ con. Với lớp các logic mô tả lớn hơn, các khái niệm, định nghĩa, định lý, bổ đề và hệ quả được phát triển dựa trên kết quả của Các định lý, bổ đề trong chương này cũng đã được trình bày và chứng minh một cách...
5 p husc 27/05/2016 205 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.
Đăng nhập
Bộ sưu tập nổi bật
Tuyển tập tác phẩm văn học hay
15 7001
17 11479
Bộ sưu tập tài liệu Toán học hay
24 7272
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.