What is Knowledge Based Reasoning?

Knowledge Bases

• Real world knowledge
  • Large if realistic
  • Non-classical, non-first-order, aspects
• Examples: SUMO, Cyc, Wikipedia, Yago, CIA factbook, ...

Knowledge Based Reasoning

• Often simple proofs
• Often question and answer use
• Challenges to reasoning tools
  • Loading and indexing the KB
  • Avoiding repeatedly loading the KB
  • Preprocessing the KB
  • Finding relevant parts of the KB
  • Learning from previous proofs
  • Coping with contradictions