.주제별/일반
[Semantic] 03. Logic Review
쌈이
2007. 6. 20. 10:35
- Introduction
- Logic은 "delarative KR formalism" 이다. (KR = Knowledge Representation)
- KR formalism 의 구성
- Syntax - 'What you can say'
- Semantics - 'What it means'
- Inference Procedures - 'Reasoning''