D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project.
Robert NechesPublished in: Artif. Intell. (1993)
Keyphrases
- knowledge based systems
- knowledge base
- inference engine
- knowledge representation scheme
- expert systems
- knowledge acquisition
- representing knowledge
- knowledge representation
- artificial intelligence
- inference process
- knowledge structures
- knowledge engineering
- production rules
- predicate calculus
- probabilistic inference
- formal methods
- knowledge sources
- image representation
- rule based systems
- first order logic
- deep knowledge
- wordnet
- knowledge acquisition tools
- legal knowledge based systems