Título: | Partial Evaluation, Programming Methodology, and Artificial Intelligence |
Autores: | Kahn, Kenneth M. |
Fecha: | 1984-03-15 |
Publicador: | Association for the Advancement of Artificial Intelligence |
Fuente: |
Ver documento |
Tipo: |
info:eu-repo/semantics/article Peer-Reviewed Article info:eu-repo/semantics/publishedVersion |
Tema: | No aplica |
Descripción: | This article presents a dual dependency between AI and programming methodologies. AI is an important source of ideas and tools for building sophisticated support facilities which make possible certain programming methodologies. These advanced programming methodologies in turn can have profound effects upon the methodology of AI research. Both of these dependencies are illustrated by the example of anew experimental programming methodology which is based upon current AI ideas about reasoning, representation and control. The manner in which AI systems are designed, developed and tested can be significantly improved in the programming is supported by a sufficiently powerful partial evaluator. In particular, the process of building levels of interpreters and of intertwining generate and test can be partially automated. Finally speculations about a more direct connection between AI and partial evaluation are presented. |
Idioma: | Inglés |
1 Letters to the Editor por Bennett, Martin,Meltzer, Bernard | 6 |
2 A Perspective on Automatic Programming por Barstow, David R. | 7 Review of The Architecture of Cognition por Black, John B. |
3 Talking to UNIX in English: An Overview of an On-Line UNIX Consultant por Wilensky, Robert | 8 |
4 | 9 Alexander Lerner: A Biographical Sketch por Minker, Jack |
5 Artificial Intelligence Research at the University of Maryland por Minker, Jack,Davis, Larry S. | 10 |