1
Suy diễn trong logic vị từ
2
Suy diễn trong logic cấp một
• Phép chứng minh
• Phép hợp nhất
• Luật Modus Ponens tổng quát
• Lập luận tiến và lập luận lùi
• Tính đầy đủ
• Luật phân giải
3
Phép chứng minh
• Suy diễn tin cậy: tìm ra α sao cho KB ╞ α
Quá trình chứng minh có thể quy về vấn đề tìm kiếm, trong đó các
toán tử là các luật suy diễn.
• Thí dụ, Modus Ponens (MP)
• Thí dụ, Đưa vào hội (AI)
• Thí dụ, Loại bỏ mọi (UE)
phải là hạng tử gốc (tức là, không chứa biến)
)(
)(),(),(,
AnGioi
AnGioiDHTLAnHocDHTLAnHoc
)()(
)()(,
AnNganhCNTTAnGioi
AnNganhCNTTAnGioi
)(),(
)(),(
}/{ LanGioiDHTLLanHoc
xGioiDHTLxHocx
x
x
4
Ví dụ về chứng minh
5
Ví dụ về chứng minh