9 min readLogic and Knowledge
Logic and Knowledge Representation
Reasoning about what must be true: models and entailment worked by exhaustive enumeration, soundness and completeness, why propositional logic runs out of expressive power, and where first-order logic picks up.
Knowledge RepresentationArtificial Intelligence