0

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

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

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

Cơ sở dữ liệu

... 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 ... á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ập kế hoạch ... để 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...
  • 64
  • 2,403
  • 20
Tài liệu Giáo trình Trí Tuệ Nhân Tạo -chương 1- GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM ppt

Tài liệu Giáo trình Trí Tuệ Nhân Tạo -chương 1- GIẢI QUYẾT VẤN ĐỀ BẰNG TÌM KIẾM ppt

Tin học văn phòng

... 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ápxâ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ắpnơ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 bên trái), ta chỉ có thể ... trạng thái kết thúc nào đó.Có thể phân các chiến lợc tìm kiếm thành hai loại:Trang 4 Giáo trình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.ã Hoàn toàn tơng tự nh thuật toán tìm kiếm theo độ sâu trong không...
  • 14
  • 2,866
  • 38
Tài liệu Giáo trình trí tuệ nhân tạo- chương 2-CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM pptx

Tài liệu Giáo trình trí tuệ nhân tạo- chương 2-CÁC CHIẾN LƯỢC TÌM KIẾM KINH NGHIỆM pptx

Tin học văn phòng

... 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ì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ỗi mức.Chơng 2 - Trang 5 Giáo trình Trí 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 I, chúng...
  • 5
  • 1,145
  • 18
Tài liệu Giáo trình trí tuệ nhân tạo- chương 4-TÌM KIẾM CÓ ĐỐI THỦ pptx

Tài liệu Giáo trình trí tuệ nhân tạo- chương 4-TÌM KIẾM CÓ ĐỐI THỦ pptx

Tin học văn phòng

... u do Giáo trình Trí 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 ... đ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ình Trí Tuệ Nhân Tạo - Đinh Mạnh Tờng.Chơng 4- Trang 2Ví dụ: Xét cây trò ... của nó. Giáo trình Trí 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...
  • 9
  • 939
  • 16
Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx

Tài liệu Giáo trình trí tuệ nhân tạo- chương 6- Logic vị từ cấp một pptx

Tin học văn phòng

... đị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áccâ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ừ 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ỳ ... xám có thể biểu diễn bởi công thức x (Elephant(x) Color(x,Gray)).Lợng tử tồn tại cho phép ta tạo ra các câu nói đến một đối tợng nào đó trong một lớp đối t-ợng mà nó có một tính chất hoặc...
  • 5
  • 1,856
  • 18
Giao trinh TRÍ TUỆ NHÂN TẠO   chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNGPHÁP CHỨNG MINH

Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNGPHÁP CHỨNG MINH

Kỹ thuật lập trình

... 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ề ... dạng logic mệnh đề.b) Có một bệnh nhân khai : “Thân nhiệt > 370 “ và “ốm trên 7 ngày”. Dùngphươ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".Bài ... p(X,Y,Z) có nghĩa là: Z=X*Y, là một vị từ 3 biến trên tập số thực.Khi đó tính chất giao hoán của phép nhân X*Y=Y*X được diễn tả như sau: ∀X,Y (p(X,Y,Z))⇒ p(Y,X,Z)Hãy chuẩn hóa công thức trên (đưa...
  • 41
  • 2,558
  • 1
Giao trinh TRÍ TUỆ NHÂN TẠO   chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN

Giao trinh TRÍ TUỆ NHÂN TẠO chương 5 TRI THỨC VÀ CÁC PHƯƠNG PHÁP SUY DIỄN

Kỹ thuật lập trình

... đ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ó ... 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...
  • 15
  • 2,504
  • 12
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu

Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương gioi thieu

Kỹ thuật lập trình

... 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 ... giáo trình của ngành học này chưa đáp ứng dược nhu cầu củasinh 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 trình Trí tuệ nhân tạo , ... 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áo trình trên một khung chương trình đào tạo, mà còn giúpcho sinh viên có tài liệu học...
  • 5
  • 1,143
  • 18
Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO   chương 0

Giao trinh Giao trinh Giao trinh TRÍ TUỆ NHÂN TẠO chương 0

Kỹ thuật lập trình

... 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, về các ... và phân tán.1.3. Các kỹ thuật Trí tuệ nhân tạo. Có nhiều kỹ thuật nghiên cứu, phát triển ngành khoa học Trí tuệ nhân tạo. Tuy vậy, các kỹ thuật Trí tuệ nhân tạo thường khá phức tạp khi cài ... 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 là...
  • 10
  • 1,094
  • 10
Giao trinh TRÍ TUỆ NHÂN TẠO   chương 1 BIỂU DIỄN BÀI TOÁNTRONG KHÔNG GIAN TRẠNG THÁI

Giao trinh TRÍ TUỆ NHÂN TẠO chương 1 BIỂU DIỄN BÀI TOÁNTRONG KHÔNG GIAN TRẠNG THÁI

Kỹ thuật lập trình

... 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, ... 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ố xuất phát. Giả ... chuyển ô trống ở trạng thái A (A= (aij)) lên trên,nghĩa là: B= fu(A), giả sử ô trống đang ở vị trí (i0, j0) (hay nói cách khác ai0 j0 = 0)thì hàm f được xác định như sau:151342576132547613425671342576(i,...
  • 11
  • 4,033
  • 8
Giao trinh TRÍ TUỆ NHÂN TẠO  Chương 2CÁC PHƯƠNG PHÁP TÌM KIẾM LỜI GIẢI TRONGKHÔNG GIAN TRẠNG THÁI

Giao trinh TRÍ TUỆ NHÂN TẠO Chương 2CÁC PHƯƠNG PHÁP TÌM KIẾM LỜI GIẢI TRONGKHÔNG GIAN TRẠNG THÁI

Kỹ thuật lập trì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ình trí 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 ... 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 ... → (4;0) → (4;4) → (5;3)Để có được lời giải này ta phải lưu lại vết của đường đi, có thể trình bày quá trình tìm kiếm dưới dạng bảng sau:i T(i)↑MO ↓DONG(0;0)(0;0) (5;0) (0;4) (5;0) (0;4)...
  • 67
  • 2,338
  • 11
Giao trinh TRÍ TUỆ NHÂN TẠO   chương 3

Giao trinh TRÍ TUỆ NHÂN TẠO chương 3

Kỹ thuật lập trình

... 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 ... 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 ... các bài toán con: P1, P2, , Pk Phương pháp phân chia bài toán ban đầu như trên đã gặp trong lập trình truyềnthống với cách gọi “chia để trị” , “Modul hoá”.2. Đồ thị VÀ/HOẶC:Không gian trạng...
  • 17
  • 741
  • 2
Tài liệu Lập trình trí tuệ nhân tạo Prolog pptx

Tài liệu Lập trình trí tuệ nhân tạo Prolog pptx

Kỹ thuật lập trình

... B-Prolog sẽ tự tạo ra và quản lý các biến của nó trong quá trình đi tìm lời giải cho một goal nào đó. Chúng ta có thể thấy rõ điều này qua quá trình debug (dùng lệnh trace) chương trình. Các biến ... kỹ thuật lập trình tạo nên sức mạnh chủ yếu của Prolog: lập trình đệ quy. Kỹ thuật này cũng phù hợp với suy nghĩ của con người khi tiếp cận giải quyết vấn đề và khiến cho việc lập trình trên ... Phần vị từ trên biểu diễn cho việc sử dụng kỹ thuật lập trình đệ quy, sẽ là sức mạnh lập trình chủ yếu của Prolog. Xem thêm về phần lập trình đệ quy trên Prolog trong các phần sau. Tóm tắt...
  • 103
  • 1,175
  • 18

Xem thêm