... đồ mạng lới giao thông nối thành phố vùng lãnh thổ (hình 1.1), du khách thành phố A muốn tìm đờng tới thăm thành phố B Trong toán này, thành phố có đồ trạng thái, thành phố A trạng thái ban đầu, ... trạng thái kết thúc Khi thành phố, chẳng hạn thành phố D theo đờng để nối tới thành phố C, F G Các đờng nối thành phố đợc biểu diễn toán tử Một toán tử biến đổi trạng thái thành trạng thái khác Chẳng ... nối thành phố với thành phố khác Bây ta đa cách biểu diễn khác dựa việc quy vấn đề vấn đề Giả sử ta có đồ giao thông vùng lãnh thổ (xem hình 1.6) Giả sử ta cần tìm đờng từ thành phố A tới thành...
... I Lời chào đội tuyển Lời chào đội tuyển phần thi đội tuyển mắt khán giả giới thiệu thành viên đội tuyển, thành tích học tập, công tác đội Liên đội Mỗi đơn vị tự chọn cho hình thức giới thiệu ... Thời gian: có giây suy nghĩ Thang điểm: Đúng điểm, sai điểm Nội dung 2: Trắc nghiệm trí nhớ BTC đưa câu dạng : Thành ngữ, tục ngữ, ca dao, thơ chưa hoàn thiện hiển thị hệ thống hình Các đội tuyển ... Cẩm Giàng Xin Trân trọng cám ơn chúc sức khoẻ vị đại biểu, bạn đội viên, học sinh dự Hội thi HànhtrìnhTri thức Cụm số ...
... suy 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 ... cứu 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ân Tạ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...
... đồ mạng lới giao thông nối thành phố vùng lãnh thổ (hình 1.1), du khách thành phố A muốn tìm đờng tới thăm thành phố B Trong toán này, thành phố có đồ trạng thái, thành phố A trạng thái ban đầu, ... trạng thái kết thúc Khi thành phố, chẳng hạn thành phố D theo đờng để nối tới thành phố C, F G Các đờng nối thành phố đợc biểu diễn toán tử Một toán tử biến đổi trạng thái thành trạng thái khác Chẳng ... toán tử ứng với đ ờng nối, nối thành phố với thành phố khác Bây ta đa cách biểu diễn khác dựa việc quy vấn đề vấn đề Giả sử ta có đồ giao thông vùng Giáo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng...
... 4, quân không vị trí 3, 8, Hàm h2: h2(u) tổng khoảng cách vị trí quân trạng thái u vị trí trạng thái đích khoảng cách đợc hiểu số dịch chuyển theo hàng cột để đa quân tới vị trí trạng thái đích ... hình 2.4 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áo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng Chơng - Trang ... tiếp 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áo trìnhTríTuệ Nhân Tạo - Đinh Mạnh Tờng Chơng - Trang (tức đỉnh có giá trị hàm đánh giá nhỏ nhất), đỉnh...
... không đợc thắng Giáo trìnhTríTuệ Nhân Tạ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 chơi cờ trình Trắng Đen thay ... ta 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áo trìnhTríTuệ Nhân Tạo ... với thời gian máy tính thông thờng chơng trình bạn xem xét đỉnh độ sâu Một ngời chơi cờ trình độ trung bình tính trớc đợc 5, nớc nữa, chơng trình bạn đạt trình độ ngời tập chơi! Khi đánh giá đỉnh...
... 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) Student(An) ... câu x Student(x) đợc xác định ngữ nghĩa câu Student(Lan) Student(An) Student(Hoa) Câu ba câu thành phần đúng, tức Lan, An, Hoa sinh viên Nh vậy, công thức x G công thức nhận đợc từ G cách thay ... 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...
... nhắc lệnh Sau nạp chương trình, thực thi chương trình thông qua câu hỏi (query) Với câu hỏi hệ thống thực thi chương trình trả kết yes thành công no việc thực thi chương trình thất bại Nếu câu ... yếu để lập trình Prolog hợp đệ quy Hướng dẫn sử dụng BProlog Chương III Môi trường lập trình B-Prolog Trước thực thi chương trình viết ngôn ngữ Prolog trên, cần phải chọn môi trường lập trình cụ ... phím Ctrl-D Các chương trình Prolog thường viết dạng file văn chương trình soạn thảo (EditPlus, Notepad ) Phần mở rộng mặc định file chương trình B-Prolog pl Để dịch chương trình Prolog môi trường...
... B2: Nếu GTi có phép ∨ tách thành hai dòng Nếu Kli có phép ∧ tách thành hai dòng p ∧ (¬ p ∨ q) → q Ví dụ: tách thành dòng: p∧¬p→q p∧q→q Hoặc cóp ∧ q → q ∨ r tách thành dòng: P∧q→q B3: p∧q→r Một ... 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 chứng minh ... chuẩn hoá câu cách đưa chúng dạng chuẩn tắc hội (hội câu tuyển) Trong mục này, trình bày thủ tục chuyển câu phức hợp thành câu dạng chuẩn tắc hội tương đương Thủ tục chuẩn hoá công thức bao gồm...
... 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ế...
... Khang, 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áo trì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: ... Addison Wesley, 1992 Mục lục Chương Mở đầu Tổng quan Khoa học Trí ruệ nhân tạo Lịch sử phát triển Trítuệ nhân tạo Một số vấn đề Trítuệ nhân tạo quan tâm Các khái niêm 2 10 Chương Biểu diễn toán ... luật 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áo trìnhTRÍTUỆ NHÂN TẠO Huế, 2004 ...
... cài đặt trítuệ nhân tạo, làm rõ ngành khoa học Trítuệ nhân tạ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, mô hình tương tác Những đặc trưng Trítuệ nhân ... khuynh hướng Trítuệ nhân tạo cài đặt hệ Trítuệ nhân tạ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ân tạo Những thành tựu nghiên cứu ứng dụng kỹ thuật Trítuệ nhân ... trực tiếp đến Trítuệ nhân tạo Lịch sử phát triển TríTuệ Nhân Tạo Lịch sử Trítuệ nhân tạ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ân tạo...
... hàng Người đưa hàng cần phải xác định hànhtrì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 phố 1, có tất n thành phố đánh số từ đến n 21 Hướng ... danh sách thành phố qua thời điểm tại, không cho phép thành phố xuất nhiều lần trừ thành phố sau liệt kê tất thành phố lại - Các toán tử tương ứng với hành động 1- tới thành phố 2- tới thành phố ... n thành phố đánh số từ đến n Giao thông đường hai thành phố i j cho giá trị a ij sau: aij = -1 có nghĩa đường từ thành phố i sang thành phố j a ij = có đường trực tiếp từ thành phố i sang thành...
... từ thành phố xét tới thành phố đích làm giá trị hàm đánh giá thành phố xét Ví dụ Bài toán số Chúng ta đưa hai cách đánh giá u= đích = - Hàm h1: Với trạng thái u h 1(u) số quân không nằm vị trí ... xét, 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 ... 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 hiểu số lần dịch chuyển theo hàng cột để đưa quân vị trí tới trạng thái đích Với ví dụ trên,...
... thái, trạng thái ứng với thành phố, toán tử ứng với đường, nối thành phố với thành phố khác Bây ta đưa cách bểu diễn khác dựa việc quy vấn đề vấn đề Xét đồ giao thông thành phố Hình A C D F E I ... Hình A C D F E I H G B K Hình Giả sử ta cần tìm đường từ thành phố A đến thành phố B Có sông chảy qua hai thành phố E G có cầu qua sông thành phố Như đường từ A đến B phải qua E G Khi toán tìm ... 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...