... trình của bạn chỉ có thể xem xét các đỉnh trong độ sâu 3 hoặc 4. Một ngời chơi cờ trình độ trung bình cũng có thể tính trớc đợc 5, 6 nớc hoặc hơn nữa, và do đó chơng trình của bạn mới đạt trình ... ở một vị trí trên bàn cờ đợc cho một giá trị tơng ứng trong bảng bên trái hình 4.4. Còn mỗi quân Đen ở một vị trí sẽ đợc cho một giá trị tơng ứng trong bảng bên phải hình 4.4: Ngoài ra, nếu ... 7http://blogthuthuat.com1.12 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ác động lẫn nhau: trítuệ lý trí và trítuệxúc cảm. Cho đến nay, tồn tại rất nhiều quan điểm khác nhau về trítuệxúc cảm, có quan điểm cho rằng trítuệxúccảm là loại trítuệ thuần năng lực ... trítuệxúc cảm. 4. Về sự tương quan giữa các năng lực cảmxúctrí tuệ, nghiên cứu cho thấy các yếu tố của trítuệcảmxúc có tương quan với nhau cao. Do đó, việc giáo dục và phát triển trí ... các nhà giáo dục, bởi ảnh hưởng của trítuệxúccảm đối với sự thành công của con người. Các nghiên cứu về trítuệxúccảm trên thế giới cho thấy rằng sự phát triển của trítuệxúccảm làm...
... tớng, cờ carô.Trang 1 Giáo trìnhTrí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ápxây dựng cây tìm kiếm. Quá trình xây dựng cây bắt ... Depth_Deepening_Search;beginfor d 0 to max doTrang 9 Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.Vấn đề của chúng ta bây giờ là, tìm kiếm trên đồ thị và/hoặc để xác định đợc đỉnh ứng với bài toán ban đầu là giải ... trạng thái với trạng thái ban đầu là A, hình 1.4b là cây tìm kiếm tơng ứng với khônggian trạng thái đó.Trang 5 Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.R1 : a d, e, fR2 : a d, kR3...
... tì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áo trìnhTríTuệ Nhân Tạo - Đinh ... GiáotrìnhTrí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 ... 2.5. Các đỉ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áo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng IICác chiến lợc tìm kiếm kinh nghiệm Trong chơng...
... u do Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng 4- Trang 4Giả 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 ... của nó. Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng 4- Trang 5Chơ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 ... v là đỉnh Đen thì giá trịcủa nó là giá trị nhỏ nhất trong các giá trị của các đỉnh con. Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng 4- Trang 3Chẳng hạn, mỗi tốt Trắng (Đen) đợc cho 1...
... một ký hiệu hằng, Father làmột ký hiệu hàm, nếu trong minh hoạ An ứng với một ngời cụ thể nào đó, còn Father(x) gắn vớihàm; ứng với mỗi x là cha của nó, thì hạng thức Father(An) sẽ chỉ ngời ... (True) hoặc sai (False). Chẳng hạn, nếu trong minh hoạ, kýhiệu hằng Lan ứng với một cô gái cụ thể nào đó, còn Student(x) ứng với thuộc tính x là sinhviên thì câu Student (Lan) có giá trị chân ... đợ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ỳ...
... S(a). Câu nàytương đương với câu S(a).Chứng minh bằng cách áp dụng các luật suy diễn để dẫn tới điều cần phảichứng minh (như chứng minh trên) được gọi là chứng minh diễn dịch (deductionproof). ... phải chứng minh (r → u) ∧ (u → ¬w) ∧ (¬r → ¬w) → ¬w: True2.2. Thuật giải RobinsonThuật giải này do Robinson đề xuất và hoạt động dựa trên phương pháp chứngminh phản chứng. Phương pháp chứng ... chứng minh phản chứng:Bài toán Chứng minh phép suy luận (a → b) là đúng (với a là giả thiết, b làkết luận). Phản chứng: giả sử b sai suy ra ¬ b là đúng. Bài toán được chứng minh nếu a đúng...
... quá trình suy ra các sự kiện mới từ các sự kiện có trong bộ nhớ làm việc.b) Suy diễn lùi (lập luận lùi - backward chaining hoặc backward reason)Là quá trình xuất phát từ sự kiện cần chứng ... đến quá trình tìm kiếm không3.2. Bài toánCho tập sự kiện F= {f1, f2, ,fn} và tập luật R= {r1, r2, ,rm}. Chứng minh tập kết luận G đúng.3.3. Các phương pháp suy diễnQuá trình suy ... ra các hành động hợp lý cho công việc mà con người đ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ư...
... tôi biên soạn giáotrìnhTrí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 đíchxây dựng nhiều giáotrình trên một khung chương trình đào tạo, ... 104Chương 4. Biểu diễn bài toán bằng logic và các phương pháp chứng minh 107ĐẠI HỌC HUẾTRƯỜNG ĐẠI HỌC KHOA HỌC Giáo trình TRÍTUỆ NHÂN TẠOHuế, 2004Lời nói đầuTrong các năm qua, nhiều tài ... Mục lụcChương 0. Mở đầu 21. Tổng quan về Khoa học Trí ruệ nhân tạo 22. Lịch sử phát triển của Trítuệ nhân tạo 53. Một số vấn đề Trítuệ nhân tạo quan tâm 84. Các khái niêm cơ bản 10Chương...
... được chứng kiến máy chơi cờ đầu tiên và các chương trình chứng minh định lý tự động. 5Cụ thể: 1961: Chương trình tính tích phân bất định1963: Các chương trình Heuristics: Chương trình chứng ... gọi chung là cài đặt trítuệ nhân tạo, làm rõ hơn các ngành của khoa học Trítuệ nhân tạ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ân tạo phân tạo, ... trưng của Trítuệ nhân tạo• Trítuệ nhân tạo xử lý thông tin theo trật tự ký hiệu. Các thông tin gồm: khái niệm, luật, các đối tượng ? dùng cho suy lý. Khái niệm cơ bản trong Trí tuệ nhân tạo...
... thái bằng đồ thịTheo ngôn ngữ đồ thị, không gian trạng thái tương ứng với một đồ thịđịnh hướng trong đó: Các trạng thái tương ứng với các đỉnh trong đồ thị, nếu tồntại toán tử chuyển trạng thái ... 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, ... nhiềuhơn một lần trừ thành phố 1 sau khi đã liệt kê tất cả các thành phố còn lại.-Các toán tử tương ứng với các hành động1- đi tới thành phố 12- đi tới thành phố 23- đi tới thành phố 3.. . .6.5....
... 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 ... định 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 ... 3Nếu ta chọn nhánh ưu tiên đổ đầy bình thứ hai thì sẽ tìm thấy lời giải rất nhanh. Quá trình tìm kiếm có thể trình bày bằng bảng dưới đâyi T(i)MO ↓↑DONG(0;0)(0;0) (5;0) (0;4) (5;0) (0;4) (0;0)(0;4)...
... 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 ... đã đến bước kết thúc tìm kiếm, tính giá trị hàm ước lượng của vị trí hiệntại cho đấu thủ tương ứng. Cho ra kết quả.3) Nếu mức ứng với đấu thủ min:i) Cho đến khi các nút con được kiểm tra bằng ... 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...