Quản trị tri thức (knowledge management)

Quản trị tri thức (Knowledge management) Quản trị tri thức (Knowledge management) Bởi: Khoa công nghệ thông tin Đại học phương đông Mở đầu Ở chương trước có khái niệm đơn giản hệ chuyên gia Một thành phần vô quan trọng hệ chuyên gia sở tri thức Thông qua phiên thu nạp tri thức ( trực tiếp hay gián tiếp) xây dựng sở tri thức cho hệ chuyên gia Vậy làm đẻ quản lí thao tác xử lí để hệ chuyên gia hoạt động Trong chương đề cập đến vấn đề giải vấn đề HCSTT/ HCGƯD = CSTT + MTSD + Giao Diện + Giải thích + Thu nạp (KDD)/ Soạn thảo (Tri thức chuyên gia) Dư thừa (Redundancy) CSTT = ( CS luật, CS kiện) 1/11 Quản trị tri thức (Knowledge management) Dư thừa luật Dư thừa luật Cho CSTT: B1 = (R1, F1) B2 = (R2, F2) Ta nói R1≡ R2⇔Sức mạnh suy diễn R1 sức mạnh suy diễn R2 Bao đóng suy diễn cho R Xét A ⊆ F a?b→c b?c?d→e a?d→f c→g a→h d?ch b→u {a}+ = {a,h} {a,b}+ = {a,b,c,g,u,h} Một luật logic mệnh đề ≡ PTH bao đóng = bao đóng PTH Logic vị từ 2/11 Quản trị tri thức (Knowledge management) GT = tđ {(P, AB), tđ (Q, AC), tđ (K,BQ), tđ (L,CP)} GT={ ?} Quy nạp toán học P(x) P(1) P(i) → P (i +1) + {P(1)}R = {P(1),P(2),P(3), } ∀ x P (x) * Việc xác định bao đóng suy diễn dựa vào SD tiến: Y(x,y) → C (x,y) Xây dựng tập luật cho Robot 3/11 Quản trị tri thức (Knowledge management) Tay koTrong (x) → Tay (x) + Tay (x) Trong (y) → Trên (x,y) + Trong (y) Tay (x) → San (x), Trong (x) + Ta nói R1 ≡ R2 ⇔A ⊆ F A+R1 = A+R2 Giả sử R = m: R= ri : lefti → qi ∣lefti∣ ≤ K ∣F∣≤ (1+K)m = (m) ⇒ ∣F∣ = (m) Luật r ∈ R thừa R ⇔ R\ {r} ≡ R Tiêu chuẩn (áp dụng cho logic mệnh đề) r: left → q ∈ R dư thừa ⇔ q ∈ left + R/r giải thích: 4/11 Quản trị tri thức (Knowledge management) Câu hỏi: Thuật toán xác định bao đóng tập - Khi xét biểu diễn logic vị từ → vấn đề dư thừa nào? Dư thừa kiện Giả sử sở luật không chứa luật dư thừa Dư thừa kiện Xét r : left → q f → left f coi dư thừa r ⇔ thay r r’ : left \ {f} → q có tập luật tương đương ( R| {r})? {r} ≡ R • Dư thừa ý nghĩa vô ích • Duy trì dư thừa kéo theo nâng cao chất lượng suy diễn ⇒ KSTT q.định dư thừa có vô ích hay không? GT= {a,m} KL= {c} 5/11 Quản trị tri thức (Knowledge management) Vet1 = {r1,2} Vet2 = {r1,r4,r5,r6} Luật hợp thành (compositional rule): Tvet1: a ? m → c (tăng suy diễn, giảm nhớ) Hệ chuyên gia chứng minh biểu thức hoá học Tri thức 7: Mâu thuẫn (consistency - inconsistency) Mâu thuẫn tường minh - Khi duyệt CSTT, qua ht bên luật phát >< Ta nói: r: left → q >< r’: left’ → q’ ⇔ + left ⊆ left' left' ⊆ left + q >< q' Trong logic mệnh đề : p >< p ? Trong logic vị từ : • p(a) >< p ?(a) • p ?(a) >< ∀x p(x) • + p(a) >< ∀x p ?(a) Trong luật sác xuất: X = >< X = X ≤ >< X > 10 Phát mâu thuẫn (m(m-1))/2 cặp (r, r’) 0(1) * Xử lý mâu thuẫn 6/11 Quản trị tri thức (Knowledge management) • Xử lý cục bộ: r >< ◦ Theo trọng số ◦ Theo lĩnh vực chuyên môn r thuộc lĩnh vực chuyên môn A r' thuộc lĩnh vực chuyên môn B ◦ Theo xử lý ngoại lệ ▪ r: chung ▪ r': ngoại lệ ▪ left: left' • Xử lý tổng thể: thể trong: Như vậy: * Biện pháp: Vứt bỏ tập luật (tập luật) R0R cho R\ R0 trở thành phi >< Theo đồ thị: bỏ luật cạnh liên thuộc để có đồ thị R\ R0 đỉnh cô lập (tức (R, R0, )) Tiêu chuẩn (R0) → max / 7/11 Quản trị tri thức (Knowledge management) Mâu thuẫn không tường minh (KTM) Mâu thuẫn không tường minh CSTT (R,F) chứa >< KTM F∈F • F không chứa cặp kiện đụng độ • F+R chứa cặp kiện đụng độ * Thuật toán: R={r1,r2……,rm} Xét a ∈ F: R1={rj:leftj → qj/a leftj} R2={rl:leftl → ql/a leftl} ⇒ R3=R\{R1,R2} ⇒ R1 = R1 ∪ R ; R1 = R2 ∪ R3 Mâu thuẫn không tường minh (R) ⇔ Mâu thuẫn không tường minh (R ' ) ? mâu thuẫn không tường minh (R ) ' 8/11 Quản trị tri thức (Knowledge management) Nếu ∀ a R1 = Φhoặc R2 = Φ; R = LA’ mâu thuẫn không tường minh (R) ⇔ left + R chứa cặp kiện đụng độ 0(m2) Lưu trữ CSTT Cấu trúc tĩnh:Với bảng luật lưu trữ mảng ARRAY a?b→c b?c?d→e a?d→f c→g a→h d?c→h b→u Hai lưu trữ sở kiện sở luật Cơ sở kiện sở luật Tên Ý nghĩa Cơ sở luật a ++++ b SK1 SK2 SK3 KL a b c **** b c d a d c d e f c g a f Cấu trúc động 9/11 Quản trị tri thức (Knowledge management) Cấu trúc lại CS/ Bảng kiện Giá trị: lưu thực máy tính (boolean) Ngữ nghĩa: diễn giải ý nghĩa Câu hỏi: user đưa gợi ý kiện Trỏ: vị trí xuất hịên bảng luật • trỏ 1: kiện • trỏ 2: móc nối kiện tên • trỏ 3: nạp danh sách móc nối luật Cấu trúc liệu gắn với thao tác • Cập nhật: thêm, bớt, sửa: tất thao tác người quản trị tri thức, kĩ sư tri thức đảm nhận • Suy diễn 10/11 Quản trị tri thức (Knowledge management) Soạn thảo tri thức: Cập nhật sửa đổi Hiển thị Cập nhật 11/11 [...].. .Quản trị tri thức (Knowledge management) Soạn thảo tri thức: Cập nhật sửa đổi Hiển thị Cập nhật 11/11 ... nhật: thêm, bớt, sửa: tất thao tác người quản trị tri thức, kĩ sư tri thức đảm nhận • Suy diễn 10/11 Quản trị tri thức (Knowledge management) Soạn thảo tri thức: Cập nhật sửa đổi Hiển thị Cập nhật... a b c **** b c d a d c d e f c g a f Cấu trúc động 9/11 Quản trị tri thức (Knowledge management) Cấu trúc lại CS/ Bảng kiện Giá trị: lưu thực máy tính (boolean) Ngữ nghĩa: diễn giải ý nghĩa... 5/11 Quản trị tri thức (Knowledge management) Vet1 = {r1,2} Vet2 = {r1,r4,r5,r6} Luật hợp thành (compositional rule): Tvet1: a ? m → c (tăng suy diễn, giảm nhớ) Hệ chuyên gia chứng minh biểu thức