CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning.
Sophie SiebertFrieder StolzenburgPublished in: LuxLogAI (Student / Workshop Papers) (2018)
Keyphrases
- theorem prover
- commonsense reasoning
- machine learning
- knowledge representation
- first order logic
- incomplete information
- theorem proving
- automated reasoning
- nonmonotonic reasoning
- automated theorem proving
- inference rules
- term rewriting
- event calculus
- formal proof
- formal theory
- classical logic
- learning algorithm
- formal semantics
- missing information
- data mining
- supervised learning
- autoepistemic logic
- domain knowledge
- situation calculus
- knowledge base
- natural deduction
- probabilistic reasoning
- description logics
- transitive closure
- default reasoning
- active learning
- expert systems
- proof search