TAILIEUCHUNG - Trí tuệ nhân tạo - Chương 2

Phép tính vị từ Logic hình thức – Logic hình thức = Biễu diễn + suy luận – Dùng như là một cơ chế biễu diễn tri thức – Dùng như là tìm kiếm không gian trạng thái trong các đồ thị And/Or – Dùng để hình thức hóa các luật heuristic | Chương 2 - Phép tính vị từ Logic hình thức - Logic hình thức Biễu diễn suy luận - Dùng như là một cơ chế biễu diễn tri thức - Dùng như là tìm kiếm không gian trạng thái trong các đồ thị And Or - Dùng để hình thức hóa các luật heuristic Có hai ngôn ngữ - Phép tính mệnh đề - Phép tính vị từ C2 - Phép tính vị từ TTNT. Phép tính mệnh đề 1 Mệnh đề là các câu khẳng định về thế giới. Mệnh đề có thể đúng true hoặc sai false . Mệnh đề đơn giản Đồng là một kim loại Đúng Gỗ là một kim loại Sai Hôm nay là thứ Hai Sai Ký hiệu trong phép tính mệnh đề - Ký hiệu mệnh đề P Q R S . - Ký hiệu chân lý true false - Các phép toán logic A hội V tuyển phủ định kéo theo tương đương C2 - Phép tính vị từ TTNT. Phép tính mệnh đề 2 Định nghĩa câu trong phép tính mệnh đề - Mỗi ký hiệu mệnh đề ký hiệu chân lý là một câu. - Phủ định của một câu là một câu. - Hội tuyển kéo theo tương đương của hai câu là một câu. Ký hiệu được dùng để nhóm các ký hiệu vào các biểu thức con. Một biểu thức mệnh đề được gọi là một câu hay công thức dạng chuân- WFF nó có thể được tạo thành từ những ký hiệu hợp lệ thông qua một dãy các luật trên. Ví dụ PaQ R P V Q V R C2 - Phép tính vị từ TTNT. .

TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.