Bài giảng Trí tuệ nhân tạo: Bài 6+7+8 - Phạm Thị Anh Lê cung cấp cho học viên những kiến thức về logic mệnh đề - logic vị từ cấp một, cú pháp và ngữ nghĩa logic vị từ cấp một, cú pháp và ngữ nghĩa của Logic mệnh đề, . Mời các bạn cùng tham khảo chi tiết nội dung bài giảng! | Lec 6-7-8 Logic mệnh đề - Logic vị từ cấp một Chương 6. Nội Dung Biểu diễn tri thức Logic mệnh đề Cú pháp và ngữ nghĩa của Logic mệnh đề Dạng chuẩn tắc Luật suy diễn Logic vị từ cấp một Cú pháp và ngữ nghĩa logic vị từ cấp một Chuẩn hoá các công thức Các luật suy diễn Lec 6. Biểu diễn tri thức Cơ sở tri thức CSTT tập hợp các tri thức được biểu diễn dưới dạng nào đó. Thủ tục suy diễn liên kết các sự kiện thu nhận từ môi trường với các tri thức trong CSTT để đưa ra các câu trả lời hoặc hành động cần thực hiện. Để máy tính có thể sử dụng tri thức xử lý tri thức Ngôn ngữ biểu diễn tri thức Cú pháp Ngữ nghĩa Cơ chế lập luận Lec 6. Ngôn ngữ biểu diễn tri thức Cú pháp gồm các ký hiệu các quy tắc liên kết các ký hiệu luật cú pháp để tạo thành các câu công thức . Ngữ nghĩa xác định ý nghĩa của các câu trong một miền thế giới thực. Cơ chế lập luận thực hiện quá trình tính toán sử dụng các luật suy diễn để đưa ra các công thức mới. Luật suy diễn từ một tập công thức đã cho suy ra một công thức mới Ngôn ngữ biểu diễn tri thức tốt cần có khả năng mô tả một phạm vi rộng lớn thế giới thực và thực hiện lập luận hiệu quả. Lec 6. Logic mệnh đề Cú pháp Các ký hiệu Hằng logic True False. Các ký hiệu mệnh đề biến mệnh đề P Q . Các phép kết nối logic . Các dấu mở ngoặc và đóng ngoặc . Các quy tắc xây dựng các công thức Các biến mệnh đề là công thức. Nếu A và B là công thức thì A B A B A A B A B là các công thức. Lec 6. Logic mệnh đề Cú pháp Các công thức là các ký hiệu mệnh đề được gọi là các câu đơn hoặc câu phân tử. Các công thức không phải là câu đơn được gọi là câu phức hợp. Nếu P là ký hiệu mệnh đề thì P và P được gọi là literal P là literal dương còn P là literal âm. Câu phức hợp có dạng A1 . Am gọi là câu tuyển clause trong đó Ai là các literal. Lec 6. Logic mệnh đề Ngữ nghĩa Diễn giải interpretation sự kết hợp các kí hiệu mệnh đề với các sự kiện trong thế giới thực Ví dụ diễn giải là một cách gán cho mỗi ký hiệu mệnh đề một giá trị chân lý True hoặc .
