Notes on a Path to AI Assistance in Mathematical Reasoning.
Alex KontorovichPublished in: CoRR (2023)
Keyphrases
- computer algebra systems
- knowledge representation and reasoning
- knowledge representation
- mathematical knowledge
- computer algebra
- artificial intelligence
- human reasoning
- reasoning systems
- machine learning
- theorem prover
- case based reasoning
- expert systems
- shortest path
- rule based reasoning
- human level
- fuzzy logic
- intelligent behavior
- planning systems
- knowledge based systems
- reasoning process
- reasoning tasks
- artificial general intelligence
- lecture notes in artificial intelligence
- spatial reasoning
- cognitive architectures
- intelligent systems
- knowledge acquisition
- model based reasoning
- representing knowledge
- ai planning
- path planning
- formal logic
- logic programming