Bài giảng Trí tuệ nhân tạo: Chương 7 trình bày các nội dung sau: Giới thiệu xác suất, luật Bayes, định lí Bayes, certainty factors – Hệ số chắc chắn, hệ chuyên gia MYCIN, logic mờ và ứng dụng,...Mời các bạn cùng tham khảo.
Chương 7: Tri thức suy luận không chắn Nội dung Giới thiệu xác suất Luật Bayes, định lí Bayes Certainty factors – Hệ số chắn Hệ chuyên gia MYCIN Logic mờ ứng dụng Giới thiệu Các nguyên nhân không chắn: Dữ liệu/thơng tin/tri thức có thể: khơng đủ, khơng đáng tin cậy, khơng đúng, khơng xác Các phép suy luận khơng hợp logic: suy luận ngược từ kết luận điều kiện (abduction reasoning) Việc mô tả đầy đủ xác đòi hỏi độ phức tạp tính tốn, lập luận cao Xử lý trường hợp khơng chắn: Tiếp cận thống kê: quan tâm đến mức độ tin tưởng (belief) khẳng định Lý thuyết xác suất Bayesian (Bayesian Probability Theory) Đại số chắn Stanford (The Stanford Certainty Algebra) Suy luận theo Loggic mờ (Fuzzy Logic) quan tâm đến mức độ thật (truth) khẳng định Xác suất Hữu dụng để: Mô tả giới hồn tồn ngẫu nhiên (chơi bài,…) Mơ tả giới bình thường (mối tương quan thống kê,…) Mô tả ngoại lệ (tỉ lệ xuất lỗi,…) Làm sở cho việc học máy (quy nạp định,…) Thường xác suất dùng cho: Sự kiện: xác suất việc quan sát chứng cớ Giả thuyết: xác suất để giả thuyết Theo xác suất truyền thống: tần số xuất tương đối kiện thời gian dài tiến đến xác suất Lý thuyết xác suất Cho kiện (mệnh đề) e1 …en : P(ei) ∈ [0,1] (i = 1,…,n) P(e1) + P(e2) + … + P(en) = Ví dụ: đồng xu tốt: P(mặt_sấp) = P(mặt_ngửa) = 0.5 đồng xu không đều: P(mặt_sấp) =0.7 P(mặt_ngửa) = 0.3 Nếu kiện e1 e2 độc lập nhau: P(e1 ∧ e2) = P(e1) * P(e2) P(e1 ∨ e2) = P(e1) + P(e2) - P(e1) * P(e2) P(¬ e) = – P(e) Ví dụ: tung đồng xu: khả xảy SS SN NS NN, suy ra: P(S ∧ N) = ¼ = 0.25 P(S ∨ N) = ¾ = 0.75 Xác suất có điều kiện Xác suất tiên nghiệm (prior probability) hay xs vô điều kiện (unconditional probability): xs kiện điều kiện khơng có tri thức bổ sung cho có mặt hay vắng mặt Xác suất hậu nghiệm (posterior probability) hay xs có điều kiện(conditional probability): xs kiện biết trước hay nhiều kiện khác P(e1 ∧ e2) P(e1|e2) = P(e2) Ví dụ: P(cúm) = 0.001 P(sốt) = 0.003 P(cúm ∧ sốt) = 0.000003 cúm sốt kiện không độc lập chuyên gia cho biết: P(sốt | cúm) = 0.9 Suy luận Bayesian (1) P(h|e) xác suất khẳng định giả thuyết h cho trước chứng e P(h|e) = P(e|h) * P(h) P(e) x ∉ F hoàn toàn => x ∈ F hồn tồn Nếu ∀x, µF(x) = F xem “giòn” Hàm thành viên µF(x) thường biểu diễn dạng đồ thị 23 Ví dụ Tập Mờ Ví dụ : S tập hợp tất số nguyên dương F tập mờ S gọi “số nguyên nhỏ” µ Số nguyên nhỏ … Ví dụ: Một biểu diễn tập mờ cho tập người đàn ơng thấp, trung bình, cao Trung bình Thấp Cao µ || 4’ 4’6” 5’ 5’6” 6’ 6’6” Chiều cao 24 Tính Chất Tập Mờ Hai tập mờ nhau: A = B ∀x ∈ X, µA (x) = µB (x) Tập con: A ⊆ B ∀x ∈ X, µA (x) ≤ µB (x) Một phần tử thuộc nhiều tập mờ Ví dụ: người đàn ơng cao 5’10” thuộc hai tập “trung bình” “cao” Tổng giá trị mờ phần tử khác 1: µThấp(x) + µTrungbình(x) + µCao(x) ≠ 25 Mờ hóa (fuzzification) Từ hàm thành viên cho trước, ta suy mức độ thành viên thuộc tập hợp, hay giá trị mờ tập mờ Các tập mờ µ 0.8 0.5 0.3 Giá trị mờ Trẻ Trung niên || 23 25 28 An 35 Già 40 Bảo 55 Tuổi Châ u 26 Hợp hai tập mờ Khái niệm: Hợp hai tập mờ (A∪B) thể mức độ phần tử thuộc hai tập Cơng thức: µ A∨ B(x) = max (µA(x) , µB(x) ) Thí dụ: A∪ B µTre(An) = 0.8 µTrung niên(An) = 0.3 => µTre ∨ Trung Niên(An) = max( 0.8, 0.3) = 0.8 27 Giao hai tập mờ Khái niệm: Giao hai tập mờ (A∩B) thể mức độ phần tử thuộc hai tập Cơng thức: µ A∧ B(x) = (µA(x) , µB(x) ) A∩ B Thí dụ: µTre(An) = 0.8 µTrung niên(An) = 0.3 => µTre ∧ Trung Niên(An) = min( 0.8, 0.3) = 0.3 28 Bù tập mờ Khái niệm: Bù tập mờ thể mức độ phần tử không thuộc tập Cơng thức: µ ¬A(x) = - µA(x) A’ Thí dụ: µTrẻ(An) = 0.8 => ơTr(An) = 0.8 = 0.2 29 Luật mờ Một luật mờ biểu thức if - then phát biểu dạng ngôn ngữ tự nhiên thể phụ thuộc nhân biến Biến Thí dụ: if nhiệt độ lạnh Giá trị biến (hay tập mờ) giá dầu rẻ then sưởi ấm nhiều Hoặc: if người có chiều cao cao bắp lực lưỡng then chơi bóng rổ hay 30 Nhận xét Logic mờ khơng tn theo luật tính bù logic truyn thng: ơA A(x) v ¬A ∧ A(x) ≡ Thí dụ: µ ¬A∨ A(x) = max (0.8, 0.2) = 0.8 ơA A(x) = min( 0.8, 0.2) = 0.2 31 Thủ tục định mờ (fuzzy decision making procedure) Mờ hóa (fuzzification) Chuyển giá trị liệu thực tế dạng mờ Suy luận mờ (fuzzy reasoning) Thực tất luật khả thi, kết kết hợp lại Khử tính mờ (defuzzification) Chuyển kết dạng mở dạng liệu thực tế 32 Hệ thống mờ dùng điều trị bệnh IF sốt nhẹ THEN liều lượng asperine thấp IF sốt THEN liều lượng asperine bình thường IF sốt cao THEN liều lượng asperine cao IF sốt cao THEN liều lượng asperine cao 37 SN S SC 38 39 40 T 200 600 800 oC 41 C BT 400 SRC CN 1000 mg 33 Ví dụ: Một bệnh nhân sốt 38.7 độ Hãy xác định liều lượng asperince cần thiết để cấp cho bệnh nhân Bước 1: Mờ hóa giá trị x = 38.8 cho ta thấy 38.8 thuộc tập mờ sau: 0.7 SN S 38 38.8 39 SC SRC 0.3 37 µSốt nhẹ (x) = 0.3 µSốt cao (x) = 40 oC 41 µSốt (x) = 0.7 µSốt cao (x) = 34 Ví dụ (tt.) Bước 2: Ta thấy có luật áp dụng cho hai liều lượng aspirine: µThấp (x) = 0.3 µBình thường (x) = 0.7 Kết hợp giá trị mờ lại ta vùng tô màu sau đây: BT 0.3 0.7 T 200 400 600 800 mg 35 Ví dụ (tt.) Bước 3: Phi mờ hóa kết cách tính trọng tâm diện tích tơ hình trên: Chiếu xuống trục hồnh ta giá trị ±480mg Kết luận: liều lượng aspirine cần cấp cho bệnh nhân 480mg 36 ... 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. .. nhân bị sốt) = 0.8 CF(If bệnh nhân bị sốt Then bệnh nhân bị cúm) = 0.5 CF(bệnh nhân bị cúm) = 0.4 Kết hợp nhiều CF từ nhiều luật If P Then Q -> CF1(Q) If R Then Q -> CF2(Q) CF(Q) = CF1(Q) + CF2(Q)... CF(bệnh nhân bị sốt And bệnh nhân bị hắt hơi) = 0.6 CF(bệnh nhân bị sốt Or bệnh nhân bị hắt hơi) = 0.9 13 Đại số chắn Stanford (2) Truyền CF luật: CF(Q) = CF(If P Then Q) * CF(P) Ví dụ: CF(bệnh nhân