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

... Chiến lợc Minimax Quá trình chơi cờ là quá trình Trắng và Đen thay phiên nhau đa ra quyết định, thực hiện một trong số các nớc đi hợp lệ. Trên cây trò chơi, quá trình đó sẽ tạo ra đờng đi từ gốc ... áp dụng) để đợc đa đến công thức mà ta cần chứng minh. Trong các lĩnh vực nghiên cứu của Trí Tuệ Nhân Tạo, chúng ta thờng xuyên phải đối đầu với vấn đề tìm kiếm. Đặc biệt trong l...

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

... đ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ứ ... 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ớng, cờ carô. Trang 1 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Mỗi chiến lợc tìm kiếm trong không gian trạng thái tơng ứng với một phơng pháp xây dựng cây tìm kiếm. Quá trình xây dựng cây bắt ... một ánh xạ R: UU. Nói chung R là một ánh xạ không xác định khắp nơi trên U. Trang 2 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. hạn, từ trạng thái ban đầu (hình 1.2...

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

... kiếm leo đồi đợc trình bày dới đây, ngoài danh sách L lu các trạng thái chờ đợc phát triển, chúng ta sử dụng danh sách L 1 để lu giữ Chơng 2 - Trang 4 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh ... Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. theo thứ tự tăng dần của hàm đánh giá sao cho trạng thái có giá ... đỉnh đợc gạch dới là các đỉnh đợc chọn để phát triển ở m...

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

... u do Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng 4- Trang 4 Giả sử Đen đi trớc, ta có cây trò chơi đợc biểu diễn nh trong hình 4.2. 4.2 Chiến lợc Minimax Quá trình chơi cờ là quá trình ... đa hai quân của mình ra khỏi bàn cờ trớc sẽ thắng, hoặc tạo ra tình thế bắt đối phơng không đi đợc cũng sẽ thắng. Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng. Chơng 4...

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

... định đợc ngữ nghĩa của các câu đơn, ta có thể thực hiện đợc ngữ nghĩa của các câu phức hợp (đợc tạo thành từ các câu đơn bằng cách liên kết các câu đơn bởi các kết nối logic) nh trong logic mệnh ... đợc từ G bằng cách thay x bằng một đối tợng trong miền đối tợng là đúng. Bằng các phơng pháp đà trình bày ở trên, ta có thể xác định đợc giá trị chân lý ( True, False ) của một công thức bất k...

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

... cho tới khi gặp hai ký hiệu khác nhau trong biểu thức. Trích ra hai biểu thức con bắt đầu từ các ký hiệu khác nhau đó. Cặp biểu thức con đó tạo thành sự khác biệt giữa hai biểu 128 - Chuyển về ... dạng logic mệnh đề. b) Có một bệnh nhân khai : “Thân nhiệt > 37 0 “ và “ốm trên 7 ngày”. Dùng phương pháp chứng minh Robinson và Vương Hạo để kết luận bệnh nhân này bị "viêm nhiễm&quo...

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

... đang làm. Trong khi đó 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. (Tác nhân thông minh là bất cứ cái gì có ... a i đều dẫn xuất được giả thiết thì quá trình dẫn xuất ra b là đúng) - Giải thuật GỌi T là tập các sự kiện cần chứng minh tại thời điểm đang xét (khởi tạo T= G, G là tập kết lu...

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

... 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 ... giáo trình của ngành học này chưa đáp ứng dược nhu cầu của sinh viên các trường đại học, đặc biệt đối với sinh viên khu vực miền Trung. Vì vậy, chúng tôi biên soạn giáo t...

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