摘要: We consider the problem of automating some duties programmers. take as our point departure claim that data management has been automated to where programmer concerned only about correctness (as opposed efficiency) his program need not involve himself in any aspect storage allocation problem. focus on what we feel is a sensible next step, aspects control. To accomplish this propose definition control based fact/heuristic dichotomy, variation Chomsky's competence/performance dichotomy. The dichotomy formalizes an idea originating with McCarthy and developed by Green, Hewitt, McDermott, Sussman, Hayes, Kowalski others. It allows one operate arbitrarily component without affecting program's correctness, which entirely responsibility fact component. immediate objectives research are learn how keeping separate, identify those amenable automation.
acm.org
sci-hub.se 参考文章(16)
Patrick J. Hayes, Computation and Deduction. mathematical foundations of computer science. pp. 105- 117 ,(1973)
Gerald Jay Sussman, Drew V. McDermott, The Conniver Reference Manual ,(1972)
T. Poggio, D. Marr, From Understanding Computation to Understanding Neural Circuitry Neuroscience Research Program Bulletin. ,vol. 15, pp. 470- 488 ,(1976)
Sten-Ake Tarnlund, An interpreter for the programming language predicate logic international joint conference on artificial intelligence. pp. 601- 608 ,(1975)
Drew V McDermott, Flexibility and Efficiency in a Computer Program for Designing Circuits Massachusetts Institute of Technology. ,(1976)
Claude Cordell Green, The application of theorem proving to question-answering systems Stanford University. ,(1969)
Robert Goldblatt, SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC Journal of Symbolic Logic. ,vol. 51, ,(1976) , 10.2307/2273958
Robert A. Kowalski, Predicate Logic as Programming Language. ifip congress. pp. 569- 574 ,(1974)
Aho AV, JE Hopcroft, JD Ullman, The Design and Analysis of Computer Algorithms ,(1974)