Bài viết sưu tầm

Biểu diễn tri thức bằng luật sản xuất là phương pháp sử dụng phổ biến nhất

một tri thức được thể hiện bằng một câu Horn dạng chuẩn:

p₁ ,p₂ ,....,p_n =>q

(các câu Horn dạng này còn được gọi là luật if- then và được biểu diễn như sau: if P₁ and....and P_m then Q)

Một câu Horn dạng tổng quát:

p₁ , p₂ ,....,p_n =>q₁ ,q₂ ,...,q_m

Lưu ý:

nếu có luật dạng: p₁ ,p₂ ,....,p_n =>q₁ ,q₂ ,....,q_m thì tương đương với m luật sau:

p₁ , p₂ ,....,p_{n =>}q₁

p₁ , p₂ ,....,p_{n =>}q₂

p₁ , p₂ ,....,p_{n =>}q_m

tuy nhiên ta chỉ xét câu Horn dạng chuẩn (m=1)

-        nếu n=0, m=1: câu Horn có dạng =>q: gọi là sự kiện (fact) q.

-        nếu n>0, m=1: câu Horn có dạng: p₁ , p₂ ,....,p_{n =>}q: gọi là luật (rule).

Trong các hệ chuyên gia, cơ sở tri thức gồm 2 phần: tập các sự kiện (facts) và tập luật (rules).

Ví dụ

1)    Ta có các luật về kinh nghiệm dự báo thời tiết:

"Chuồn chuồn bay thấp thì mưa, bay cao thì nắng, bay vừa thì râm"

a: chuồn chuồn bay thấp, b: chuồn chuồn bay cao, c: chuồn chuồn bay vừa

d: trời mưa, e: trời nắng, f: trời râm

lúc đó ta có các luật sau:         

a =>d

b =>e

c =>f