Artificial intelligence: Retrospective/prospective

Authors
Dershowitz, N
Citation
N. Dershowitz, Artificial intelligence: Retrospective/prospective, ANN MATH A, 28(1-4), 2000, pp. 3-5
Categorie Soggetti
Engineering Mathematics
Journal title
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
ISSN journal
10122443 → ACNP
Volume
28
Issue
1-4
Year of publication
2000
Pages
3 - 5
Database
ISI
SICI code
1012-2443(2000)28:1-4<3:AIR>2.0.ZU;2-R
Abstract
Symbolic programming and formal reasoning are two significant areas to whic h research in artificial intelligence has contributed much. The emergence o f global repositories of accessible data presents new challenges for knowle dge representation and logical inference.