Knowledge Representation
# Knowledge Representation
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 Strategies
Resolution by Refutation
