Đây đƣợc xem nhƣ các biểu diễn tri thức đơn giản nhất trong máy tính. Sử dụng các kí hiệu để mô tả tri thức. Mỗi kí hiệu nhằm diễn tả một khái niệm nào đó trong lĩnh vực đang xét, và mỗi kí hiệu này mang 2 giá trị luận lý là đúng hoặc sai. Các phép toán logic đƣợc sử dụng phổ biến của dạng là: and (^), or (v), not (~) và
26
phép kéo theo (→), tƣơng đƣơng (≡). Ví dụ: Tri thức “ nếu trời mƣa và xe máy hƣ thì đi xe buýt” đƣợc biểu diễn là : s^p → r, trong đó s diễn tả khái niệm trời mƣa, p diễn tả khái niệm xe hƣ ra r là đi xe buýt. Nhƣ vậy mô hình cho phƣơng pháp này bao gồm: tập các kí hiệu và tập các luật để diễn đạt các sự kiện và luật trong hệ cơ sở tri thức.
Phƣơng pháp suy luận trong các biểu diễn này là sử dụng suy diễn tiến, suy diễn lùi hoặc kết hợp cả hai. Phƣơng pháp suy diễn tiến là suy dẫn từ giả thuyết đi đến kết luận và suy diễn lùi là truy ngƣợc từ kết luận trở về giả thuyết.
Cho bài toán suy diễn: Tập luật R={Ri : nếu 1 (Ri) thì r (Ri), i=1,2,...n} Ghi chú: 1(Ri): vế trái luật Ri
r(Ri): vế phải luật Ri
Thuật giải suy diễn tiến
– Đầu vào: Tập giả thiết G và tập kết luận K. – Đầu ra: thành công hay thất bại
Bước 1: GT ← G
Bước 2: nếu K G thì dừng thành công Ngƣợc lại, chuyển sang bƣớc 3
Bước 3: Từ R chọn luật Ri sao cho 1(Ri) G. GT ← GT r(Ri)
Quay lại bƣớc 2
Nếu không chọn đƣợc Ri thì dừng thất bại
Thuật giải suy diễn lùi
– Đầu vào: Tập giả thiết G và tập kết luận K. – Đầu ra: thành công hay thất bại
Bước 1: O ← K: // O là tập các sự kiện kết luận cần chứng minh
Bước 2: nếu O G thì dừng thành công, ngƣợc lại qua bƣớc 3
Bước 3: chứng minh tất cả các sự kiện giả thiết của một luật nào đó trong G mà có kết luận K
27
Mô hình biểu diễn này rất khó áp dụng trong thực tế vì các phát biểu (sự kiện) đƣợc mô tả quá đơn giản, và giá trị của các phát biểu này là đúng, sai. Trong khi đó tri thức của mỗi lĩnh vực thì phức tạp và mô tả trong tri thức là đa dạng.
