An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper).
Tanel TammetPriit JärvMartin VerrevDirk DraheimPublished in: CADE (2023)
Keyphrases
- automated reasoning
- knowledge representation
- natural language
- reasoning systems
- probabilistic reasoning
- theorem proving
- automated verification
- reasoning tasks
- decision procedures
- theorem prover
- knowledge representation and reasoning
- natural language processing
- semantic analysis
- machine learning
- artificial intelligence
- first order logic
- natural language understanding
- expert systems
- programming language
- fuzzy logic
- search space
- computational complexity
- neural network