... đang làm. Một mục tiêu của Trí tuệ nhân tạo ứng dụng là thiết kế các tác nhân thông minh (intelligent agent) cũng có khả năng đó như con người. Chúng ta có thể hiểu tác nhân thông minh là bất cứ ... rất sớm. Không lâu sau khi máy tính lập trình được ra đời vào năm 1950, Claude Shannon đã viết chương trình chơi cờ đầu tiên. các nhà nghiên cứu Trí Tuệ Nhân Tạo đã nghiên cứu...
Ngày tải lên: 30/09/2013, 17:58
... từ trên biểu diễn cho việc sử dụng kỹ thuật lập trình đệ quy, sẽ là sức mạnh lập trình chủ yếu của Prolog. Xem thêm về phần lập trình đệ quy trên Prolog trong các phần sau. Tóm tắt . Các ... nên sức mạnh chủ yếu của Prolog: lập trình đệ quy. Kỹ thuật này cũng phù hợp với suy nghĩ của con người khi tiếp cận giải quyết vấn đề và khiến cho việc lập trình trên Prolo...
Ngày tải lên: 12/12/2013, 15:15
Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH
... d (Res 2A, 4) 9. ơb ơc (Res 2C, 5) 10. c (Res 3, 7A) 11. ơc (Res 4, 9A) Mõu thun gia 10 và 11. Chứng minh xong. 2.3. Chứng minh bằng luật phân giải trên logic vị từ Trong phần logic mệnh đề, ... f ≡1 Bài tập 3. Cho các biểu thức logic mệnh đề đúng sau 1. abc → c 2. abc → p 3. as → h 4. abcp → s 5. abd Hãy dùng phương pháp Robinson và Vương Hạo để chứng minh h...
Ngày tải lên: 06/01/2014, 08:14
Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN
... pq Biểu diễn tri thức đã cho dưới dạng luật sản xuất và dùng phương pháp suy diễn tiến và suy diễn lùi để chứng minh hoặc bác bỏ sự kiện s≡1. Bài tập 3. Cho cơ sở tri thức được biểu diễn bằng các ... xét (khởi tạo tập T=F: tập sự kiện đúng ban đầu ). 153 2. Các dạng mô tả tri thức (các phương pháp biểu diễn tri thức) (Để máy tính có thể s...
Ngày tải lên: 06/01/2014, 08:14
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu
... Mục lục Chương 0. Mở đầu 2 1. Tổng quan về Khoa học Trí ruệ nhân tạo 2 2. Lịch sử phát triển của Trí tuệ nhân tạo 5 3. Một số vấn đề Trí tuệ nhân tạo quan tâm 8 4. Các khái niêm cơ bản 10 Chương ... soạn giáo trình Trí tuệ nhân tạo , một môn cơ sở chuyên ngành trong chương trình đào tạo Cử nhân Tin học, ngoài mục đích xây dựng nhiều giáo trình trên một kh...
Ngày tải lên: 06/01/2014, 08:14
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương 0
... và phân tán. 1.3. Các kỹ thuật Trí tuệ nhân tạo. Có nhiều kỹ thuật nghiên cứu, phát triển ngành khoa học Trí tuệ nhân tạo. Tuy vậy, các kỹ thuật Trí tuệ nhân tạo thường khá phức tạp khi cài ... hiện tại của Trí tuệ nhân tạo là cài đặt các hệ Trí tuệ nhân tạo trong các hệ thống khác, đặc biệt là trong các hệ thống tin học. Những vấn đề chưa được giải q...
Ngày tải lên: 06/01/2014, 08:14
Tiểu luận môn học Lập trình trí tuệ nhân tạo LÝ THUYẾT LẬP TRÌNH HÀM
... Tiểu luận môn học Lập trình trí tuệ nhân tạo ĐẠI HỌC ĐÀ NẴNG TRƯỜNG ĐẠI HỌC BÁCH KHOA TIỂU LUẬN LẬP TRÌNH TRÍ TUỆ NHÂN TẠO ĐỀ TÀI : Phần I: LÝ THUYẾT LẬP TRÌNH HÀM Đề tài: ... 0))))) Nhóm 3 17 Tiểu luận môn học Lập trình trí tuệ nhân tạo Phần III BÀI TOÁN LẬP TRÌNH PROLOG Đề tài: Cài đặt thuật toán tìm kiếm sâu (Depth-First-Search) trong lý th...
Ngày tải lên: 23/03/2015, 11:04
Tiểu luận Lập trình trí tuệ nhân tạo BÀI TOÁN LẬP TRÌNH PROLOG
... học đà nẵng trờng đại học bách khoa tiểu luận lập trình trí tuệ nhân tạo 1 Tiu lun mụn hc Lập trình trí tuệ nhân tạo LỜI NÓI ĐẦU Trí tuệ nhân tạo trở thành một môn học với mục đích ... thành tiểu luận này. Nhóm học viên thực hiện: Đặng Ngọc Tuấn Lê Công Vượng Trần Lương Vương 3 Tiểu luận môn học Lập trình trí tuệ nhân tạo MỤC LỤC...
Ngày tải lên: 23/03/2015, 11:09
Tiểu luận môn lập trình trí tuệ nhân tạo Lập trình hàm và lập trình Logic
... ^\ r j [\[ecm'Dp^/ h\^e os)'cm'Dp^/A\)+/ b)[ o o II.1.2. Chương trình bằng ngôn ngữ Scheme 'define'+DD/0định nghĩa hàm tính tổng sumx 'define'+D+/0định nghĩa hàm lặp tính tổng 'if'f'+$%D/kPkkkkk/0kiểm ... !"#$% ...
Ngày tải lên: 23/03/2015, 13:30