Skip to main content
SpringerLink
Log in

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

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

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 the Annals of Mathematics and Artificial Intelligence.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. D.P. Benjamin, Formulating patterns in problem solving, Annals of Mathematics and Artificial Intelligence 10 (1994) 1-24.

    Article  MATH  MathSciNet  Google Scholar 

  2. P.J. Bentley, ed., Evolutionary Design by Computers (Morgan Kaufman, San Francisco, CA, 1999).

    MATH  Google Scholar 

  3. L. Blum, S. Smale and M. Shub, On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines, Bulletin of the American Mathematical Society (New Series) 21(1) (1989) 1-46.

    Article  MATH  MathSciNet  Google Scholar 

  4. J. Calmet and J.A. Campbell, A perspective on symbolic mathematical computing and artificial intelligence, Annals of Mathematics and Artificial Intelligence 19 (1997) 261-277.

    Article  MATH  MathSciNet  Google Scholar 

  5. V. Chandru and J. Hooker, Optimization Methods for Logical Inference (Wiley, New York, 1999).

    Google Scholar 

  6. F. Glover and M. Laguna, Tabu Search (Kluwer Academic, Boston, MA, 1997).

    MATH  Google Scholar 

  7. H.J. Greenberg, A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions: A User's Guide for ANALYZE (Kluwer Academic, Boston, MA, 1993).

    MATH  Google Scholar 

  8. A. Hunter and S. Parsons, eds., Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence (Springer, Berlin, 1998).

    Google Scholar 

  9. R.G. Jeroslow, Alternative formulations of mixed integer programs, Annals of Operations Research 12 (1988) 241-276.

    Article  MathSciNet  Google Scholar 

  10. K. McAloon and C. Tretkoff, Logic and Optimization (Wiley, New York, 1995).

    Google Scholar 

  11. R.M. Oliver and J.Q. Smith, eds., Influence Diagrams, Belief Nets and Decision Analysis (Wiley, Chichester, UK, 1990).

    Google Scholar 

  12. I.H. Osman and J.P. Kelly, eds., Meta-Heuristics: Theory and Applications (Kluwer Academic, Boston, MA, 1996).

    MATH  Google Scholar 

  13. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Kaufmann, San Francisco, CA, 1997).

    Google Scholar 

  14. J. Pearl, Causality: Models, Reasoning, and Inference (Cambridge University Press, Cambridge, UK, 2000).

    MATH  Google Scholar 

  15. R. Penrose, The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics (Oxford University Press, Oxford, UK, 1989).

    Google Scholar 

  16. R. Penrose, Shadows of the Mind: A Search for the Missing Science of Consciousness (Oxford University Press, Oxford, UK, 1994).

    Google Scholar 

  17. H.P. Williams, Model Building in Mathematical Programming (Wiley-Interscience, New York, 4th edition, 1998).

    Google Scholar 

Download references

Authors
  1. Harvey J. Greenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Greenberg, H.J. A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving. Annals of Mathematics and Artificial Intelligence 28, 17–20 (2000). https://doi.org/10.1023/A:1018935718357

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1018935718357

Keywords

Search

Navigation