Abstract
Symbolic programming and formal reasoning are two significant areas to which research in artificial intelligence has contributed much. The emergence of global repositories of accessible data presents new challenges for knowledge representation and logical inference.
Similar content being viewed by others
Rights and permissions
About this article
Cite this article
Dershowitz, N. Artificial intelligence: Retrospective/prospective. Annals of Mathematics and Artificial Intelligence 28, 3–5 (2000). https://doi.org/10.1023/A:1018931617448
Issue Date:
DOI: https://doi.org/10.1023/A:1018931617448