KR Language Components
A logical formalism
- Syntax for wffs
- Vocabulary of logical symbols
- Interpretation semantics for the logical symbols
E.g., (=> (Person ?x) (= (Gender (Mother ?x)) Female)))
An ontology
- Vocabulary of non-logical symbols
- Relations, functions, constants
- Axioms restricting the interpretations of the symbols
E.g., (=> (Person ?x) (= (Gender (Mother ?x)) Female)))
A proof theory
- Specification of the reasoning steps that are logically sound
E.g., (=> S1 S2) and S1 entails S2