Đang chuẩn bị liên kết để tải về tài liệu:
Bài giảng Trí tuệ nhân tạo: Bài 10 - Trương Xuân Nam

Bài giảng Trí tuệ nhân tạo: Bài 10 Chứng minh bằng logic vị từ cung cấp cho người học những kiến thức như: Hạn chế của logic mệnh đề; Logic vị từ; Chứng minh trong logic vị từ; Bài tập. Mời các bạn cùng tham khảo! | 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 TRƯƠNG XUÂN NAM 2 Phần 1 Hạn chế của logic mệnh đề TRƯƠNG XUÂN NAM 3 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ý TRƯƠNG XUÂN NAM 4 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 TRƯƠNG XUÂN NAM 5 Phần 2 Logic vị từ TRƯƠNG XUÂN NAM 6 Logic vị từ Tiếng Anh First Order Logic FOL còn gọi là logic bậc nhất hoặc logic tân từ cấp một Vị từ là các phát biểu có chứa biến TL x x là sinh viên Thủy Lợi TL Nam Nam là sinh viên Thủy Lợi TinDC x x học Tin Đại Cương TinDC Nam Nam học Tin Đại Cương x TL x TinDC x Mọi sinh viên Thủy Lợi đều học Tin Đại Cương Chứng minh Nam học Tin Đại Cương thực chất là tìm quá trình suy luận TL Nam x TL x TinDC x TinDC Nam TRƯƠNG XUÂN NAM 7 Thành phần của logic vị từ Hằng các đối tượng cụ thể trong miền nào đó a b c Mai Nam John . Biến chỉ đối tượng tổng quát hóa x y z u v w . Hàm thuộc tính của đối tượng hoặc nhóm đối tượng best_friend x father x distance x y Vị từ các mối quan hệ giữa các đối tượng hoặc tính chất của đối tượng friend x y father x y love x y good x . Phép lượng tử với mọi tồn tại TRƯƠNG XUÂN NAM 8 Lượng tử logic