Trong bài học này sẽ trang bại cho người học nhưng kiến thức về: 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). .