A perspective on symbolic mathematical computing and artificial intelligence

  • Authors:

  • J. Calmet;J. A. Campbell

  • Affiliations:

  • Institut für Algorithmen und Kognitive Systeme, Universität Karlsruhe, Am Fasanengarten 5, 76131 Karlsruhe, Germany E‐mail: calmet@ira.uka.de;Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK E‐mail: J.Campbell@cs.ucl.ac.uk

  • Venue:
  • Annals of Mathematics and Artificial Intelligence
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

The nature and history of the research area common to artificial intelligence and symbolic mathematical computation are examined, with particular reference to the topics having the greatest current amount of activity or potential for further development: mathematical knowledge‐based computing environments, autonomous agents and multi‐agent systems, transformation of problem descriptions in logics into algebraic forms, exploitation of machine learning, qualitative reasoning, and constraint‐based programming. Knowledge representation, for mathematical knowledge, is identified as a central focus for much of this work. Several promising topics for further research are stated.