본 과목은 지식의 표현법및 추론에 관한 것이다. 지식표현법으로는 명제논리와 1차 논리를 주로 다루고 있다. 추론 알고리즘으로는 Gentzen natural deduction과 sequent calculus을 다룬다. 또, 이를 이용하여 일반 인공지능 문제를 해결하는 주제를 다룬다.