TRÍ TUỆ NHÂN TẠO
Bài 10: Chứng minh bằng logic vị từ
Nội dung
1. Hạn chế của logic mệnh đề
2. Logic vị từ
3. Chứng minh trong logic vị từ
4. Bài tập
2TRƯƠNG XUÂN NAM
Hạn chế của logic mệnh đề
Phần 1
3TRƯƠNG XUÂN NAM
Hạn chế của logic mệnh đề
Trong phần trước chúng ta đã đề cập đến logic mệnh đề
sử dụng để mô tả hệ thống tri thức
Hệ thống sự kiện
Các phép toán logic thể hiện mối quan hệ giữa các sự kiện
Các cơ chế chứng minh:
Chứng minh bằng bác bỏ
Suy diễn tiến (đi từ tập sự kiện)
Suy diễn lùi (dò ngược từ tập kết luận)
Các cơ chế trên cũng được con người sử dụng trong quá
trình học tập, suy lý
4TRƯƠNG XUÂN NAM
Hạn chế của logic mệnh đề
Vấn đề lớn nhất của logic mệnh đề là chỉ tập trung vào sự
kiện mà không thể hiện được sự tương quan giữa cá thể
và thế giới
Khả năng diễn đạt hạn chế
Biểu diễn các sự kiện
Không thể mô tả đầy đủ thế giới các đối tượng, tính chất và
mối quan hệ giữa các đối tượng
Ví dụ
1. Nam là một sinh viên của Thủy Lợi
2. Mọi sinh viên của Thủy Lợi đều phải học tin đại cương
3. Vì Nam là sinh viên của Thủy Lợi nên Nam học tin đại cương
•Trong logic mệnh đề: 3 không thể suy ra từ 1 và 2
5TRƯƠNG XUÂN NAM