Giáo trình trí tuệ nhân tạo chapter 1

... ngày càng phát triển Chương 1 Tổng quan khoa học trí tuệ nhân tạo 1. 1 Lịch sử hình thành phát triển 1. 2 Các khái niệm 1. 3 Một số vấn đề Trí tuệ nhân tạo quan tâm  1. 2 Các khái niệm cơ bản 1. 2 .1 Trí tuệ người (Human ... của tin học truyền thống có liên quan trực tiếp đến  Trí tuệ nhân tạo 1. 3 Một số vấn đề Trí tuệ nhân tạo quan tâm 1. 3 .1 Những vấn đề c...

Ngày tải lên: 03/12/2015, 22:22

... (nh tìm kiếm theo độ sâu) Nói chung, nên áp dụng tìm kiếm sâu lặp cho vấn đề có không gian trạng thái lớn độ sâu nghiệm trớc 1.4 1.4.1 Quy vấn đề vấn đề Tìm kiếm đồ thị và/hoặc Quy vấn đề vấn đề ... vấn đề vấn đề (còn gọi rút gọn vấn đề) phơng pháp đợc sử dụng rộng rãi để giải vấn đề Trong đời sống hàng ngày, nh khoa học kỹ thuật, gặp vấn đề...

Ngày tải lên: 09/12/2013, 15:15

... (13 3) (12 3) (13 1) (12 1) (12 2) (233) (2 31) (2 21) (222) (223) (322) (232) (323) ( 212 ) ( 213 ) (3 21) ( 313 ) ( 211 ) ( 311 ) (3 31) ( 312 ) (332) (333) 20 BÀI TẬP Xây dựng không gian trạng thái toán sau: 6 .1 Cho ... thị G1, ta có List (1) = [2, 3, 4] Ví dụ Bài toán đong nước m=3, n=2, k =1 (0,0) (3,0) (0,2) (1, 2) (3,2) (1, 0) (0 ,1) (2,0) (2,2) (3 ,1) Ví dụ Tháp Hà Nội vớ...

Ngày tải lên: 06/01/2014, 08:14

... sau: Độ sâu d Thời gian Không gian 11 giây megabyte 18 giây 11 1 megabytes 31 11 gigabytes 10 12 8 ngày terabyte 12 35 năm 11 1 terabytes 14 3500 năm 11 .11 1 terabytes 1. 3.2 Tìm kiếm theo độ sâu Như ... phải phát triển lặp d lần, đỉnh mức lặp d -1 lần, , đỉnh mức d lặp lần Như tổng số đỉnh cần phát triển tìm kiếm sâu lặp là: (d +1) 1 + db + (d -1 ) b2 + + 2bd -1 + 1bd Do thời...

Ngày tải lên: 23/07/2014, 02:20

... Đinh Mạnh Tường Giáo trình Trí tuệ Nhân tạo Khoa CNTT - Đại Học Quốc Gia Hà Nội Phần I Giải vấn đề tìm kiếm ... luật suy diễn áp dụng) để đưa đến công thức mà ta cần chứng minh Trong lĩnh vực nghiên cứu Trí Tuệ Nhân Tạo, thường xuyên phải đối đầu với vấn đề tìm kiếm Đặc biệt lập kế hoạch học máy, tìm kiếm ... nghiên cứu kỹ thuật tìm kiếm áp dụng để giải vấn đề áp dụng rộng...

Ngày tải lên: 26/07/2014, 08:21

... http://blogthuthuat.com Đinh Mạnh Tờng Giáo trình Trí tuệ Nhân tạo Khoa CNTT - Đại Học Quốc Gia Hà Nội inh Mnh Tng Trang http://blogthuthuat.com Phần ... tính chơi cờ xuất sớm Không lâu sau máy tính lập trình đợc đời vào năm 1950, Claude Shannon viết chơng trình chơi cờ nhà nghiên cứu Trí Tuệ Nhân Tạo nghiên cứu việc chơi cờ, máy tính chơi cờ chứng ... lý cho công việc...

Ngày tải lên: 14/11/2012, 13:46

... suy diễn đợc áp dụng) để đợc đa đến công thức mà ta cần chứng minh Trong lĩnh vực nghiên cứu Trí Tuệ Nhân Tạo, thờng xuyên phải đối đầu với vấn đề tìm kiếm Đặc biệt lập kế hoạch học máy, tìm kiếm ... kỹ thuật tìm kiếm đợc áp dụng để giải vấn đề đợc áp dụng rộng rãi lĩnh vực nghiên cứu khác Trí Tuệ Nhân Tạo Chúng ta lần lợt nghiên cứu kỹ thuật sau: Các kỹ thuật tìm kiếm mù, hiểu bi...

Ngày tải lên: 30/09/2013, 17:58

... chuyển Hai chiến lợc tìm kiếm kinh nghiệm quan trọng tìm kiếm tốt - (best-first search) tìm kiếm leo đồi (hill-climbing search) Có thể xác định chiến lợc nh sau: Tìm kiếm tốt = Tìm kiếm theo bề ... đánh giá Tìm kiếm leo đồi = Tìm kiếm theo độ sâu + Hàm đánh giá Chúng ta lần lợt nghiên cứu kỹ thuật tìm kiếm mục sau 2.2 Tìm kiếm tốt - đầu tiên: Tìm...

Ngày tải lên: 09/12/2013, 20:15

... bắt đối phơng không đợc thắng Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng Chơng 4- Trang Giả sử Đen trớc, ta có trò chơi đợc biểu diễn nh hình 4.2 4.2 Chiến lợc Minimax Quá trình chơi cờ trình ... u Sau thủ tục chọn nớc cho trắng đỉnh u Trong thủ tục Minimax(u,v), v biến lu lại trạng thái mà Trắng chọn tới từ u procedure Minimax(u, v); begin val -; for w đỉnh u Giáo...

Ngày tải lên: 09/12/2013, 20:15

... giống nh logic mệnh đề Các công thức tơng đơng Cũng nh logic mệnh đề, ta nói hai công thức G H tơng đơng ( viết G H ) chúng sai minh hoạ Ngoài tơng đơng biết logic mệnh đề, logic vị từ cấp có ... quy nh sau Các ký hiệu vị từ không biến ( ký hiệu mệnh đề ) câu đơn Nếu t1, t2, ,tn n hạng thức p vị từ n biến p( t1,t2, ,tn) câu đơn Chẳng hạn, Hoa ký hiệu hằng, Love vị từ...

Ngày tải lên: 09/12/2013, 20:15

... phương pháp chứng minh phản chứng Phương pháp chứng minh phản chứng: Bài toán Chứng minh phép suy luận (a → b) (với a giả thiết, b kết luận) Phản chứng: giả sử b sai suy ¬ b Bài toán chứng minh a ... S(a) Chứng minh cách áp dụng luật suy diễn để dẫn tới điều cần phải chứng minh (như chứng minh trên) gọi chứng minh diễn dịch (deduction proof) Như...

Ngày tải lên: 06/01/2014, 08:14

... 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 sử dụng tri thức, xử lý tri thức, cần phải biểu diễn tri thức dạng thuận tiện cho máy tính Đó mục tiêu biểu diễn tri ... ,rm} Chứng minh tập kết luận G 3.3 Các phương pháp suy diễn Quá trình suy diễn hệ luật sản xuất bao gồm phương pháp bản: suy diễn tiến suy di...

Ngày tải lên: 06/01/2014, 08:14

... Wesley, 1992 Mục lục Chương Mở đầu Tổng quan Khoa học Trí ruệ nhân tạo Lịch sử phát triển Trí tuệ nhân tạo Một số vấn đề Trí tuệ nhân tạo quan tâm Các khái niêm 2 10 Chương Biểu diễn toán không ... Hoàng Kiếm Trí tuệ nhân tạo: Các phương pháp ứng dụng Nhà xuất Khoa học Kỹ thuật, 1989 Đinh Mạnh Tường Giáo trình Trí tuệ nhân tạo, Đại học Quốc gia Hà nội...

Ngày tải lên: 06/01/2014, 08:14