Suy diễn xác suất trong hệ chuyên gia

Ta cần dùng suy luận logic xác suất.Để làm được ta cần giải hai bài toán quy hoạch tuyến tính 1 và 2.

Suy diễn xác suất trong hệ

chuyên gia

Bởi:

Khoa công nghệ thông tin Đại học phương đông

Biểu diễn tri thức theo cách tiếp cân xác suất

Nhắc lại một số lý thuyết về xác suất:

Không gian sự kiện Ω

Độ đo xác suấtP:2Ω →[0,1]

A ∈ Ω ⇒ P(A) ∈ [0,1]

Các tiên đề:

• P(Φ)=0 →P(x)=0 ⇔x=Φ

• P( Ω)=1

• P(A ∪ B) = P(A) + P(B) − P(A ∩ B)

nếuA ∩ B = Φ ⇒ P(A ∪ B) = P(A) + P(B)

Tổng quát:P(A) = [α,β]∈[0,1]

Biểu diễn tri thức dưới dạng luât:

If(p1,s1)∧ (p2,s2) ∧ ∧ (p n ,s n )then(q,s)

si: xác suất xảy ra với pi

s: xác suất xảy ra với q

Biểu diễn tri thức dưới dạng xác suất tổng quat:

S={S1,S2, ,Sm}

với Silà biểu thức logic bất kì

S={(A, 0.6),(B,0.6)}

S={(A, 0.7), ((B → B),0.6)}

S={((A ∪ B)0.9)((A ∩ B),0.2)}

Tri thức xác suất ngoài và suy diễn(External Prob knowledge and

Reasoning)

Cơ sở tri thức(CSTT)S ={S1,S2, ,S m}

Si biểu thức logic

∀ S icó xác suất Pi

S= {A → B, A, B}

ˆ

A={A,B} tập các mệnh đề cơ sở/ atom

Mỗi phép gán trị chân lý cho các mệnh đề cơ sở đựôc gọi là một thế giới có thể ( Possible World)

W: [A→0,1] với w(A) là trị chân lý của A

A → B 1 1 0 1

ω1 ω2 ω3

Có θ = (θ1 θm)lạ một vector phi mâu thuẫn ( θi là giá trị chân lí gán cho mệnh đề Si) tương ứng với thế giới có thể w nếu:

θi= valω(Si)

vớival ω (S i)là giá trị gán cho Si dựa trên wi

S ={A,A ∧ B,A → C}vàA = {A,B,C}

W1 W2 W3 W4 W5 W6 W7 W8

A ∧ B 0 0 0 0 0 0 1 0

Xem xét độ đo xác suất dựa trên hai thế giưói có thể Ω, Π ( có thể coi là tương đương nhau)

Gọi Pixác suất của sự kiệnθi :P(x) = ∑ Pi = x P i

Ta cần dùng suy luận logic xác suất.

Để làm được ta cần giải hai bài toán quy hoạch tuyến tính 1 và 2

S={A,B,A → B}

A → B 1 1 0 1

P1 P2 P3 P4

ModusPonens mở rộng

Ta thấy sự kiện B xảy ra khi A → B và A