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

Dư thừa luật

Bao đóng suy diễn cho R. Xét A F

a size 12{ left lbrace a right rbrace } {}⁺ = a,h size 12{ left lbrace a,h right rbrace } {}

a,b size 12{ left lbrace a,b right rbrace } {}⁺ = a,b,c,g,u,h size 12{ left lbrace a,b,c,g,u,h right rbrace } {}

* Việc xác định bao đóng suy diễn dựa vào SD tiến:

Ta nói R₁ ≡ R₂ ⇔ A F A⁺_R1 = A⁺_R2

Giả sử {}R = m:

R = {}

r_i : left_{i → size 12{ rightarrow } {}} q_i

∣lefti∣ size 12{ lline ital "le" ital "ft" rSub { size 8{i} } line } {} size 12{ <= {}} {} ≤ K

F ≤ (1+K)m = (m)

⇒ size 12{ drarrow } {}∣F∣ size 12{ lline F rline } {} = 0 (m)

giải thích:

Câu hỏi: Thuật toán xác định bao đóng của 1 tập

- Khi xét các biểu diễn là logic vị từ → size 12{ rightarrow } {} vấn đề dư thừa như thế nào?

Dư thừa sự kiện

Giả sử cơ sở luật không chứa luật dư thừa

⇒ size 12{ drarrow } {}KSTT q.định dư thừa có vô ích hay không?

Mâu thuẫn tường minh

- Khi duyệt CSTT, chỉ qua ht bên ngoài của các luật đã phát hiện ra ><

Ta nói: r: left → size 12{ rightarrow } {}q >< r^’: left^{’ → size 12{ rightarrow } {}} q^’

⇔ + left ⊆ left' hoặc 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 = 3 >< X = 4

X ≤ size 12{ <= {}} {} 9 >< X > 10

Phát hiện mâu thuẫn (m(m-1))/2 cặp (r, r^’) 0(1)

* Xử lý mâu thuẫn

• 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ể hiện trong:

  

  

  Như vậy:

  

* Biện pháp: Vứt bỏ tập luật (tập con các luật) R₀ size 12{ subseteq } {}R sao cho R R₀ trở thành phi ><

Theo những đồ thị: bỏ luật cùng các cạnh liên thuộc để có một đồ thị con R R₀ chỉ còn các đỉnh cô lập (tức là (R, R₀, ))

Tiêu chuẩn (R₀) → size 12{ rightarrow } {} max / min

Mâu thuẫn không tường minh (KTM)

* Thuật toán:

R={r₁,r₂……,r_m}

Xét a ∈ size 12{ in } {} F: R₁={r_j:left_j→ size 12{ rightarrow } {}q_j/a size 12{ in } {}left_j}

R₂={r_l:left_l→ size 12{ rightarrow } {}q_l/a size 12{ in } {}left_l}

⇒ size 12{ drarrow } {} R₃=R{R₁,R₂} {}

⇒ R₁ = R₁ ∪ R ₃ ; R₁ = R₂ ∪ R₃

Mâu thuẫn không tường minh (R) ⇔ size 12{ dlrarrow } {} Mâu thuẫn không tường minh (R 1' size 12{ {} rSub { size 8{1} } rSup { size 8{'} } } {}) size 12{ and } {} ⋀ mâu thuẫn không tường minh (R 2' size 12{ {} rSub { size 8{2} } rSup { size 8{'} } } {})

Nếu ∀ size 12{ forall } {}a R₁ = Φ size 12{Φ} {}hoặc R₂ = Φ size 12{Φ} {}; R = LA^’ thì mâu thuẫn không tường minh (R) ⇔ size 12{ dlrarrow } {} left R+ size 12{ {} rSub { size 8{R} } rSup { size 8{+{}} } } {} chứa cặp sự kiện đụng độ 0(m²)

Cấu trúc tĩnh:Với bảng luật lưu trữ bằng mảng ARRAY

1. a ⋀ b → c
2. b ⋀ c ⋀ d → e
3. a ⋀ d → f
4. c → g
5. a → h
6. d ⋀ c → h
7. b → u

Hai lưu trữ cơ sở sự kiện và cơ sở luật

Cơ sở sự kiện và cơ sở luật

Tên	Ý nghĩa	Cơ sở luật
a	++++	SK1	SK2	SK3	KL
b		a	b		c
c	****	b	c	d	e
d	----	a	d		f
		c			g
		a			f

Cấu trúc động

Cấu trúc lại

CS/ Bảng sự kiện

Giá trị: lưu thực trong máy tính (boolean)

Ngữ nghĩa: diễn giải ý nghĩa của nó

Câu hỏi: user đưa ra các gợi ý đối với sự kiện

Trỏ: chỉ ra vị trí xuất hịên đầu tiên trong bảng luật

• trỏ 1: chỉ sự kiện tiếp theo
• trỏ 2: móc nối các sự kiện cùng tên
• trỏ 3: nạp 1 danh sách móc nối giữa các luật

Hiển thị

Cập nhật