Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường

GIỚI THIỆU

• AI là lĩnh vực của Công nghệ thông tin, có chức năng nghiên cứu và

tạo ra các chương trình mô phỏng hoạt động tư duy của con người.

• Trí tuệ nhân tạo nhằm tạo ra “Máy người”?

• Mục tiêu

• Xây dựng lý thuyết về thông minh để giải thích các hoạt động thông

minh

• Tìm hiểu cơ chế sự thông minh của con người

Cơ chế lưu trữ tri thức

Cơ chế khai thác tri thức

• Xây dựng cơ chế hiện thực sự thông minh

• Áp dụng các hiểu biết này vào các máy móc phục vụ con người

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 1

Trang 1

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 2

Trang 2

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 3

Trang 3

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 4

Trang 4

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 5

Trang 5

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 6

Trang 6

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 7

Trang 7

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 8

Trang 8

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 9

Trang 9

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường trang 10

Trang 10

Tải về để xem bản đầy đủ

pdf 136 trang xuanhieu 7320
Bạn đang xem 10 trang mẫu của tài liệu "Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường", để tải tài liệu gốc về máy hãy click vào nút Download ở trên

Tóm tắt nội dung tài liệu: Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường

Bài giảng Trí tuệ nhân tạo - Nguyễn Đình Cường
ình "Sẻ là Chim" thể hiện trên mạng ngữ nghĩa
 Artificial Intelligence Nguyễn Đình Cường 85
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Hình Phát triển mạng ngữ nghĩa
Artificial Intelligence Nguyễn Đình Cường 86
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Giải bài toán tam giác tổng quát
 3
• Có 22 yếu tố của tam giác. Như vậy có C 22 -1 cách để xây dựng hay xác định một tam giác.
• Theo thống kê, có khoảng 200 công thức liên quan đến cạnh và góc 1 tam giác.
• Để giải bài toán này bằng công cụ mạng ngữ nghĩa, sử dụng khoảng 200 đỉnh để chứa công
thức và khoảng 22 đỉnh để chứa các yếu tố của tam giác. Mạng ngữ nghĩa cho bài toán này có
cấu trúc như sau :
 • Đỉnh của đồ thị bao gồm hai loại :
 Đỉnh chứa công thức (ký hiệu bằng hình chữ nhật)
 Đỉnh chứa yếu tố của tam giác (ký hiệu bằng hình tròn)
 • Cung : chỉ nối từ đỉnh hình tròn đến đỉnh hình chữ nhật cho biết yếu tố tam giác xuất
 hiện trong công thức nào
• Lưu ý : trong một công thức liên hệ giữa n yếu tố của tam giác, ta giả định rằng nếu đã biết
giá trị của n-1 yếu tố thì sẽ tính được giá trị của yếu tố còn lại. Chẳng hạn như trong công thức
tổng 3 góc của tam giác bằng 1800 thì khi biết được hai góc, ta sẽ tính được góc còn lại.
 Artificial Intelligence Nguyễn Đình Cường 87
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Giải bài toán tam giác tổng quát
• B1 : Kích hoạt những đỉnh hình tròn đã cho ban đầu (những yếu tố đã có
giá trị)
• B2 : Lặp lại bước sau cho đến khi kích hoạt được tất cả những đỉnh ứng
với những yếu tố cần tính hoặc không thể kích hoạt được bất kỳ đỉnh nào
nữa.
• Nếu một đỉnh hình chữ nhật có cung nối với n đỉnh hình tròn mà n-1 đỉnh
hình tròn đã được kích hoạt thì kích hoạt đỉnh hình tròn còn lại (và tính giá
trị đỉnh còn lại này thông qua công thức ở đỉnh hình chữ nhật).
 Artificial Intelligence Nguyễn Đình Cường 88
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Ví dụ : "Cho hai góc a, b và chiều dài cạnh a của tam giác. Tính chiều dài đường 
cao hC".
 p=(a+b+c)/2
 p
Artificial Intelligence Nguyễn Đình Cường 89
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Frame
 Hình Cấu trúc frame
 Hình Nhiều mức của frame mô tả quan hệ phức tạp hơn 
Artificial Intelligence Nguyễn Đình Cường 90
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 LOGIC MỆNH ĐỀ VÀ LOGIC VỊ TỪ
Logic mệnh đề
Khái niệm: 
Mệnh đề: một phát biểu có giá trị là đúng hoặc sai.
Các luật cơ bản:
1. Luật phủ định: (P) = P
2. Luật kéo theo: (P Q) = (P  Q)
3. Luật tương phản: (P Q) = (Q P)
4. Luật De Morgan: (P  Q) = (P  Q) và (P  Q) = (P  Q)
5. Luật giao hoán: (P  Q) = (Q  P) và (PQ) = (QP)
6. Luật kết hợp: ((P  Q)  R) = (P  (Q  R)) và ((P  Q)  R) = (P  (Q  R))
7. Luật phân phối: P  (Q  R) = (P  Q)  (P  R) và
 P  (Q  R) = (P  Q)  (P  R)
 Artificial Intelligence Nguyễn Đình Cường 91
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Các cơ chế suy diễn
Modus Ponens: Nếu mệnh đề A đúng và A B đúng thì
 giá trị của B sẽ là đúng.
Modus Tollens: Nếu mệnh đề A B đúng và B sai thì
 giá trị của A sẽ là sai.
Artificial Intelligence Nguyễn Đình Cường 92
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Chứng minh tính đúng đắn của phép suy diễn (a → b).
Thao tác biến đối hình thức: khó đối với con người và cài đặt được trên máy tính.
Lập bảng chân trị: độ phức tạp O(2n)
Hai phương pháp chứng minh mệnh đề có độ phức tạp chỉ O(n):
 ▪ Thuật giải Vương Hạo.
 ▪ Thuật giải Robinson.
Artificial Intelligence Nguyễn Đình Cường 93
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Thuật giải Vương Hạo
B1: Phát biểu lại giả thiết và kết luận theo dạng chuẩn:
 GT1, GT2, ..., GTn → KL1, KL2, ..., KLm
B2: Chuyển vế các GTi và KLi có dạng phủ định.
B3: Nếu GTi có phép  thì thay thế phép  bằng dấu ","
 Nếu KLi có phép  thì thay thế phép  bằng dấu ",“
B4: Nếu GTi có phép  thì tách thành hai dòng con.
 Nếu ở KLi có phép  thì tách thành hai dòng con.
B5: Một dòng được chứng minh nếu tồn tại chung một mệnh đề ở cả hai phía.
B6: a) Nếu một dòng không còn phép  và  ở cả hai vế và ở 2 vế không có chung một 
 mệnh đề thì dòng đó không được chứng minh.
 b) Một vấn đề được chứng minh nếu tất cả dòng dẫn xuất từ dạng chuẩn ban đầu 
 đều được chứng minh.
 Artificial Intelligence Nguyễn Đình Cường 94
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Một số ví dụ:
 B2: Ví dụ: p  q, (r  s), g, p  r → s, p
 p  q, p  r , p → (r  s), g, s
 B3: Ví dụ: p  q , r  (p  s) → q, s
 p, q, r, p  s → q, s
 B4: Ví dụ: p, p  q → q
 p, p → q và p, q → q
 B5: Ví dụ: p, q → q được chứng minh
 p, p → q p → p, q
Artificial Intelligence Nguyễn Đình Cường 95
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Artificial Intelligence Nguyễn Đình Cường 96
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
➢ Hoạt động dựa trên:
 + Phương pháp chứng minh phản chứng.
 + Phép hợp giải Robinson.
─ Phương pháp chứng minh phản chứng:
 ▪ Chứng minh (a → b) là đúng.
 ▪ Phản chứng: giả sử b sai, suy ra b là đúng.
─ Phép hợp giải Robinson:
 i) p  (p  q) → q
 ii) (p  q)  (p  r) → q  r
• Bài toán được chứng minh nếu a đúng và b đúng.
Artificial Intelligence Nguyễn Đình Cường 97
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Thuật giải Robinson
B1: Phát biểu lại giả thiết và kết luận dưới dạng chuẩn:
 GT1, GT2,..., GTn → KL1, KL2,..., KLm
B2: Nếu GTi có phép  thì thay bằng dấu ","
 Nếu KLi có phép  thì thay bằng dấu ",“
B3: Biến đổi dòng chuẩn ở B1 thành danh sách mệnh đề:
 {GT1, GT2,..., GTn , KL1, KL2,..., KLm}
B4: Nếu danh sách mệnh đề có 2 mệnh đề đối ngẫu nhau thì bài toán được chứng minh. Ngược lại thì 
 chuyển sang B5.
B6: Áp dụng phép hợp giải: i) p  (p  q) → q
 ii) (p  q)  (p  r) → q  r
B7: Nếu không xây dựng được thêm mệnh đề mới và danh sách mệnh
 đề không có 2 mệnh đề đối ngẫu thì vấn đề không được chứng minh. 
Ví dụ : Chứng minh rằng
 ( p  q)  ( q  r)  ( r  s)  ( u  s) →  p  u
Artificial Intelligence Nguyễn Đình Cường 98
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 LOGIC VỊ TỪ
Khái niệm
Vị từ và lượng từ (" - với mọi, $ - tồn tại) tăng cường tính cấu trúc của mệnh đề.
Mệnh đề được biểu diễn dưới dạng : 
 Vị từ (, , , )
(Vị từ: mối liên hệ giữa các đối tượng tri thức.)
Artificial Intelligence Nguyễn Đình Cường 99
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Artificial Intelligence Nguyễn Đình Cường100
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Giải quyết vấn đề bằng logic vị từ
 Sử dụng phép thay thế và phép hợp giải Robinson.
 Ví dụ: Cho vị từ P(x,y) và các mệnh đề sau:
 1. P(x,y)  P(y,z)  P(x,z)
 2. P(a,b)
 3. P(b,c)
 4. P(c,d)
 5. P(a,d)
Artificial Intelligence Nguyễn Đình Cường101
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Quá trình hợp giải:
 6. P(a,z)  P(b,z) thế x=a, y=b hợp giải 1 và 2
 7. P(a,c) thế z=c hợp giải 3 và 6
 8. P(b,d) thế z=d hợp giải 5 và 6
 9. P(x,b)  P(x,a) thế y=a, z=b hợp giải 1 và 2
 10. P(b,z)  P(c,z) thế x=b, y=c hợp giải 1 và 3
 11. P(b,d) thế z=d hợp giải 4 và 10
 12. Mâu thuẫn hợp giải 8 và 11 
Artificial Intelligence Nguyễn Đình Cường102
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Bài toán 1: Giải bài toán tìm đường đi
 Định nghĩa 2 vị từ:
 1. P(x,y) : có đường đi trực tiếp (road) từ x đến y
 2. Q(x,y) : có đường đi (route) từ x đến y
 Các mệnh đề:
 1. ($x)($y) (P(x,y))
 2. ("x) ("y) (P(x,y) → Q(x,y))
 3. ("x) ("y) ($z) (Q(x,z)  P(z,y) → Q(x,y))
Artificial Intelligence Nguyễn Đình Cường103
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Giải bài toán tìm đường đi
Artificial Intelligence Nguyễn Đình Cường104
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
 Giải bài toán tìm đường đi
 Ví dụ: Cho đồ thị, tìm đường đi từ N đến L. (tt)
 Quá trình hợp giải:
 15. Q(N,C) thế x=N, y=C hợp giải 1 và 12
 16. Q(N,D) thế x=N, f(x,y)=C, y=D hợp giải 2,13 và 15
 17. Q(N,L) thế x=N, f(x,y)=D, y=L hợp giải 11,13 và 16
 18. Có điều phải chứng minh hợp giải 14 và 17
Artificial Intelligence Nguyễn Đình Cường105
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Bài toán 2: Bài toán con khỉ và nải chuối
Trong phòng có con khỉ, chiếc ghế và nải chuối
Có thể giải bài toán nhờ vào các vị từ:
1. in_room(X) : có X trong phòng
2. dexterous(X) : X là loài khéo léo
3. tall(X) : X thì cao
4. can_climb(X,Y) : X có thể leo lên Y
5. can_move(X,Y,Z) : X có thể di chuyển Y đền gần Z
6. get_on(X,Y) : X đứng trên Y
7. under(X,Y) : X ở dưới Y
8. close(X,Y) : X ở gần Y
9. can_reach(X,Y) : X có thể cầm lấy Y
Artificial Intelligence Nguyễn Đình Cường106
 BIỂU DIỄN VÀ SUY LUẬN TRÍ THỨC
Các mệnh đề giúp giải bài toán:
1. in_room(bananas)
2. in_room(chair) 
3. in_room(monkey)
4. dexterous(monkey)
5. tall(chair)
6. can_move(mokey,chair,bananas)
7. can_climb(monkey,chair)
8. can_climb(X,Y) → get_on(X,Y)
9. in_room(X)in_room(Y)in_room(Z)can_move(X,Y,Z)→ under(Y,Z)
10. get_on(X,Y)  under(Y,Z)  tall(Y) → close(X,Z) 
11. dexterous(X)  close(X,Y) → can_reach(X,Y)
Artificial Intelligence Nguyễn Đình Cường107
 TRƯỜNG ĐẠI HỌC NHA TRANG
 Bài giảng 
 TRÍ TUỆ NHÂN TẠO
 NGUYỄN ĐÌNH CƯỜNG
 Bộ môn Công Nghệ Phần Mềm
 Khoa Công Nghệ Thông Tin
 Nha trang - 2012
Artificial Intelligence Nguyễn Đình Cường108
 MÁY HỌC
 MỞ ĐẦU
Các chương trước đã thảo luận về biểu diễn và suy luận tri thức. Trong trường 
hợp này giả định đã có sẵn tri thức và có thể biểu diễn tường minh tri thức. 
Tuy vậy trong nhiều tinh huống, sẽ không có sẵn tri thức như:
 • Kỹ sư tri thức cần thu nhận tri thức từ chuyên gia lĩnh vực.
 • Cần biết các luật mô tả lĩnh vực cụ thể.
 • Bài toán không được biểu diễn tường minh theo luật, sự kiện hay các quan hệ.
Có hai tiếp cận cho hệ thống học:
 • Học từ ký hiệu: bao gồm việc hình thức hóa, sửa chữa các luật tường minh, sự kiện 
 và các quan hệ.
 • Học từ dữ liệu số: được áp dụng cho những hệ thống được mô hình dưới dạng số liên 
 quan đến các kỹ thuật nhằm tối ưu các tham số. Học theo dạng số bao gồm mạng 
 Neural nhân tạo, thuật giải di truyền, bài toán tối ưu truyền thống. Các kỹ thuật học 
 theo số không tạo ra CSTT tường minh.
 Artificial Intelligence Nguyễn Đình Cường109
 MÁY HỌC
 CÁC HÌNH THỨC HỌC
 1. Học vẹt: Hệ tiếp nhận các khẳng định của các quyết định đúng. Khi hệ tạo ra 
 một quyết định không đúng, hệ sẽ đưa ra các luật hay quan hệ đúng mà hệ 
 đã sử dụng. Hình thức học vẹt nhằm cho phép chuyên gia cung cấp tri thức 
 theo kiểu tương tác. 
 2. Học bằng cách chỉ dẫn: Thay vì đưa ra một luật cụ thể cần áp dụng vào tình 
 huống cho trước, hệ thống sẽ được cung cấp bằng các chỉ dẫn tổng quát. Ví 
 dụ: "gas hầu như bị thoát ra từ van thay vì thoát ra từ ống dẫn". Hệ thống 
 phải tự mình đề ra cách biến đổi từ trừu tượng đến các luật khả dụng. 
 3. Học bằng qui nạp: Hệ thống được cung cấp một tập các ví dụ và kết luận được 
 rút ra từ từng ví dụ. Hệ liên tục lọc các luật và quan hệ nhằm xử lý từng ví dụ 
 mới. 
Artificial Intelligence Nguyễn Đình Cường110
 MÁY HỌC
 CÁC HÌNH THỨC HỌC
4. Học bằng tương tự: Hệ thống được cung cấp đáp ứng đúng cho các tác vụ tương
 tự nhưng không giống nhau. Hệ thống cần làm thích ứng đáp ứng trước đó nhằm
 tạo ra một luật mới có khả năng áp dụng cho tình huống mới.
5. Học dựa trên giải thích: Hệ thống phân tích tập các lời giải ví dụ (và kết quả)
 nhằm ấn định khả năng đúng hoặc sai và tạo ra các giải thích dùng để hướng dẫn
 cách giải bài toán trong tương lai.
6. Học dựa trên tình huống: Bất kỳ tính huống nào được hệ thống lập luận đều được
 lưu trữ cùng với kết quả cho dù đúng hay sai. Khi gằp tình hướng mới, hệ thống
 sẽ làm thích nghi hành vi đã lưu trữ với tình huống mới.
7. Khám phá hay học không giám sát: Thay vì có mục tiêu tường minh, hệ khám phá
 liên tục tìm kiếm các mẫu và quan hệ trong dữ liệu nhập. Các ví dụ về học không
 giám sát bao gồm gom cụm dữ liệu, học để nhận dạng các đặc tính cơ bản như
 cạnh từ các điểm ảnh.
 Artificial Intelligence Nguyễn Đình Cường111
 MÁY HỌC
Ví dụ
• Hệ MYCIN
• Mạng Neural nhân tạo
• Thuật toán học Quinland
• Bài toán nhận dạng
• Máy chơi cờ carô, cờ tướng
Artificial Intelligence Nguyễn Đình Cường112
 MÁY HỌC
 THUẬT GIẢI Quinlan
• Là thuật toán học theo quy nạp dùng luật, đa mục tiêu.
• Do Quinlan đưa ra năm 1979.
• Ý tưởng: Chọn thuộc tính quan trọng nhất để tạo cây quyết định.
• Thuộc tính quan trọng nhất là thuộc tính phân loại Bảng quan sát thành các
 bảng con sao cho từ mỗi bảng con này dễ phân tích để tìm quy luật chung.
 Artificial Intelligence Nguyễn Đình Cường113
 MÁY HỌC
 THUẬT GIẢI A. Quinlan
 STT Size Nationality Family Conclusion
 1 Small German Single A
 2 Large French Single A
 3 Large German Single A
 4 Small Italian Single B
 5 Large German Married B
 6 Large Italian Single B
 7 Large Italian Married B
 8 Small German Married B
Artificial Intelligence Nguyễn Đình Cường114
 MÁY HỌC
Xét vector V: có số chiều bằng số phân loại
 • V(Size=Small) = (ASmall, BSmall)
 • ASmall=Số quan sát A có Size là Small / Tổng số quan sát có Size=Small
 • BSmall= Số quan sát B có Size là Small / Tổng số quan sát có Size=Small
 • V(Size=Small) = (1/3 , 2/3)
 • V(Size=Large) = (2/5 , 3/5)
Với thuộc tính Nationality Chọn thuộc tính có nhiều 
 • V(Nat = German)= (2/4 , 2/4) vecto đơn vị
 • V(Nat = French) = (1 , 0)
 • V(Nat = Italian) = (0 , 1)
Thuộc tính Family:
 • V(Family=Single) = (3/5 ,2/5)
 • V(Family = Married) = (0, 1)
Artificial Intelligence Nguyễn Đình Cường115
 MÁY HỌC
 VỚI MỖI THUỘC TÍNH CỦA BẢNG QUAN SÁT
Chỉ còn xét German
•Thuộc tính Size: 
 V(Size=Small) = (1/2 , 1/2)
 V(Size=Large) = (1/2 , 1/2)
•Thuộc tính Family:
 V(Family=Single) = (1, 0)
 V(Family=Married) = (0,1) 
 Artificial Intelligence Nguyễn Đình Cường116
 MÁY HỌC
Artificial Intelligence Nguyễn Đình Cường117
 MÁY HỌC
 Thuật giải Học theo độ bất định
Artificial Intelligence Nguyễn Đình Cường118
 MÁY HỌC
Artificial Intelligence Nguyễn Đình Cường119
 MÁY HỌC
Artificial Intelligence Nguyễn Đình Cường120
 MÁY HỌC
 Đừng tưởng xuân tàn hoa rụng hết
 Đêm qua sân trước một nhành mai
Artificial Intelligence Nguyễn Đình Cường121
 TRƯỜNG ĐẠI HỌC NHA TRANG
 Bài giảng 
 TRÍ TUỆ NHÂN TẠO
 NGUYỄN ĐÌNH CƯỜNG
 Bộ môn Công Nghệ Phần Mềm
 Khoa Công Nghệ Thông Tin
 Nha trang - 2012
Artificial Intelligence Nguyễn Đình Cường122
Artificial Intelligence Nguyễn Đình Cường123
Artificial Intelligence Nguyễn Đình Cường124
Artificial Intelligence Nguyễn Đình Cường125
Artificial Intelligence Nguyễn Đình Cường126
Artificial Intelligence Nguyễn Đình Cường127
Artificial Intelligence Nguyễn Đình Cường128
Artificial Intelligence Nguyễn Đình Cường129
Artificial Intelligence Nguyễn Đình Cường130
Artificial Intelligence Nguyễn Đình Cường131
Artificial Intelligence Nguyễn Đình Cường132
Artificial Intelligence Nguyễn Đình Cường133
Cách biên dịch:
C:\opencv\sources\samples\cpp>cl /I C:\opencv\build\include neural_network.cpp /link 
opencv_world341d.lib opencv_world341.lib
Artificial Intelligence Nguyễn Đình Cường134
Artificial Intelligence Nguyễn Đình Cường135
[1] Neural network, Raul Rojas, 1996.
[2] Neural network, David Kriesel, 2005
[3] Bài Giảng Trí Tuệ Nhân Tạo, Nguyễn Đình Thuân-Đại học Nha Trang.
[3] Opencv Lib
Artificial Intelligence Nguyễn Đình Cường136
 View publication stats

File đính kèm:

  • pdfbai_giang_tri_tue_nhan_tao_nguyen_dinh_cuong.pdf