1
Logic vị từ
2
Logic vị từ
• Cú pháp và ngữ nghĩa của FOL
• Các ví dụ về câu
• Tạo một KB bằng việc sử dụng FOL
3
Cú pháp: Các yếu tố cơ bản
• Các hằng Trung, 2, DHTL,…
• Các vị từ Anh, >,…
•Các hàm Sqrt, Anhcua,…
• Các biến x, y, a, b,…
• Các liên kết ٨, ٧, , ,
• Các lượng tử ,
4
Cú pháp: Câu đơn
• Câu đơn = vị từ(hạng thức1, …, hạng thứcn)
hoặc hạng thức1= hạng thức2
• Hạng thức = hàm(hạng thức1, …, hạng thứcn)
hoặc hằng hoặc biến
• Thí dụ,
Anh(An, Mai)
> (Tuoi(Anhcua(Mai)), Tuoi(Anhcua(Hoa)))
Anhcua(Hoa) = Trung
5
Cú pháp: Câu phức
• Các câu phức được tạo ra từ các câu đơn bằng việc sử
dụng các liên kết
• Thí dụ:
Anhem(Trung, Toan) Anhem(Toan, Trung)
>(1, 2) ٧ (1, 2)
>(1, 2) ٨ ⌐>(1, 2)
• Ghi nhớ: Khả năng diễn đạt của logic vị từ tốt hơn so với
logic mệnh đề