- 1차 술어 논리는 형식 언어로 일반적으로 술어 논리로 부르기도 한다. 명제 논리를 보다 강력하게 확장한 것이다. - 장점 비교적 적은 수의 primitives만을 포함하고 있어도 명제 논리에 비해 매우 풍부한 표현력을 자랑한다. - 단점 Knowledge는 complete해야 한다. Knowledge는 일관성이 있어야 한다. (지식들 간의 conflict가 없어야 한다) Knowledge base는 monotonic하게 증가하여야 한다. - A Predicate Logic Example 1. Marcus was a man Man(Marcus) 2. Marcus was a Pompeian Pompeian(Marcus) 3. All Pompeians were Romans ∀x: Pompeian(x) → ..