HỆ cơ sở TRI THỨC CÁCH BIỂU DIỄN TRI THỨC hệ MYCIN

9/18/2012 Pham Van Hai Tuần (Week 5) Email: haivnu@yahoo.com Hai V Pham hai@spice.ci.ritsumei.ac.jp Hai V Pham hai@spice.ci.ritsumei.ac.jp Các kiểu giá trị MYCIN Ví dụ: Ngữ cảnh Tham biến Giá trị Đầu Cảm giác Paracetamon đau Mũi Nhạy cảm dị Penicillin ứng CF 15 -1.0 Ngữ cảnh: • đối tượng thảo luận Mycin •Các kiểu đối tượng khác nhau: bệnh nhân, thuốc, … • ược tổ chức Hai V Pham hai@spice.ci.ritsumei.ac.jp 9/18/2012 Bệnh nh nhân A VIRUS cúm A Thuốc kháng sinh thuốc cảm VIRUS cúm B VIRUS cúm C Thuốc kháng sinh Thuốc cảm Câu hỏi: VIRUS cúm có ảnh hưởng nào? Tại sử dụng thuốc kháng sinh thuốc cảm cúm đồng thời Sử dụng thuốc kháng sinh có ảnh hưởng đến sức khỏe nào? Thuốc cảm có tác dụng điều trị cúm nào? Hai V Pham hai@spice.ci.ritsumei.ac.jp Sources: Stanford Univ Hai V Pham hai@spice.ci.ritsumei.ac.jp Cơ chế suy diễn lùi (Backward changing) ◦ ưa giả thuyết sau kiểm chứng ◦ Tập trung vào kết sau tìm sở tri thức thích đáng với toán xét Các kiện, luật, kỹ thuật suy diễn nhằm diễn giải tình cho người sử dụng hệ thống dựa lý thuyết chắn Standford Lý thuyết chắn hình thức hóa tiếp cận heuristic vào suy luận với không chắn MYCIN gồm luật đơn giản, phức tạp nhiều luật có kết luận Hai V Pham hai@spice.ci.ritsumei.ac.jp 9/18/2012 MB (Measurement of Belief): ộ đo tin cậy MD (Measurement of Disbelief): ộ đo thiếu tin cậy CF (Certain Factor): Hệ số tin cậy H (Hypothesis): Giả thuyết H E (Evidence): Chứng E Hai V Pham hai@spice.ci.ritsumei.ac.jp Các chuyên gia th đặtt tự tin vào mốii quan hệ mà m giác không ph i có cảm đúng MB(H | E) đo độ tin tưởng a giả tư ng gi thuyết thuy t H có chứng ch ng cớ c E MD(H | E) đo độ không tin tưởng a giả tư ng gi thuyết thuy t H có chứng ch ng cớ E < MB(H | E) < MD(H | E) = 0 < MD(H | E) < MB(H | E) = CF (H | E) = MB(H | E) – MD(H | E) Hai V Pham hai@spice.ci.ritsumei.ac.jp Luật Lu t đơn giản gi n: If(e) then (c) CF(e) độ chắn chứng cớ CF(r) độ đo chắn luật suy diễn Khi dó: CF(c) độ đo chắn kết luận CF(c) = CF(e) * CF(r) CF(c) ∈[-1,1] kết luận sau: ại lượng CF tiến cho thấy tin tưởng kết luận ại lượng CF tiến -1 cho thấy tin tưởng kết luận không ại lượng CF kết luận ý kiến trung lập Hai V Pham hai@spice.ci.ritsumei.ac.jp 9/18/2012 Luật 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 p Lu t phức 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 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 dự án môn học với tiến độ học kỳ bao gồm phần sau: Mục đích Phạm vi Các kiện, ngữ cảnh cách biểu diễn tri thức ộng suy diễn, luật diễn giải luật Sơ đồ kiến trúc hệ thống (system architechture) Ghi chú: đề mục nêu thêm, bớt thay đổi tùy thuộc vào dự án Hai V Pham hai@spice.ci.ritsumei.ac.jp 12 ... hai@spice.ci.ritsumei.ac.jp Cơ chế suy diễn lùi (Backward changing) ◦ ưa giả thuyết sau kiểm chứng ◦ Tập trung vào kết sau tìm sở tri thức thích đáng với toán xét Các kiện, luật, kỹ thuật suy diễn nhằm diễn giải... kỳ bao gồm phần sau: Mục đích Phạm vi Các kiện, ngữ cảnh cách biểu diễn tri thức ộng suy diễn, luật diễn giải luật Sơ đồ kiến trúc hệ thống (system architechture) Ghi chú: đề mục nêu thêm, bớt... nhằm diễn giải tình cho người sử dụng hệ thống dựa lý thuyết chắn Standford Lý thuyết chắn hình thức hóa tiếp cận heuristic vào suy luận với không chắn MYCIN gồm luật đơn giản, phức tạp nhiều