Bài giảng "Hệ chuyên gia – Chương : Logic mệnh đề - Logic vị từ cấp một" trình bày các kiến 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 hóa các công thức, các luật suy diễn). | CHƯƠNG 2 Logic mệnh đề Logic vị từ cấp một NỘI DUNG 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 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. 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 .
