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

Cho cơ sở tri thức như sau:

1.     Táo là thức ăn

2.     Gà là thức ăn

3.     Tất cả mọi thứ có thể ăn được mà vẫn sống đều là thức ăn.

4.     Mọi loại thức ăn thì Nam đều ăn

5.     Minh ăn đậu phộng và Minh vẫn sống

6.     Lan ăn mọi thức ăn mà Minh ăn

a)     Định nghĩa các vị từ

Thucan(x): x là thức ăn;

An(y,z): y ăn z;

Khongchet(u): u không chết

b)     Biểu diễn các phát biểu thành dạng biểu thức logic vị từ.

1.     Thucan(tao)

2.     Thucan(ga)

3.     "x, "y, an(y,x) Ù khongchet(y)=> thucan(x)

4.     "x, thucan(a)=>an(nam, x)

5.     An(minh, dauphong)=>khongchet(minh)

6.     "x thucan(x) Ù an(minh,x)=> an(nam,x)