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