이번에는 지난 포스팅에 이어서 논리와 추론, 모형에 대해서 알아보도록 하겠습니다.내용을 설명하면서 이해를 돕기 위해 웜푸스 세계에 대한 이야기를 가져오는 경우도 있으니, 웜푸스 세계에 대해서 대략적으로라도 확인하지 못하신 분들은 지난 포스팅을 참고하시길 바랍니다.1. 논리(Logics) 이번에는 논리적 표현과 추론의 근본 개념들을 소개합니다.지난 포스팅에서 지식 기지에 대해서 알아보았습니다. 그리고 지식 기지는 문장들로 구성된다고 하였습니다. 여기서 문장들은 표현 언어의 구문(Syntax)을 따릅니다. 표현 언어의 구문은 적격(well-formed)인 문장을 규정합니다. 쉽게 말해서 구문은, 문장을 만드는 규칙을 말합니다. 예를 들어, "x+y=1"이라는 문장은 적격이지만 "+x1y="은 적격이지 않습니..
