Skip to content
Kudos AI
enfrar

Knowledge Representation

Saying what is true in a form a machine can reason over: logic, ontologies, and inference you can audit rather than infer from weights.

3 items

Learning paths (1)

Logic and Knowledge Representation

The other tradition in artificial intelligence: representing what a system knows as sentences that are true or false, and deriving what must follow - with guarantees a learned model cannot offer.

Encyclopedia (1)

First-Order Logic

A formal language for representing knowledge in terms of objects, their properties and relations, and quantification over them.

Articles (1)

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.

Related topics

MathematicsStatisticsProbabilityOptimizationInformation TheoryProgrammingArtificial IntelligenceMachine LearningDeep LearningReinforcement LearningNatural Language ProcessingComputer VisionGenerative AISearch & PlanningGame Theory