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...

• Type: Journal
• Year: 2000
• Where: AMAI
• Authors: Harvey J. Greenberg
• Keywords: AMAI 2000, Artificial Intelligence, Mathematics, Personal Research Agenda