giáo trình Trí tuệ nhân tạo

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

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

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

... tiếp đến Trí tuệ nhân tạo Lịch sử phát triển Trí Tuệ Nhân Tạo Lịch sử Trí tuệ nhân tạo cho thấy ngành khoa học có nhiều kết đáng ghi nhận Theo mốc phát triển, người ta thấy Trí tuệ nhân tạo sinh ... hướng Trí tuệ nhân tạo cài đặt hệ Trí tuệ nhân tạo hệ thống khác, đặc biệt hệ thống tin học Những vấn đề chưa giải Trí tuệ nhân tạo Những th...

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

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

... 4.3 Ưu nhược điểm phương pháp tìm kiếm tốt 4.3.1 Ưu điểm - Phương pháp tìm kiếm tốt tổ hợp ưu điểm phương pháp tìm kiếm rộng tìm kiếm sâu - Ưu điểm chủ yếu phương pháp tìm kiếm tốt dùng tri thức ... gần đích” trạng thái u Hàm h(u) gọi hàm đánh giá Phương pháp tìm kiếm kinh nghiệm phương pháp tìm kiếm có sử dụng đến hàm đánh giá Trong trì...

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

... DONG A A B, C BC C F* , G BG G L*, M* : giải ⇒ A giải Cây lời giải Hình A C F* G L* M* Hình 99 3. 3 Tìm kiếm lời giải cực tiểu: Cây G=(V, E) biểu diễn phân rã toán gốc n0 Ứng với phép chuyển toán ... đường chéo mở đới với Max) – (số dòng, số cột, số đường chéo mở min) Giả sử ta hạn chế kích thước 3x3 nước đi, đấu thủ tính trước hai nước Nếu đấu thủ Max trước độc giả kiểm tra, nước Max là: X...

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