Large theory reasoning with SUMO at CASC.
Adam PeaseGeoff SutcliffeNick SiegelSteven TracPublished in: AI Commun. (2010)
Keyphrases
- deductive reasoning
- knowledge representation
- reasoning processes
- general knowledge
- formal models
- meta level
- plausible reasoning
- reasoning systems
- commonsense reasoning
- causal reasoning
- general theory
- neural network
- theoretical basis
- theoretical framework
- wordnet
- machine learning
- qualitative reasoning
- computational models
- theoretical foundation
- model based reasoning
- computational model
- proof theory
- cognitive maps
- expert systems