... tuyến EC chiều Câu 5: Thuật tốn TACI (AKT) Start Goal 3 trạng thái so với trạng thái đích Tính vị trí sai KT Câu 6: Sử dụng giải thuật A để giải tốn tháp Hà Nội trường hợp n=3 với trạng thái ban ... A 15 C 13 F E D IE K G H I 10 K 14 11 G 12 H B Câu 16: Áp dụng thuật giải Robinson, chứng minh tập mệnh đề sau: ¬p ∨ q , (s ∨ ¬ q) ∧ (r ∨ ¬s) , p ∧ u ⇒ r, u Câu 17: Hãy xây dựng định danh tìm...
... Giáo trình Trítuệnhântạo – KS Nguyễn Đức Cường Trítuệnhậntạo – Nguyễn Quang Tuấn – Hà nội Chương 1: GIỚI THIỆU Ngành Trítuệnhântạo gì? Mục tiêu nghiên cứu ngành Trítuệnhântạo Lịch ... kiếm CLISP : Biểu diển tri thức Bàitập lớn Tài liệu tham khảo – – – – – Bài giảng Trítuệnhântạo – ThS Nguyễn Cao Trí – KS Lê Thành Sách Giáo trình Trítuệnhântạo – Đinh Mạnh Tường Artificial ... dung mơn học – Giới thiệu Chương 1: Giới thiệu – – – – Ngành Trítuệnhântạo gì? Mục tiêu nghiên cứu ngành Trítuệnhântạo Lịch sử hình thành trạng Turing Test Chương 2: Logic vị từ – –...
... 6/8/2010 Bài toán tìm kiếm Q , S , G , succs , cost Q tập hữu hạn trạng thái S Q tập khác rỗng trạng thái đầu (START) G Q tập khác rỗng trạng thái đích (GOAL) Nguyễn Thị Thúy Loan 22 Bài ... gì? Nguyễn Thị Thúy Loan 128 Bài toán mã tuần Bài toán mã tuần z 3 5 6/8/2010 Nguyễn Thị Thúy Loan 129 6/8/2010 7 7 z Nguyễn Thị Thúy Loan 130 Bài toán tám quân hậu Bài toán tám quân hậu Làm ... p r O: {p r,qr,rs,st,t p q} r p 6/8/2010 Nguyễn Thị Thúy Loan 167 {} p BàitậpBàitập { s qr,p q r,q r s,r s t }{ p q t } { s qr,p qr,q r s,r s...
... Yêu cầu khoá học Khái niệm Trítuệnhântạo Các lĩnh vực liên quan đến trítuệnhântạo Lịch sử hình thành khoa học trítuệnhântạo Các lĩnh vực ứng dụng trítuệnhântạo So sánh lập trình hệ ... định nghĩa TTNT tài liệu tham khảo Trítuệnhântạo giúp tạo máy tính có khả suy nghĩ máy tính có trítuệ theo đầy đủ nghĩa từ (Haugeland, 1985) Trítuệnhântạo khoa học nghiên cứu xem làm để ... Quân Khái niệm Trítuệnhântạo (2/) Có quan điểm AI: Suy nghĩ người Hành động người Suy nghĩ có lý trí Hành động có lý trí Tài liệu tập trung vào nhóm quan điểm “hành động có lý trí TTNT - Học...
... tự làm tập giáo viên giao, tham dự kiểm tra định kỳ cuối kỳ Tài liệu học tập : - Đinh Mạnh Tường, Trítuệnhân tạo, Nhà xuất khoa học kỹ thuật, 2002 - Nguyễn Thanh Thủy, Trítuệnhân tạo, Nhà ... phần: Trítuệnhântạo Bộ môn phụ trách giảng dạy: Khoa học Máy tính CNTT Mã học phần: 17210 TS tiết 60 Lý thuyết 45 Thực hành/Xemina 15 Tự học Loại học phần: Khoa phụ trách: Tổng số TC: Bàitập ... 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...
... tìm ki m Bi u di n tri th c Bài t p l n Tài li u tham kh o – – – – Bài gi ng Trí tu nhân t o” – TS Nguy n ình Thn Giáo trình Trí tu nhân t o” - GS Hồng Ki m– HQGTPHCM Trí tu nh n t o–PGS Nguy ... m i ngày ang t ngày h u d ng m t s cơng vi c òi h i trí thơng minh c a ngư i Hình nh sau s giúp b n hình dung c tình hình c a ngành trí tu nhân t o Slide 20 Các tốn – Xét tốn sau: i ti n (Vét ... c c a Cơng ngh thơng tin, có ch c nghiên c u t o chương trình mơ ph ng ho t ng tư c a ngư i Trí tu nhân t o nh m t o “Máy ngư i”? M c tiêu Xây d ng lý thuy t v thơng minh gi i thích ho t ng thơng...
... thuộc (gắn với) vị trí l Quan hệ belong(k,l) Cần t Cầ trục k việc ( ắ với) vị t í l làm iệ (gắn ới) ị tríTríTuệNhânTạo 26 Các quan hệ thay đổi (1) Quan hệ occupied(l) Vị trí l có rô bốt làm ... cọc hàng p TríTuệNhânTạo 28 Các hành động ộ g Hành động move(r,l,l’) Rô-bốt r di chuyển từ vị trí l đến vị trí l’ (không có rô-bốt khác làm việc l’) Hành động take(c,k,p) Tại vị trí l: cần ... cọc hàng (piles) - thuộc vị trí (the same location) TríTuệNhânTạo 24 Các đối tượng ( ) ợ g (2) Các cọc hàng piles {pile1, pile2, …} Mỗi cọc hàng nằm (thuộc về) vị trí định Tấm nâng hàng (pallet)...
... Thực buớc: – Tạo giả thuyết – Kiểm tra giả thuyết – Loại dần giả thuyết Giới hạn: Chương trình hoạt động giả thuyết hệ thống vật lý có lỗi Chương p.16 Ưu điểm HCG dựa mô hình Tạo khả sử dụng ... hình nên hệ thống Đầu ra: Sơ đồ cấu hình Kết quả: cấu hình 97% đơn đặt hàng DEC Công việc tạo cấu hình R1/XCON xem hệ thống phân cấp công việc nhỏ với phụ thuộc thời gian (temporal dependency) ... chứa nhiên liệu Người dùng cho biết: xăng chế hòa khí Chương p.11 Hệ chuyên gia R1/XCON Mục đích: tạo cấu hình hệ thống VAX11/780 công ty DEC Đầu vào: Đơn đặt hàng = danh sách thành phần cấu hình...
... CF(bệnh nhân bị sốt) = CF(bệnh nhân bị hắc hơi) = 0.8 CF(If bệnh nhân bị hắc Then bệnh nhân bị cúm) = 0.5 CF(If bệnh nhân bị sốt Then bệnh nhân bị cúm) = 0.6 CF1(bệnh nhân bị cúm) = 0.4 CF2(bệnh nhân ... Max[CF(A), CF(B)] Ví dụ: CF(bệnh nhân bị sốt) = 0.9 CF(bệnh nhân bị hắc hơi) = 0.6 CF(bệnh nhân bị sốt And bệnh nhân bị hắc hơi) = 0.6 CF(bệnh nhân bị sốt Or bệnh nhân bị hắc hơi) = 0.9 Chương p.12 ... thị, đồ thị liên tục: Chương p.21 Tập Mờ Cho S tập hợp x phần tử tập hợp Một tập mờ F S định nghĩa hàm tư cách thành viên µF(x) đo “mức độ” mà theo x thuộc tập F Trong đó, ≤ µF(x) ≤ – – Khi...
... (wearingboots ∨ summer) ∧ (wearingboots ∨ wearingsandals) Tạo mệnh đề tách biệt Ví dụ: từ kết bước 7, ta tách thành mệnh đề Chuẩn hoá biến tập hợp mệnh đề vừa tạo bước 8, nghĩa đặt lại tên cho biến cho hai ... bù (complementary literals) Sử dụng tập phép trả giải thuật đồng để tạo mệnh đề kết c Nếu mệnh đề kết rỗng, xem tìm mâu thuẩn Nếu không, thêm mệnh đề kết vào tập hợp mệnh đề có Chapter - Page 12 ... chứa biến mệnh đề bù Loại bỏ mệnh đề chúng vừa tạo trình hợp giải: - mệnh đề luôn (tautology), - mệnh đề tạo thành từ mệnh đề khác (ví dụ: P ∨ Q tạo thành từ P) Chiến lược set-of-support: hợp...
... sử dụng tập rèn luyện” (traning set), Việc đánh giá hiệu suất sử dụng tập kiểm tra” (test set): Thu thập tập hợp lớn ví dụ Chia thành tập rèn luyện tập kiểm tra Sử dụng giải thuật tập rèn luyện ... song (parallel distributed processing) Chương p.24 Neuron nhântạo Thành phần mạng neuron neuron nhântạo Các thành phần neuron nhân tạo: – Các tín hiệu vào xi {0,1} {1,-1} real – Các trọng ... gán –log2p bits cho thông điệp có xác suất p • S tập rèn luyện • p⊕ phần ví dụ dương tập S • pΘ phần ví dụ âm tập S • Entropy đo độ pha trộn tập S: Entropy ( S ) = − p⊕ log p⊕ − pΘ log pΘ c Entropy...