Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction.
Yutaka NagashimaPublished in: TAP@STAF (2022)
Keyphrases
- proof planning
- natural language
- mathematical proofs
- logical rules
- proof theory
- domain specific
- theorem proving
- semantic web
- question answering
- proof search
- semantic knowledge
- theorem prover
- proof theoretic
- logical reasoning
- reasoning tasks
- knowledge base
- semantic similarity
- first order logic
- automated theorem proving
- knowledge representation
- inductive reasoning
- domain independent
- semantic network
- concept formation
- reasoning systems
- semantic annotation
- low level features
- machine learning
- reasoning process
- ontology evolution
- domain ontology
- qualitative reasoning
- semantic information
- wordnet
- inductive learning