Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.
Claudia SchonSophie SiebertFrieder StolzenburgPublished in: ARCADE@CADE (2019)
Keyphrases
- theorem prover
- automated reasoning
- commonsense knowledge
- theorem proving
- first order logic
- term rewriting
- automated theorem proving
- inference rules
- computer algebra
- natural deduction
- formal proof
- formal semantics
- proof search
- timed automata
- proof planning
- higher order logic
- computer algebra systems
- artificial intelligence
- wordnet
- genetic algorithm
- predicate calculus
- spreading activation
- computer programming
- training data
- knowledge base