Nguồn: Sưu tầm, 2003
Mã số: 26226 2015 83.1 kB 45 1,239 0  0  

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

Nguồn: Trường ĐH Bách khoa Tp.HCM, 2005
Mã số: 20622 2011 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..

Nguồn: Trường ĐH Bách khoa Tp.HCM, 2011
Mã số: 20297 2011 468.4 kB 62 17,937 0  1  

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

Nguồn: Trường Đại học Bách Khoa Hà Nội, 2010
Mã số: 17677 2011 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..

Nguồn: Trường ĐHKHTN - ĐHQG.HN, 2008
Mã số: 4494 2010 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..

Nguồn: Đại học quốc gia Hà Nội, 2009
Mã số: 5210 2009 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..

Nguồn: Chưa xác định, 2009
Mã số: 6688 2009 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..

Nguồn: Đại học Sư phạm, 2009
Mã số: 9216 2009 350.9 kB 25 17,223 20  5  

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

Nguồn: Trường Đại học Vinh, 2008
Mã số: 7514 2008 4.1 MB 18,962 38  3  

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

Nguồn: Học viện Bưu chính Viễn thông, 2008
Mã số: 4852 2008 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..

Nguồn: Chưa xác định, 2008
Mã số: 5269 2008 1.9 MB 294 4,782 4  0  

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

Nguồn: Chưa xác định, 2002
Mã số: 3219 2008 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..

Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1791 2007 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..

Nguồn: Đại học Đà Nẵng, 2007
Mã số: 1728 2007 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..