Chương 1. Tổng quan về khoa học trí tuệ nhân tạo
Chương 2. Các phương pháp biểu diễn và giải quyết vấn đề
Chương 3. Ngôn ngữ lập trình Prolog
| Xem..
Thực hành Ngôn ngữ lập trình - Khoa CNTT Nguồn: Trường ĐH Bách khoa Tp.HCM, 2005 Mã số: 206222011 843.5 kB 103 9,823 0 1
PHẦN I. PROLOG
Chương I. Vị từ - Tư duy lập trình và định nghĩa vấn đề trên Prolog
Chương II. Các clause, cách giải thích các vấn đề trên Prolog
Chương III. Môi trường lập trình B-Prolog
Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời
Chương IV. Thực thi chương trình. - Đặt câu hỏi và nhận.. | Xem..
Dịch từ bản tiếng Anh Prolog Fast Foot.
- Hướng dẫn
- Đặc điểm của Prolog
- Cấu trúc của chương trình Prolog
- Domains
- Predicates
- Clauses
- Goal
- Đặc điểm của biến
- Bản chất đệ qui
- Kiểu danh sách
- Nguyên tắc trả lời goal
- Cơ chế hoạt động của Prolog
- Lập trình luận lý − mô tả
- Lập trình luận lý − đệ qui
- Tạp luận
- Lịch sử
Tài liệu tham.. | Xem..
Trí Tuệ Nhân Tạo - Nguyễn Nhật Quang Nguồn: Trường Đại học Bách Khoa Hà Nội, 2010 Mã số: 176772011 4.8 MB 13,627 2 0
Môn học này giúp sinh viên có được kiến thức về các khái niệm và kỹ thuật cơ bản của Trí tuệ nhân tạo. Đồng thời, môn học này cũng giúp sinh viên hiểu được các ứng dụng của Trí tuệ nhân tạo trong thực tế.
Bài 1: Giới thiệu về Trí tuệ nhân tạo
Bài 2: Tác tử
Bài 3: Giải quyết vấn đề bằng tìm kiếm: Các chiến lược tìm kiếm cơ.. | Xem..
Bài giảng Trí tuệ nhân tạo - Nguyễn Tiến Tài Nguồn: Trường ĐHKHTN - ĐHQG.HN, 2008 Mã số: 44942010 1.2 MB 18,611 13 1
Lec 1. Giới thiệu về trí tuệ nhân tạo, các khái niệm cơ bản
Lec 2. Agent thông minh
Lec 3. Giải quyết vấn đề bằng tìm kiếm: tìm kiếm mù
Lec 4. Tìm kiếm kinh nghiệm (heuristics)
Lec 5. Trò chơi: Tìm kiếm có đối thủ
Lec 6. Logic mệnh đề
Lec 7-8. Logic vị từ cấp một
Lec 9-10. Biểu diễn tri thức bởi các luật và lập luận
Lec 11-13. Lập trình logic Prolog
Lec 14. Tri thức không.. | Xem..
Logic Toán - Trần Thọ Châu Nguồn: Đại học quốc gia Hà Nội, 2009 Mã số: 52102009 1.1 MB 205 26,070 17 4
Lời mở đầu
1. Đại số mệnh đề
2. Hệ toán mệnh đề
3. Hệ toán tân từ
4. Ngôn ngữ PROLOG
5. Logic mờ
Tài liệu tham khảo | Xem..
The Art of Prolog - Leon Sterling - Ehud Shapiro Nguồn: Chưa xác định, 2009 Mã số: 66882009 2.8 MB 15,350 3 0
Kỹ thuật lập trình logic trong Prolog.
I - Logic Programs
1. Basic Constructs
2. Database Programming
3. Recursive Programming
4. The Computation Model of Logic Programs
5. Theory of Logic Programs
..
II - The Prolog Language
III - Advanced Prolog Programming Techniques
IV - Applications | Xem..
I. Vị từ (predicate) - Tư duy lập trình và định nghĩa vấn đề trên Prolog
II. Các clause, cách giải thích các vấn đề trên Prolog
III. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời
IV. Phép hợp nhất - Cơ chế tìm câu trả lời của Prolog.
V. Sự quay lui - Khống chế số lượng lời giải -Vị từ nhát cắt và fail
VI. Lập trình đệ quy với.. | Xem..
1. Tổng quan về khoa học TTNT
2. Các phương pháp biểu diễn và giải quyết vấn đề
3. Ngôn ngữ TTNT Prolog | Xem..
Trí tuệ nhân tạo - Nguyễn Quang Hoan Nguồn: Học viện Bưu chính Viễn thông, 2008 Mã số: 48522008 2.0 MB 171 19,007 40 8
Chương 1: Tổng quan
1.1. Lịch sử hình thành và phát triển
1.2. Các tiền đề và khái niệm cơ bản của TTNT
1.3. Các lĩnh vực nghiên cứu và ứng dụng cơ bản
1.4. Tác tử thông minh
1.5 Những vấn đề chưa được giải quyết trong TTNT
Chương 2: Giải quyết vấn đề bằng tìm kiếm
2.1 Giải quyết vấn đề và khoa học TTNT
2.2 Biểu diễn vấn đề dưới dạng bài toán tìm kiếm trong không gian trạng.. | Xem..
Lôgic - Lập trình và Prolog.
I. Foundations
1. Preliminaries
2. Definite Logic Programs
3. SLD-Resolution
4. Negation in Logic Programming
5. Towards Prolog: Cut and Arithmetic
II. Programming in Logic
6. Logic and Databases
7. Programming with Recursive Data Structures
8. Amalgamating Object- and Meta-language
9. Logic and Expert Systems
10. Logic and Grammars
11. Searching in a State-space
III. Alternative Logic Programming Schemes
12... | Xem..
Prolog and Natural Language Analysis - Fernando C.N. Pereira, Stuart M. Shieber Nguồn: Chưa xác định, 2002 Mã số: 32192008 1.1 MB 219 14,405 6 3
Ngôn ngữ lập trình lôgic, lập trình Prolog và bàn về phân tích ngôn ngữ tự nhiên.
1 Introduction
1.1 Purpose
1.2 Logic Programming and Language
1.3 Programming In Prolog
1.4 Overview
1.5 Bibliographic Notes
2 Database Prolog
2.1 Databases and Queries
2.2 Extending the Query Language
2.3 The Logic of Prolog
2.4 The Operation of Database Prolog
2.5 Recursive.. | Xem..
Lập Trình Logic - TS. Nguyễn Thanh Bình Nguồn: Đại học Đà Nẵng, 2007 Mã số: 17912007 1.4 MB 114 25,487 32 10
Lịch sử phát triển của Tin học luôn gắn liền với việc tìm kiếm các phương pháp lập trình để giúp cho người sử dụng triển khai các ứng dụng một cách dễ dàng, nhanh chóng và hiệu quả.. | Xem..
Lập trình logic trong Prolog - TS. Phan Huy Khánh Nguồn: Đại học Đà Nẵng, 2007 Mã số: 17282007 2.1 MB 210 36,347 59 15
Cuốn sách này nhằm cung cấp cơ sở lý thuyết và các phương pháp lập trình cơ bản nhất của môn học «Lập trình lôgich» (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgich được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo (Artificial Intelligence) như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử.. | Xem..
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp EK<ma_sach><noi_nhan>
Nhắn tới số 8677. Xem chi tiết.
+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin: EKD<username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.