지식표현 실제 문제를 지능적으로 해결하려면 많은 양의 지식을 필요로 한다. 그런데 이런 지식을 어떻게 효율적으로 표현하고 활용할 것인가는 인공지능에서 다루는 중요한 연구 분야 중 하나다. 컴퓨터로 지식을 이용하기 위해서는 컴퓨터가 효율적으로 이해할 수 있는 형식언어(Formal Language)로 기술되어야 한다. 다시 말해, 형식적으로 지식표현을 할 필요성이 있다. 지식을 컴퓨터에 표현하는데 사용되는 형식언어를 지식표현언어(knowledge representation language)라고도 한다. 지식을 표현할 때 고려해야 할 사항이 있는데 이는 다음과 같다. 어떤 객체와 관계를 어떻게 정확히 표현할 것인가? 술어 논리 표현에서 has-size(bear, big)일 때 bear2가 더 크다는 것은 어떻..
