slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 6 giới thiệu về logic

Bài giảng Trí tuệ nhân tạo - ThS. Nguyễn Thị Thúy Loan

... TRÍ TUỆ NHÂN TẠO ThS. Nguyễn Thị Thúy Loan 6/8/2010 Nguyễn Thị Thúy Loan 2Cách đánh giá Thực hành: 30% Bài tập: 20% Lý thuyết: 50%6/8/2010 Nguyễn Thị Thúy Loan 3Tài liệu ... kết luận cần tìm.6/8/2010 Nguyễn Thị Thúy Loan 194Ví dụ6/8/2010 Nguyễn Thị Thúy Loan 195Ví dụ6/8/2010 Nguyễn Thị Thúy Loan 196Ví dụ 6/8/2010 Nguyễn Thị Thúy Loan 53UCS  Một cách tiếp ... Thêm các con vào PQ 6/8/2010 Nguyễn Thị Thúy Loan 197Ví dụ6/8/2010 Nguyễn Thị Thúy Loan 198Ví dụ6/8/2010 Nguyễn Thị Thúy Loan 199Ví dụ6/8/2010 Nguyễn Thị Thúy Loan 200Ví dụ Q = {START,...

TRÍ TUỆ NHÂN TẠO (Nguyễn Thanh Cẩm) - Chương 1: Tổng quan về khoa học trí tuệ nhân tạo doc

... 07/07/14 5 Chương 1 Tổng quan về khoa học trí tuệ nhân tạo Tổng quan về khoa học trí tuệ nhân tạo 1.11.21.3Lịch sử hình thành và phát triểnCác khái niệm cơ bản Một số vấn đề Trí tuệ nhân tạo quan ... của nhận thức với hành động”.  Khoa học về cơ học và trí tuệ nhân tạo được tích hợp trong khoa học về người máy. Các đề án trí tuệ nhân tạo nghiên cứu về người máy bắt đầu từ đề án “mắt ... đề Trí tuệ nhân tạo quan tâm 07/07/14 3Contents Tổng quan về khoa học trí tuệ nhân tạo 1Các phương pháp giải quyết vấn đề cơ bản 2Tri thức và các phương pháp biểu diễn tri thức 3Máy học...

slike bài giảng trí tuế nhân tao đại học cần thơ chương 6 hệ chuyên gia

... ng 6. p.ươ 1 Chương 6: Hệ chuyên Gia Giáo viên: Trần Ngân Bình Chương 6. p.2Nội Dung Hệ chuyên gia (Expert System – ES)–Tổng quát về các hệ chuyên gia –Công nghệ tri thức Hệ chuyên ... lý thuyết của tri thức chuyên ngành. Hệ chuyên gia dựa trên trường hợp (case-based ES): là các hệ thống suy luận dựa trên các ví dụ đã có. Chương 6. p.3 Hệ chuyên gia (HCG)= là một nhánh ... pháp tính toán truyền thống. 6. Có cơ sở hợp tác và hiểu ý nhau giữa các chuyên gia. 7. Vấn đề có kích cỡ và quy mô vừa phải. Chương 6. p .6 Qui trình công nghệ tri thức (knowledge Engineering)Ba...

21
1,211
0

slike bài giảng trí tuế nhân tao đại học cần thơ chương 7 suy luận với thông tin không chính xác hoặc không đầy đủ.

... TTNT. p.1 Chương 7 Suy luận với thông tin không chắc chắn hoặc không đầy đủGiáo viên: Trần Ngân Bình Chương 7. p.2Nội DungCác nguyên nhân của sự không chắc chắn:–Dữ liệu /thông tin/ tri ... thể: không đủ, không đáng tin cậy, không đúng, không chính xác –Các phép suy luận có thể không hợp logic: suy luận ngược từ kết luận về điều kiện (abduction reasoning)Xử lý trường hợp không ... MD(H | E) Không phải là xác suất, mà là độ đo sự tự tin. Lý thuyết chắc chắn là một cố gắng hình thức hóa tiếp cận heuristic vào suy luận với sự không chắc chắn Chương 7. p.12 Đại số chắc...

36
1,332
0

slike bài giảng trí tuế nhân tao đại học cần thơ chương 8. suy luận tự động (automatic reasoning)

... Chương 12 - SUY LUẬN TỰ ĐỘNG SUY LUẬN TỰ ĐỘNG (AUTOMATIC REASONING) Giáo viên: Trần Ngân BìnhChapter 8 - Page 1Ví dụ 1: Xét ... … An →B.Nhược điểm:o Con người không sử dụng chiến lược suy diễn theokiểu hợp giải. Vì vậy một người khó có thể giao tiếpvới chương trình chứng minh sử dụng phương pháphợp giải, để có ... fl(X3))7. ơman (X4) ¬ ruler (Y1) ∨ ¬ tryassasinate (X4, Y1) ∨ loyalto(X4, Y1) 8. tryassasinate (marcus, caesar)Chng minh: hate (marcus, caesar)ơ hate (marcus, caesar)5 marcus...

slike bài giảng trí tuế nhân tao đại học cần thơ chương 9 học máy

... Ch ng 9. p.ươ 1 Chương 9 Học Máy Giáo viên: Trần Ngân Bình Chương 9. p.2 Học Máy (Machine Learning)  Học (learning) là bất cứ sự thay đổi nào trong ... A∑∈−=)()(||||)(),(AValuesvvvSEntropySSSEntropyASGain[ 29+ , 36-] A1 = ? [ 29+ , 36-] A2 = ?[21+, 6-] [8+, 30-][18+, 34-] [11+,2-] Chương 9. p.16Chọn thuộc tính kế tiếpĐộ ẩmCao TB[3+,4 – ]E = 0 .98 5[6+,1 – ]E = 0. 592 S: [9+ ,5 – ]E = 0 .94 0GióNhẹ ... 0.811[3+,3 – ]E = 1.0S: [9+ ,5 – ]E = 0 .94 0Gain(S, Độ ẩm) = .94 0 – (7/14) .98 5 – (7/14). 592 = .151Gain(S, Gió) = .94 0 – (8/14).811 – (6/14)1.0= .048 Chương 9. p.17Tìm kiếm KG giả thuyết...

slike bài giảng trí tuế nhân tao đại học cần thơ chương 5. điều khiển và cài đặt tk-kgtt

... Ch ng 5. p.ươ 1 Chương 5 – Điều Khiển & Cài Đặt cho TK–KGTT Giáo viên: Trần Ngân Bình Chương 5. p.2Nội DungGiải thuật tìm kiếm đệ qui (Recursive-based search)–Có thể cài đặt tìm ... mã đi từ vị trí 1 đến vị trí 2Trò chơi đường đi quân mã (2) Chương 5. p.14 Điều Khiển TK Trong Hệ SinhChọn lựa giữa tiếp cận hướng từ dữ liệu hay hướng từ mục tiêu. Điều khiển được ... thức và điều khiển Cung cấp một Ánh xạ tự nhiên vào TK trên KGTTMô-đun hóa các luật sinhTìm kiếm được điều khiển theo kiểu hướng mẫuTạo cơ hội sử dụng heuristic trong việc điều khiển...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 2 tác tử - định nghĩa

... (model - based reflex agents) Tác tử dựa trên mục tiêu (goal-based agents) Tác tử dựa trên lợi ích (utility-based agents)(yg) 20 Trí tuệ nhân tạo Tác tử phản xạ đơn giản (1) Tác tử ... RULE-ACTION[rule]return action 21 Trí tuệ nhân tạo Tác tử phản xạ đơn giản ( 2 )p ạ g () 22 Trí tuệ nhân tạo Tác tử phản xạ dựa trên mô hình (1) Tác tử phản xạ dựa trên mô hình:Sử dụng ... RULE-MATCH(state, rules)action ← RULE-ACTION[rule] 23 Trí tuệ nhân tạo return action Tác tử phản xạ dựa trên mô hình (2) 24 Trí tuệ nhân tạo Tác tử dựa trên mục tiêu (1) Biết về trạng thái hiện...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 3 giải quyết vấn đề bằng tìm kiếm

... thức Biểu diễn tri thức không chắc chắng Học máy2 Trí tuệ nhân tạo Giải quyết vấn đề bằng tìm kiếm  Giải quyếtvấn đề bằng tìm kiếm  Tìm chuỗi các hành động cho phép đạt đến (các) trạng thái ... tháiGoalsuccessors(n)20 Trí tuệ nhân tạo Ví dụ biểu diễn theo cấu trúc cây (1)21 Trí tuệ nhân tạo Ví dụ biểu diễn theo cấu trúc cây (2)22 Trí tuệ nhân tạo Ví dụ biểu diễn theo cấu trúc cây (3) 23 Trí tuệ nhân tạo Ví ... qua, ví dụ: Arad, Sibiu, Fagaras, BucharestBucharest5 Trí tuệ nhân tạo Giải quyết vấn đề bằng tìm kiếm 6 Trí tuệ nhân tạo Các kiểu bài toán Xác định, cú th quan sỏt hon ton ặ Bi toỏn trng...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 4 nhắc lại tìm kiếm theo cấu trúc cây

... đích13 Trí tuệ nhân tạo A*search –Ví dụ (1) 14 Trí tuệ nhân tạo A*search –Ví dụ (2)15 Trí tuệ nhân tạo A*search –Ví dụ (3)16 Trí tuệ nhân tạo A*search –Ví dụ (4) 17 Trí tuệ nhân tạo A*search ... máy2 Trí tuệ nhân tạo Nhắc lại: Tìm kiếm theo cấu trúc cây  Một chiến lược (phương pháp) tìm kiếm = Một cách xác định ộ ợ (p gp p) ộ ịthứ tự xét các nút của cây 3 Trí tuệ nhân tạo Tìm ... best-first search –Ví dụ(1)y()7 Trí tuệ nhân tạo Greedy best-first search –Ví dụ (2)8 Trí tuệ nhân tạo Greedy best-first search –Ví dụ (3)9 Trí tuệ nhân tạo Greedy best-first...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 5 ràng buộc

... vào bài toán cụ thể16 Trí tuệ nhân tạo Giải thuật tìm kiếm quay luiq17 Trí tuệ nhân tạo Tìm kiếm quay lui –Ví dụ (1)q18 Trí tuệ nhân tạo Tìm kiếm quay lui –Ví dụ (2)q19 Trí tuệ ... Trí Tuệ Nhân Tạo Nguyễn Nhật Quang quangnn-fit@mail.hut.edu.vnTrường Đại học Bách Khoa Hà NộiViện Công nghệ Thông tin và Truyền thôngNăm học 201 2-2 013Nội dung môn học: Giới thiệu về Trí ... Hubble Bài toán các ràng buộc tuyến tính có thể giải quyết được ở mức ằ ếchi phí thời gian đa thức bằng phương pháp lập trình tuyến tính8 Trí tuệ nhân tạo Các kiểu ràng buộc g Ràng buộc...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 6 giới thiệu về logic

... Trí Tuệ Nhân Tạo Nguyễn Nhật Quang quangnn-fit@mail.hut.edu.vnTrường Đại học Bách Khoa Hà NộiViện Công nghệ Thông tin và Truyền thôngNăm học 201 2-2 013Nội dung môn học: Giới thiệu về Trí ... tuệ nhân tạo  Tác tử Giải quyết vấn đề: Tìm kiếm, Thỏa mãn ràng buộc Logic và suy diễn Biểu diễn tri thức Biểu diễn tri thức không chắc chắnHọcmáyHọc máy2 Trí tuệ nhân tạo Giới ... ├iα(Trongphầntiếptheocủa bài giảng )chúngtasẽxétđến(Trongphầntiếptheocủa bài giảng ) chúngtasẽxétđến logic vị từ bậc 1 (first-order logic)  Có khả năng biểudiễn(diễn đạt) hầuhết các phát biểu logic ...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 7 dữ liệu, thông tin, tri thức

... Trí Tuệ Nhân Tạo Nguyễn Nhật Quang quangnn-fit@mail.hut.edu.vnTrường Đại học Bách Khoa Hà NộiViện Công nghệ Thông tin và Truyền thông Năm học 201 2-2 013Nội dung môn học: Giớithiệuvề Trí tuệ ... thống? Trí Tuệ Nhân Tạo 7 Biểu diễn tri thức bằng luật (1) Biểudiễntri thứcbằng các luật (rules) là cách biểudiễnphổbiếnnhấttrongcác hệcơ sở tri thức gệ Mộtluậtchứa đựng (biểudiễn) tri thứcvề ... thông tin Trí Tuệ Nhân Tạo 3 Dữ liệu, Thông tin, Tri thức (2)Knowledge on knowledge(e.g., how/when to apply)Meta-KnowledgeUnderstanding of a domain. Can be applied to Knowledge-basedsystemsKnowledgeKnowledgeLower...

slike bài giảng trí tuệ nhân tạo - nguyễn nhật quang chương 1 giới thiệu môn học trí tuê nhân tạo

... Trí Tuệ Nhân Tạo(IT4040)(IT4040) Nguyễn Nhật Quang quangnn-fit@mail.hut.edu.vnTrường Đại học Bách Khoa Hà NộiViện Công nghệ thông tin và truyền thôngNăm học 2 01 2-2 013 Nội dung môn học:  ... logic 19 66 19 73: 19 66 - 19 73: Các nhà nghiên cứu về TTNT nhận ra khó khăn về độ phức tạp tính toán Gần như là không còn các nghiên cứu về các mạng nơ-ron nhân tạo ể ầ ố 19 6 9 -1 979: Sự hình ... Simon Chương trình chứng minh các định lý hình học của Gelernter Trí Tuệ Nhân Tạo 15 Lịch sử tóm tắt của TTNT (2)ị () 19 65: Robinson đề cử giải thuật hoàn chỉnh cho việc suy diễn logic 19 66 19 73: 19 66 - 19 73:...

Xem thêm