본문 바로가기

.주제별/일반

[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''