Commonsense Reasoning
"Reasoning methods that exhibit the features of human thinking"
Application Domains
- Reasoning over ontologies
- Question answering
- Planning
- Education
- Personalization
- Games (http://www.sporcle.com/games/thelastprime/flood_world_capitals)
The Nature of the Reasoning
- Large theories (many symbols, many axioms, many theorems)
- Human expectations (fast reasoning, friendly interfaces, world knowledge)
- Inconsistent, uncertain, imprecise, temporal, incomplete ... (aaaargh)
- Unnecessary axioms (how to choose the right few)
- Short and simple arguments (easy once you have the axioms)
Reasoning with World Knowledge
- Commonsense reasoning with the plethora of facts
- Example systems
- SPASS-XDB,
CYC,
SigmaKEE,
LogAnswer,
NAGA,
Open Mind,
TrueKnowledge,
Watson,
HALO, ...
- NOT Google, Wikipedia, Bing, WolframAlpha, ...
- Example deployments