... đế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ập kế hoạch và học máy, tìm kiếm ... Chiến lợc MinimaxQuá 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 ... để giải quyết các vấn đề và đợc áp dụng rộng rÃi trong các lĩnh vực nghiên cứu khác của Trí TuệNhân Tạo. Chúng ta lần lợt nghiên cứu các kỹ thuật sau:ãCác kỹ thuật tìm kiếm mù, trong đó chúng...
... phép biến đổi lợng giác), đểđa tích phân cần tính về tích phân của các hàm số sơ cấp mà chúng ta đà biết cách tính.Trang 10 GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng.1.3.2 Tìm kiếm theo ... stop}}4. Solvable(u) false;end;NhËn xÐtTrang 15 GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng.lÃnh thổ (xem hình 1.6). Giả sử ta cần tìm đờng đi từ thành phố A tới thành phố B. Có consông ... không gian trạng thái sau:ã Trạng thái ban đầu (bài toán cần giải) là a.ã Tập các toán tö quy gåm:Trang 12 GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng.phần igiải quyết vấn đề bằng tìm kiếm...
... 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 L1 để lu giữ Chơng 2 - Trang 4 GiáotrìnhTríTuệNhânTạo - Đinh Mạnh ... GiáotrìnhTríTuệNhânTạ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ỗi mức.Chơng 2 - Trang 5 GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng.Chơng IICác chiến lợc tìm kiếm kinh nghiệm Trong chơng I, chúng...
... u do Giáo trìnhTríTuệNhânTạ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 MinimaxQuá 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ìnhthế bắt đối phơng không đi đợc cũng sẽ thắng. Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.Chơng 4- Trang 2 Ví dụ: Xét cây ... của nó. Giáo trìnhTríTuệNhânTạo - Đinh Mạnh Tờng.Chơng 4- Trang 5 Chơng IV Tìm kiếm có đối thủ Nghiên cứu máy tính chơi cờ đà xuất hiện rất sớm. Không lâu sau khimáy tính lập trình đợc...
... lượng tử ta có thể tạo ra cáccâu phức hợp có cấu trúc rất phức tạp. Để dễ dàng cho việc lưu trữ các câu trong bộ nhớ, và thuậnlợi cho việc xây dựng các thủ tục suy diễn, chúng ta cần chuẩn hoá các ... dấungoặc không cần thiết, chẳng hạn các dấu ngoặc ngoài cùng.Lợng tử phổ dụng cho phép mô tả tính chất của cả một lớp các đối tợng, chứ không phảicủa một đối tợng, mà không cần phải liệt kê ... đợc từ Gbằ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ỳ...
... đó.Ta sẽ giả sử rằng E và F chứa các biến có tên khác nhau, nếu không ta chỉ cần đặt tên lại các biến.Trong thuật toán ta cần tìm sự khác biệt giữa hai biểu thức. Sự khác biệt đựocxác định như sau: ... cho tới khi gặphai 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ácký 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ểu128 - Chuyển về ... không cần thiết, chẳng hạn các dấungoặc ngoài cùng.Lượng từ phổ dụng (universal quantfier) cho phép mô tả tính chất của cảmột lớp các đối tượng chứ không phải của một đối tượng mà không cần...
... đang làm. Trong khi đó mục tiêu của trítuệnhântạ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ó ... ai đều dẫn xuất được giả thiết thì quá trình dẫn xuất ra b là đúng)- Giải thuậtGỌ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ận). S(p) ={ri∈R ... đúng thì A cũng sai.Trong quá trình suy diễn, ta cần quan tâm đến các vấn đề sau:- Xây dựng tập luật, câu hỏi nào được chọn để người sử dụng trả lời- Chọn quá trình tìm kiếm như thế nào- Thông...
... soạn giáotrìnhTrítuệnhântạ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 đíchxây dựng nhiều giáotrình trên một khung chương trình đào tạo, mà còn ... Mục lụcChương 0. Mở đầu 21. Tổng quan về Khoa họcTrí ruệ nhântạo 22. Lịch sử phát triển của Trítuệnhântạo 53. Một số vấn đề Trítuệnhântạo quan tâm 84. Các khái niêm cơ bản 10Chương ... Biểu diễn bài toán bằng logic và các phương pháp chứng minh 107 ĐẠIHỌC HUẾTRƯỜNG ĐẠIHỌC KHOA HỌC Giáo trình TRÍTUỆNHÂN TẠOHuế, 2004 Lời nói đầuTrong các năm qua, nhiều tài liệu của ngành...
... là cài đặt trítuệnhân tạo, làm rõ hơn các ngành của khoa họcTrítuệnhântạo và tiến hành các nghiên cứu mới, đặc biệt là nghiên cứu về cơ chế suy lý, về Trítuệnhântạo phân tạo, về các ... thuật cơ bản của tin học truyền thống có liên quan trực tiếp đến Trítuệnhân tạo. 2. Lịch sử phát triển của TríTuệNhân Tạo. Lịch sử của Trítuệnhântạo cho thấy ngành khoa học này có nhiều kết ... thông minh. Khoa học về cơ học và Trítuệnhântạo được tích hợp trong khoa học người máy. - Tâm lý học xử lý thông tin : Các kết quả nghiên cứu của tâm lý học giúp Trí tuệnhântạo xây dựng các...
... hãy tìm dãy hợp lý a1, a2, …, an.6.4 Bài toán người đưa hàng.Người đưa hàng cần phải xác định được hành trình ngắn nhất sao cho mỗithành phố đi đến đúng một lần và quay trở lại thành phố ... trận cuối cùng của bài toán (các số nằm theo vị trí yêu cầu) F = {fl, fr, fu, fd}Tìm kiếm lời giải trong không gian trạng thái là quá trình tìm kiếm xuất phát từtrạng thái ban đầu, ... thứ 2 có a2 viên, …, đống thứ n có an viênvà tất nhiên a1+ a2 + …+ an = 2k. Người ta cần san sẻ lượng sỏi từ các đống đểdồn sỏi trở về 1 đống. Quy tắc san sỏi như sau: mỗi lần san...
... việc tìm kiếm tiếp tục theo nhánh nào tin tưởng sẽ dẫn đến lời giải.Trong các chương trìnhtrítuệnhân tạo, kỹ thuật tìm kiếm tốt nhất đầu tiên sử dụng hàm đánh giá. Hàm này dùng các thông ... trên, ta có:h2(u)=2+3+1+3= 9 (vì quân 3 cần ít nhất 2 dịch chuyển, quân 8 cần ít nhất 3 dịch chuyển, quân 6 cần ít nhất 1 dịch chuyển và quân 1 cần ít nhất 3 dịch chuyển)5. Tìm kiếm đường ... giữa vị trí của các quân trong trạng thái u và vị trí của nó trong trạng thái đích. Ở đây, khoảng cách được hiểu là số lần dịch chuyển ít nhất theo hàng hoặc cột để đưa một quân ở vị trí của...
... giải có giá nhỏ nhất.Các quá trình này khác hẳn với các quá trình lựa chọn trong không giantrạng thái. Sự khác biệt chủ yếu là do việc kiểm tra tính kết thúc của quá trình tìm kiếm và các phương ... 3.AA1 A2 B1 B2Hình 392 - Đối với giá cực đại h0(n) = Max(c(n,ni)+h0(ni))Bài toán 2. Xây dựng cây lời giải tiềm tàng G’ mô tả quá trình chuyển bài toánn0 về bài toán n. Gọi G’ ... L*M*NO*Hình 3Các đỉnh kết thúc là các đỉnh đánh dấu *. Quá trình tìm kiếm lời giải của đò thịtrên bằng phương pháp tìm kiếm rộng có thể trình bày ở bảng saun T(n) MO DONGAA B, C, D B C D AB...