A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving.
Harvey J. GreenbergPublished in: Ann. Math. Artif. Intell. (2000)
Keyphrases
- theorem proving
- artificial intelligence
- automated deduction
- theorem prover
- proof planning
- computer science
- mathematical knowledge
- parallel search
- first order logic
- automated reasoning
- case based reasoning
- inference rules
- decision procedures
- automatic programming
- term rewriting
- automated theorem proving
- intelligent systems
- ai systems
- logical inference
- computer algebra systems
- proof procedure
- distributed search
- computer algebra
- knowledge representation
- concept formation
- human problem solving
- consequence finding
- geometry theorem proving
- combinatorial search
- cognitive science
- distributed artificial intelligence
- engineering design