Example Knowledge Sources
Unix file system (a less expressive KR system)
- Directories => classes
- Subdirectory relationships => subclass relationships
- Files => individuals
- Does not comply with :user-defined-facets
- May comply with :read-only
ATP theorem prover (a more expressive KR system)
- What’s a frame? All constants considered to be frames
- Uses the sentential middle end
- Implementing the inference levels
- Direct – Only ground facts
- Taxonomic – Ground facts and taxonomic axioms
- All-Inferable – Ground facts and all axioms