... hướng Trítuệnhântạo cài đặt hệ Trítuệnhântạ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ântạo Những thành tựu nghiên cứu ứng dụng kỹ thuật Trítuệnhântạo ... khoa học Trítuệnhântạo tiến hành nghiên cứu mới, đặc biệt nghiên cứu chế suy lý, Trớ tuệ nhõn tạo phõn tạo, cỏc mụ hỡnh tương tác Những đặc trưng Trítuệnhântạo Trítuệnhântạo xử lý ... tiếp đến Trítuệnhântạo Lịch sử phỏt triển Trớ Tuệ Nhõn Tạo Lịch sử Trítuệnhântạ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ântạo sinh...
... lý cho công việc mà người làm Một mục tiêu Trítuệnhântạo ứng dụng thiết kế tác nhân thông minh (intelligent agent) có khả người Chúng ta hiểu tác nhân thông minh nhận thức môi trường thông ... (software robot), hệ chuyên gia, ví dụ tác nhân thông minh Các tác nhân thông minh cần phải có tri thức giới thực đưa định đắn Thành phần trung tâm tác nhân dựa tri thức (knowledge-based agent), ... môi trường, thủ tục suy diễn thực trình liên kết kiện với tri thức CSTT để rút câu trả lời, hành động hợp lý mà tác nhân cần thực Đương nhiên là, ta thiết kế tác nhân giải vấn đề CSTT chứa tri thức...
... có mầu xám” biểu diễn công thức x (Elephant(x) Color(x, Gray)) Lượng tử tồn () cho phép ta tạo câu nói đến đối tượng lớp đối tượng mà có tính chất thoả mãn quan hệ Chẳng hạn cách sử dụng ... không Ngữ nghĩa câu phức hợp Khi xác định ngữ nghĩa câu đơn, ta thực ngữ nghĩa câu phức hợp (được tạo thành từ câu đơn cách liên kết câu đơn kết nối logic) logic mệnh đề Ví dụ: Câu Student(Lan) ... 20 Như công thức x G công thức nhận từ G cách thay x đối tượng miền đối tượng Bằng phương pháp trình bày trên, ta xác định giá trị chân lý ( True, False ) công thức minh hoạ (Lưu ý rằng, ta quan...
... http://blogthuthuat.com Đinh Mạnh Tờng GiáotrìnhTrítuệNhântạ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ânTạ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 mà ngời làm Một mục tiêu Trítuệnhântạo ứng dụng thiết kế tác nhân thông minh (intelligent agent) có khả nh ngời Chúng ta hiểu tác nhân thông minh nhận thức đợc môi trờng thông...
... 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ânTạ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ết đối t...
... với không gian trạng thái GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Trang Mỗi chiến lợc tìm kiếm không gian trạng thái tơng ứng với phơng pháp xây dựng tìm kiếm Quá trình xây dựng cây có đỉnh ... quân sang trái), right (đẩy quân sang phải) Rõ ràng là, toán tử toán tử phận; chẳng GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Trang hạn, từ trạng thái ban đầu (hình 1.2 bên trái), ta áp dụng ... thái ban đầu tới trạng thái kết thúc Có thể phân chiến lợc tìm kiếm thành hai loại: GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Trang Các chiến lợc tìm kiếm mù Trong chiến lợc tìm kiếm này,...
... GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Chơng - Trang theo thứ tự tăng dần hàm đánh giá cho trạng thái có giá trị hàm đánh giá nhỏ đầu danh sách procedure Best_First_Search; begin Khởi tạo ... Trong thủ tục tìm kiếm leo đồi đợc trình bày dới đây, danh sách L lu trạng thái chờ đợc phát triển, sử dụng danh sách L1 để lu giữ GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Chơng - Trang tạm ... theo, tìm kiếm tốt - ta chọn đỉnh để phát triển đỉnh tốt đợc xác định hàm đánh giá GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Chơng - Trang (tức đỉnh có giá trị hàm đánh giá nhỏ nhất), đỉnh...
... thắng, tạo tình bắt đối phơng không đợc thắng GiáotrìnhTríTuệNhânTạ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 ... xét đến vị trí quân mối tơng quan quân Một cách đơn giản để hạn chế không gian tìm kiếm là, cần xác định nớc cho Trắng u, ta xem xét trò chơi gốc u tới độ cao h GiáotrìnhTríTuệNhânTạo - Đinh ... trạng thái mà Trắng chọn tới từ u procedure Minimax(u, v); begin val -; for w đỉnh u GiáotrìnhTríTuệNhânTạo - Đinh Mạnh Tờng Chơng 4- Trang if val
... tất voi có mầu xám biểu diễn công thức x (Elephant(x) Color(x, Gray)) Lợng tử tồn cho phép ta tạo câu nói đến đối tợng lớp đối tợng mà có tính chất thoả mãn quan hệ Chẳng hạn cách sử dụng câu ... nghĩa câu phức hợp Khi xác định đợc ngữ nghĩa câu đơn, ta thực đợc ngữ nghĩa câu phức hợp (đợc tạo thành từ câu đơn cách liên kết câu đơn kết nối logic) nh logic mệnh đề Ví dụ: Câu Student(Lan) ... 20 Nh công thức x G công thức nhận đợc từ G cách thay x đối tợng miền đối tợng Bằng phơng pháp trình bày trên, ta xác định đợc giá trị chân lý ( True, False ) công thức minh hoạ (Lu ý rằng, ta...
... để tạo sở cho số ngôn ngữ lập trình có ích Prolog (Programing Logic) ngôn ngữ SQL Logic vị từ sử dụng hệ thống suy luận hệ chuyên gia chẳng hạn chương trình chẩn đoán tự động y khoa, chương trình ... hai biểu thức đồng thời từ trái sang phải gặp hai ký hiệu khác biểu thức Trích hai biểu thức ký hiệu khác Cặp biểu thức tạo thành khác biệt hai biểu 128 thức cho Ví dụ: Sự khác biệt hai câu like(X,f(a,g(Z)) ... biểu thức r ∨ t: True đưa vào tập giả thiết Lặp lại trình sinh mệnh đề có chân trị đối (có mâu thuẫn) toán lúc kết luận chứng minh, không tạo thêm mệnh đề gây mâu thuẫn lúc kết luận không chứng...
... A⇒B A sai Trong trình suy diễn, ta cần quan tâm đến vấn đề sau: - Xây dựng tập luật, câu hỏi chọn để người sử dụng trả lời - Chọn trình tìm kiếm - Thông tin nhận có ảnh hưởng đến trình tìm kiếm ... vào nhớ làm việc Quá trình lặp lại luật sinh kiện - Quá trình suy diễn tiến không định hướng tới giải vấn đề cả, không hướng tới tìm câu trả lời cho câu hỏi Suy diễn 155 tiến trình suy kiện từ kiện ... c, d, e, f r6 r6 r6 a b, c, d, e, f, g g∈T nên toán chứng minh (g: true) Chú ý - Quá trình suy diễn tiến trình xem xét luật, với luật ta xét phần điều kiện (ở vế trái) tới phần kết luận (ở vế...
... 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áotrìnhTrítuệnhân tạo, Đại học Quốc gia Hà nội Nguyễn Thanh Thuỷ Trítuệnhân tạo: Các ... Wesley, 1992 Mục lục Chương Mở đầu Tổng quan Khoa học Trí ruệ nhântạo Lịch sử phát triển Trítuệnhântạo Một số vấn đề Trítuệnhântạo quan tâm Các khái niêm 2 10 Chương Biểu diễn toán không gian ... sản xuất 148 148 149 152 Tài liệu tham khảo 163 ĐẠI HỌC HUẾ TRƯỜNG ĐẠI HỌC KHOA HỌC GiáotrìnhTRÍTUỆNHÂNTẠO Huế, 2004 ...
... đặt trítuệnhân tạo, làm rõ ngành khoa học Trítuệnhântạo tiến hành nghiên cứu mới, đặc biệt nghiên cứu chế suy lý, Trítuệnhântạo phân tạo, mô hình tương tác Những đặc trưng Trítuệnhântạo ... tiếp đến Trítuệnhântạo Lịch sử phát triển TríTuệNhânTạo Lịch sử Trítuệnhântạ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ântạo sinh ... hướng Trítuệnhântạo cài đặt hệ Trítuệnhântạ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ântạo Những thành tựu nghiên cứu ứng dụng kỹ thuật Trítuệnhân tạo...
... xuất phát toán, G = Ma trận cuố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 không gian trạng thái trình tìm kiếm xuất phát từ trạng thái ban đầu, dựa vào toán ... sau di chuyển ô trống trạng thái A (A= (a ij)) lên trên, nghĩa là: B= fu(A), giả sử ô trống vị trí (i 0, j0) (hay nói cách khác ai0 j0 = 0) hàm f xác định sau: 15 aij aij (i, j) ≠ (i0-1, j0) ... 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 hành trình ngắn cho thành phố đến lần quay trở lại thành phố xuất phát Giả sử thành phố xuất phát thành...
... người ta định việc tìm kiếm tiếp tục theo nhánh tin tưởng dẫn đến lời giải Trong chương trìnhtrítuệnhân tạo, kỹ thuật tìm kiếm tốt sử dụng hàm đánh giá Hàm dùng thông tin mức độ quan trọng toán ... thái u h 1(u) số quân không nằm vị trí trạng thái đích Với ví dụ trên, ta có h1(u)=4 38 - Hàm h2: Gọi h2(u) là tổng khoảng cách vị trí quân trạng thái u vị trí trạng thái đích Ở đây, khoảng cách ... giải sau: (0;0)→ (0;4) → (4;0) → (4;4) → (5;3) Để có lời giải ta phải lưu lại vết đường đi, trình bày trình tìm kiếm dạng bảng sau: i (0;0) (5;0) (0;4) (5;4) (1;4) (4;0) (1;0) ↑MO ↓ (0;0) (5;0)...
... chiều sâu - Tìm kiếm lời giải có giá nhỏ Các trình khác hẳn với trình lựa chọn không gian trạng thái Sự khác biệt chủ yếu việc kiểm tra tính kết thúc trình tìm kiếm phương pháp xếp lựa chọn đỉnh ... D H* I 97 J M* K L* N O* Hình Các đỉnh kết thúc đỉnh đánh dấu * Quá trình tìm kiếm lời giải đò thị phương pháp tìm kiếm rộng trình bày bảng sau n T(n) MO A BCD CDF DFG FGI GIJ IJ Dừng A B, C, ... tương đương: P1, P2, , Pk - Đưa P toán con: P1, P2, , Pk Phương pháp phân chia toán ban đầu gặp lập trình truyền thống với cách gọi “chia để trị” , “Modul hoá” Đồ thị VÀ/HOẶC: Không gian trạng thái...
... chiều sâu - Tìm kiếm lời giải có giá nhỏ Các trình khác hẳn với trình lựa chọn không gian trạng thái Sự khác biệt chủ yếu việc kiểm tra tính kết thúc trình tìm kiếm phương pháp xếp lựa chọn đỉnh ... J K D H* I L* 97 M* N O* Hình Các đỉnh kết thúc đỉnh đánh dấu * Quá trình tìm kiếm lời giải đò thị phương pháp tìm kiếm rộng trình bày bảng sau n T(n) MO A BCD CDF DFG FGI GIJ IJ Dừng A B, C, ... tương đương: P1, P2, , Pk - Đưa P toán con: P1, P2, , Pk Phương pháp phân chia toán ban đầu gặp lập trình truyền thống với cách gọi “chia để trị” , “Modul hoá” Đồ thị VÀ/HOẶC: Không gian trạng thái...