| title | date | lastmod |
|---|---|---|
Knowledge Representation |
2022-11-08 |
2022-11-21 |
Representation of knowledge in a computer-tractable form. $$\begin{aligned}Logic=Representation+Inference\ Representation=Syntax+Semantics \end{aligned}$$ Entailment: generates sentences that are necessarily true given that existing sentences are true
Inference: process to implement entailment
Soundness: only generate entailed sentences. If we start with valid premises, no invalid conclusions can be drawn and the system is sound. Everything that is provable is in fact true.
Completeness: Everything that is true has a proof. Sound inference does not have to be complete.
Resolution by Refutation
