Introduction Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation) KR formalism 의 구성 Syntax - 'What you can say' Semantics - 'What it means' Inference Procedures - 'Reasoning''