1차 논리
객체(Objects), 술어(Predicates), 한정사(Quantifiers)를 사용하여 세계의 지식을 표현하는 논리 체계이다. 명제 논리보다 표현력이 뛰어나며 일반적인 규칙을 간결하게 기술할 수 있어 지식 표현의 핵심 도구로 사용된다.