Logic (1) 썸네일형 리스트형 [Semantic] 03. Logic Review Introduction Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation) KR formalism 의 구성 Syntax - 'What you can say' Semantics - 'What it means' Inference Procedures - 'Reasoning'' 이전 1 다음