Với đề tài này chúng ta sẽ trình bày các đặc trưng của ngôn ngữ biểu diễn tri thức. Chúng ta sẽ nghiên cứu logic mệnh đề, một ngôn ngữ biểu diễn tri thức rất đơn giản, có khả năng biểu diễn hẹp, nhưng thuận lợi cho ta làm quen với nhiều khái niệm quan trọng trong logic.

Vậy logic mệnh đề là gì?: là một nhánh của triết học và toán học nghiên cứu về nguyên tắc, phương pháp và tiêu chuẩn hình thức cho sự hợp lệ của suy luân và kiến thức. Là khoa học ước lượng các suy luận, các luật của logic xác định ý nghĩa chính xác của một lý luận.

I – Tổng quan

II – Logic Mệnh đề

1 – Biểu diễn tri thức

2 – Cú pháp và ngữ nghĩa của logic mệnh đề

a – Cú pháp

b – Ngữ nghĩa

3 – Dạng chuẩn tắc

4 – Luật suy diễn

5 – Luật giải, chứng minh và bác bỏ luật giải