Bài giảng Hệ cơ sở tri thức - Tuần 5

9/18/2012 1 Tuần 5 (Week 5) Pham Van Hai Email: haivnu@yahoo.com 1 Hai V Pham hai@spice.ci.ritsumei.ac.jp Hai V Pham hai@spice.ci.ritsumei.ac.jp 2 Các kiểu giá trị trong MYCIN Ngữ cảnh Tham biến Giá trị CF Đầu Cảm giác đau Paracetamon .15 Mũi Nhạy cảm dị ứng Penicillin -1.0 Hai V Pham hai@spice.ci.ritsumei.ac.jp 3 Ví dụ: Ngữ cảnh: • các đối tượng được thảo luận bởi Mycin •Các kiểu đối tượng khác nhau: bệnh nhân, thuốc, •2ược tổ chức trong một cây 9/18/2012 2
Câu hỏi:
1. VIRUS cúm có ảnh hưởng như thế nào?
2. Tại sao sử dụng thuốc kháng sinh và thuốc cảm cúm đồng thời.
3. Sử dụng các thuốc kháng sinh có ảnh hưởng đến sức khỏe như thế nào?
4. Thuốc cảm có tác dụng điều trị cúm như thế nào? Hai V Pham hai@spice.ci.ritsumei.ac.jp 4 Bệnh nhân A VIRUS cúm A Thuốc cảmThuốc kháng sinh và thuốc cảm VIRUS cúm B VIRUS cúm C Thuốc kháng sinh Hai V Pham hai@spice.ci.ritsumei.ac.jp 5 Sources: Stanford Univ.
Cơ chế suy diễn lùi (Backward changing) ◦ 2ưa giả thuyết sau đó kiểm chứng ◦ Tập trung vào kết quả sau đó rồi tìm trong cơ sở tri thức thích đáng với bài toán đang xét
Các sự kiện, luật, các kỹ thuật suy diễn nhằm diễn giải tình huống cho người sử dụng hệ thống dựa trên lý thuyết chắc chắn của Standford. Lý thuyết chắc chắn là một 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

MYCIN gồm các luật đơn giản, phức tạp và nhiều luật có cùng kết luận. Hai V Pham hai@spice.ci.ritsumei.ac.jp 6 9/18/2012 3
MB (Measurement of Belief): 2ộ đo tin cậy
MD (Measurement of Disbelief): 2ộ đo thiếu tin cậy
CF (Certain Factor): Hệ số tin cậy
H (Hypothesis): Giả thuyết H
E (Evidence): Chứng cứ E Hai V Pham hai@spice.ci.ritsumei.ac.jp 7
Các chuyên gia có thể đặt sự tự tin vào các mối quan hệ mà không phải có cảm giác là nó không đúng.
MB(H | E) đo độ tin tưởng của giả thuyết H khi có chứng cớ E
MD(H | E) đo độ không tin tưởng của giả thuyết H khi có chứng cớ E
0 < MB(H | E) < 1 trong khi MD(H | E) = 0
0 < MD(H | E) < 1 trong khi MB(H | E) = 0
CF (H | E) = MB(H | E) – MD(H | E) Hai V Pham hai@spice.ci.ritsumei.ac.jp 8
Luật đơn giản: If(e) then (c)
CF(e) là độ do chắc chắn của chứng cớ
CF(r) là độ đo chắc chắn của luật suy diễn
Khi dó: CF(c) là độ đo chắc chắn của kết luận
CF(c) = CF(e) * CF(r) CF(c) ∈[-1,1] được kết luận như sau:
2ại lượng CF tiến về 1 cho thấy sự tin tưởng kết luận là đúng
2ại lượng CF tiến về -1 cho thấy sự tin tưởng kết luận là không đúng
2ại lượng CF bằng 0 kết luận ý kiến trung lập Hai V Pham hai@spice.ci.ritsumei.ac.jp 9 9/18/2012 4
Luật ghép
If(e1 AND e2) then
CF (e1 AND e2) = MIN(CF(e1), CF(e2))
if (e1 OR e2) then (c)
CF (e1 OR e2) = MAX(CF(e1), CF(e2))
Luật phức tạp
if ((e1 AND e2) OR e3) then (c)
CF ((e1 AND e2) OR e3) = MAX(MIN(CF(e1), CF(e2)), CF(e3)) Hai V Pham hai@spice.ci.ritsumei.ac.jp 10 Ví dụ: Luật ghép CF(bệnh nhân bị đau đầu) = 0.7 CF(bệnh nhân bị viêm họng) = 0.5 CF(bệnh nhân bị đau đầu And bệnh nhân bị viêm họng) = 0.5 CF(bệnh nhân đau đầu Or bệnh nhân bị viêm họng) = 0.7 Hai V Pham hai@spice.ci.ritsumei.ac.jp 11
Các nhóm thực hiện dự án môn học với tiến độ giữa học kỳ bao gồm các phần như sau:
1. Mục đích
2. Phạm vi
3. Các sự kiện, ngữ cảnh và cách biểu diễn tri thức
4. 2ộng cơ suy diễn, các luật và diễn giải của luật
5. Sơ đồ kiến trúc hệ thống (system architechture)
Ghi chú: các đề mục nêu trên có thể thêm, bớt hoặc thay đổi tùy thuộc vào mỗi dự án Hai V Pham hai@spice.ci.ritsumei.ac.jp 12