Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương
Logic mệnh đề (Propositional Logic)
• 1 mệnh đề p là 1 phát biểu chỉ có nhận giá trị đúng (true, T, 1) hoặc sai (false, F, 0)
• liên kết với nhau tạo thành câu
• Câu (well formed formulas – các công thức đúng ngữ pháp)
– T và F là câu
– Các biến mệnh đề là câu: P, Q, R, S
– Nếu φ và ψ là câu thì những biểu thức sau cũng là câu:
(φ), ¬φ, φ∨ψ, φ∧ψ, φ→ψ, φ↔ψ
• Các biểu thức logic mệnh đề được xây dựng trên các tên mệnh đề và các phép toán logic theo quy tắc cú pháp nhất định
Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương trang 1
Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương trang 2
Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương trang 3
Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương trang 4
Bài giảng Trí tuệ nhân tạo - Chương 3, Phần 2: Kỹ thuật giải quyết vấn đề - Lê Thanh Hương trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
bai_giang_tri_tue_nhan_tao_chuong_3_phan_2_ky_thuat_giai_quy.pdf
