* 지식을 어떻게 효율적으로 표현하고 어떤 추론 기능을 사용하여 활용할 것인가에 대해 연구하는 인공지능 연구 분야 * 지식의 종류 - 대상과 그 속성에 대한 지속 > Frame, link, object - 대상 간의 관계에 대한 지식 > grape - 사상, 행위, 상태에 관한 지식 > object, grape - 인과 관계에 대한 지식 > if - then - 절차에 대한 지식 > link, object - 메타지식(기존 지식을 잘 처리하기 위한 지식) * 지식의 표현 방식 - 논리적 지식 표현 방식 > 술어 논리 : 명제논리를 사용할 경우 길기 때문에 사용. 예외가 없는 상항에서 적용이 가능하다. ※ 명제 논리 : 참 거짓중의 하나를 값으로 가질 수 있는 명제 문장을 기반으로 추론을 수행할 수 있도록..