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

Bài giảng Hệ cơ sở tri thức (Tuần 5) trình bày lý thuyết chắc chắn Standford trong cách biểu diễn tri thức MYCIN, biểu diễn mạng ngữ nghĩa cho các luật, mạng ngữ nghĩa suy diễn, quá trình tạo lập hệ cơ sở tri thức.

lalala06

9/18/2014

Tuần 5 (Week 5)

Pham Van Hai

(cid:1) LuLuLuLuậtttt cócócócó ddddạngngngng NOTNOTNOTNOT CF(e) CF(NOT e)e)e)e) ==== ---- CF(e) (cid:1) CF(NOT CF(e) CF(e) CF(NOT CF(NOT

(cid:1) KKKKếtttt hhhhợpppp cáccáccáccác lulululuậtttt (Rule) cùng kkkkếtttt lulululuậnnnn (Rule) cócócócó cùng cùngcùng (Rule) (Rule) then (c)(c)(c)(c) CF(tCF(tCF(tCF(t1111)))) (cid:1) ---- RuleRuleRuleRule 1111:::: If(eIf(eIf(eIf(e1111)))) then thenthen (cid:1) ---- RuleRuleRuleRule 2222:::: If(eIf(eIf(eIf(e2222)))) then then (c)(c)(c)(c) CF(tCF(tCF(tCF(t2222)))) thenthen (cid:1) CFCFCFCF làlàlàlà kêtkêtkêtkêt lulululuậnnnn ccccủaaaa RuleRuleRuleRule 1111 &&&& 2222

◦ Trong Trong trưtrưtrưtrườngngngng hhhhợpppp CF(tCF(tCF(tCF(t1111)))) vàvàvàvà Cf(tCf(tCf(tCf(t2222)))) đđđđềuuuu dương dương dương dương Trong Trong Ctong ==== CF(tCF(tCF(tCF(t1111)))) ++++ CF(tCF(tCF(tCF(t2222)))) –––– CF(tCF(tCF(tCF(t1111)))) **** CF(tCF(tCF(tCF(t2222)))) (cid:1) Ctong Ctong Ctong ◦ Trong Trong trưtrưtrưtrườngngngng hhhhợpppp CF(tCF(tCF(tCF(t1111)))) vàvàvàvà CfCfCfCf(t(t(t(t2222)))) đđđđềuuuu âmâmâmâm thìthìthìthì:::: Trong Trong Ctong ==== CF(tCF(tCF(tCF(t1111)))) ++++ CF(tCF(tCF(tCF(t2222)))) ++++ CF(tCF(tCF(tCF(t1111)))) **** CF(tCF(tCF(tCF(t2222)))) (cid:1) Ctong Ctong Ctong ◦ Trong khác ddddấuuuu vvvvớiiii CF(tCF(tCF(tCF(t2222)))) thìthìthìthì:::: Trong trưtrưtrưtrườngngngng hhhhợpppp CF(tCF(tCF(tCF(t1111)))) khác khác khác Trong Trong MIN(ABS(CF(t1111)),)),)),)), (CF(t1111)))) ++++ CF(tCF(tCF(tCF(t2222)))))))) //// ((((1111 –––– MIN(ABS(CF(t Ctong ==== (CF(t (cid:1) Ctong (CF(t Ctong MIN(ABS(CF(t MIN(ABS(CF(t (CF(t Ctong )))) ABS(CF(t2222)))) ABS(CF(t )))))))) ABS(CF(t ABS(CF(t

Hai V Pham hai@spice.ci.ritsumei.ac.jp 1

(cid:1) If (e) then (c)

(cid:1) Áp dụng: (cid:1) CF( sốt VIRUS cúm) = 0.75 (cid:1) CF (IF sốt VIRUS cúm THEN chuẩn đoán bị

Hai V Pham hai@spice.ci.ritsumei.ac.jp 2

cúm) = 0.5

(cid:1) => CF (chuẩn đoán bị cúm) = 0.75*0.5

Hai V Pham hai@spice.ci.ritsumei.ac.jp 3

1 9/18/2014

(cid:1) Suy diễn luật đơn giản

(cid:1) Suy diễn luật với toán tử AND

(cid:1) Suy diễn luật với toán tử OR

(cid:1) Suy diễn luật với toán tử NOT

Hai V Pham hai@spice.ci.ritsumei.ac.jp 4

Hai V Pham hai@spice.ci.ritsumei.ac.jp 5

Hai V Pham hai@spice.ci.ritsumei.ac.jp 6

2 9/18/2014

(cid:1) Xét cơ sở tri thức: Biểu diễn

Hai V Pham hai@spice.ci.ritsumei.ac.jp 7

Hai V Pham hai@spice.ci.ritsumei.ac.jp 8

Hai V Pham hai@spice.ci.ritsumei.ac.jp 9

3 9/18/2014

C5 là giả thiết cần suy diễn đến

(cid:1) Các tập luật:

(cid:1) Lời giải:

4 9/18/2014

Cho các luật và các độ đo tin cậy như sau: R1: A (cid:1) B CF(R1) = 0,5 CF(A) = 0,25 R2: C (cid:1) D CF(R2) = 0,25 CF(C) =0,5 R3: (- F) (cid:1) G CF(R3) = 0,75 CF(F) = -0,5 R4: (B∧-D)∨I (cid:1) J CF(R4) = 0,25 CF(I) = 0,4 a. Tính CF(J)=? b. Biểu diễn mạng ngữ nghĩa cho các luật

Công cụ (Tools)

Chuyên gia (Expert)

Kỹ sử xử lý tri thức

Công cụ tạo lập hệ chuyên gia (Tools for creating KBs)

CSTT / HHHHệ chuyên HHHHệ CSTT / chuyên giagiagiagia/ / / / chuyên chuyên CSTT / CSTT / Knowledge Based Systems

Người sử dụng (Users)

Hai V Pham hai@spice.ci.ritsumei.ac.jp 13

(cid:1) Thu thập cơ sở tri thức (Knowledge Acquisition) (cid:1) Biểu diễn tri thức (Knowledge Representation) (cid:1) Kiểm tra và đánh giá (Test and Evaluation) (cid:1) Vận hành và bảo trì (Operation and

Hai V Pham hai@spice.ci.ritsumei.ac.jp 14