Sciweavers

Share
AMAI
2000
Springer

A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving

10 years 1 months ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I think should be pursued vigorously during this decade. Part of this is drawn from my personal research agenda, part is from vast readings, and part is from my editorial position with Annals of Mathematics and Artificial Intelligence. Mathematics and artificial intelligence (AI) have had a symbiotic relationship since Allen Turing dreamed of taking Hilbert's tenth problem into the realm of computation that would blur the distinction between human and machine reasoning. Every aspect of AI has mathematical roots, and there have been some bilateral developments. For example, efforts to improve computational logic led to new results in mathematical logic, itself. Intelligent tutors have improved, particularly with modern programming paradigms, and some contribute to mathematics education. I see this as a par...
Harvey J. Greenberg
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where AMAI
Authors Harvey J. Greenberg
Comments (0)
books