AMORD explicit control of reasoning

ACM SIGPLAN Notices

Volumn 12, Issue 8, 1977, Pages 116-125

  de Kleer, Johan ^a   Doyle, Jon ^a   Steele, Guy L ^a   Sussman, Gerald Jay ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976775577     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/872734.806940     Document Type: Article

References (34)

1. Randall Davis, “Applications of Meta Level Knowledge to the Construction, Maintainance and Use of Large Knowledge Bases” Stanford AI Lab Memo AIM-283, July 1976.
2. Jon Doyle, “Truth Maintenance Systems for Problem Solving” MIT AI Lab TR:419, 1977.
3. George W. Ernst and Allen Newell, GPS: A Case Study in Generality and Problem-Solving, Academic Press, New York, 1969.
4. H. Gelernter, “Realization of a Geometry-Theorem Proving Machine” in Feigenbaum and Feldman, Computers and Tbought, 1963, pp. 134-152.
5. Ira P. Goldstein, “Understanding Simple Picture Programs” MIT AI Lab, TR-294, September 1974.
6. C. Cordell Green, “Theorem-Proving by Resolution as a Basis for Question-Answering Systems” in Meltzer and Michie, Machine Intelligence 4, pp. 183-205.
7. P. J. Hayes, “Computation and Deduction” Proc. MFCS, 1973.
8. F. Hayes-Roth and V.R. Lesser, “Focus of Attention in the Hearsay-II Speech Understanding System” CMU CS report, January 1977.
9. Carl E. Hewitt, “Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot” MIT AI Lab, TR-258, April 1972.
10. Carl Hewitt, “How to Use What You Know” IJCAI4, September 1975, pp. 189-198.
11. Robert Kowalski, “Logic for Problem Solving” University of Edinburgh, Department of Computational Logic, DCL Memo 75, 1974.
12. S. Kripke, “Semantical Considerations on Modal Logic” Acta Philosophica Fennica, 83-94, 1963.
13. John McCarthy, “Programs With Common Sense” in Minsky, Semantic Information Processing, pp. 403-418, 1968.
14. J. McCarthy and P. J. Hayes, “Some Philosophical Problems from the Standpoint of Artificial Intelligence” in Meltzer and Michie, Machine Intelligence 4, pp. 463-502, 1969.
15. Drew Vincent McDermott, “Flexibility and Efficiency in a Computer Program for Designing Circuits” MIT AI Lab TR-402, December 1976.
16. Drew McDermott, “Vocabularies for Problem Solver State Descriptions” IJCAl 5, August 1977.
17. J. McDermott and C. Forgy, “Production System Conflict Resolution Strategies” CMU CS report, December 1976.
18. Marvin L. Minsky, “Steps Toward Artificial Intelligence” in Feigenbaum and Feldman, Computers and Thought, pp. 406-450, 1963.
19. Marvin L. Minsky, “Plain Talk about Neurodevelopmental Epistemology” I JCAl 5, August 1977.
20. Allen Newell and Herbert Simon, Human Problem Soloing, Prentice-Hall, Englewood Cliffs, NJ, 1972.
21. Vaughan R. Pratt, “The Competence/Performance Dichotomy in Programming” MIT AI Lab Memo 400, January 1977.
22. J. A. Robinson, “A Machine-Oriented Logic Based on the Resolution Principle” J ACM, 12 (January 1965), pp. 23-41.
23. Michael D. Rychner, “Production Systems as a Programming Language for Artificial Intelligence Applications” CMU CS Report, December 1976.
24. Earl D. Sacerdoti, “Planning in a Hierarchy of Abstraction Spaces” Artificial Intelligence, Vol. 5, No. 2, pp. 115-135.
25. Earl D. Sacerdoti, “A Structure for Plans and Behavior” SRI AI Center, TN 109, August 1975.
26. Herbert Simon, The Sciences of the Artificial, MIT Press, Cambridge, Massachusetts, 1969.
27. Richard M. Stallman and Gerald Jay Sussman, “Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis” MIT AI Memo 380, September 1976.
28. Gerald Jay Sussman, Terry Winograd and Eugene Charniak, “MICRO-PLANNER Reference Manual” MIT AI Lab, AI Memo 203.
29. Gerald Jay Sussman, “The Virtuous Nature of Bugs” Proc. AISB Summer Conference, July 1974.
30. Gerald Jay Sussman, A Computer Model of Skill Acquisition, American Elsevier Publishing Company, New York, 1975.
31. Gerald Jay Sussman and Richard Matthew Stallman, “Heuristic Techniques in Computer-Aided Circuit Analysis” IEEE Transactions on Circuits and Systems, Vol. CAS-22, No. 11, November 1975, pp. 857-865.
32. Austin Tate, “INTERPLAN: A plan generation system which can deal with interactions between goals” University of Edinburgh, Machine Intelligence Research Unit, MIP-R-109, December 1974.
33. David H. D. Warren, “WARPLAN: A System for Generating Plans” University of Edinburgh, Department of Computational Logic Memo No. 76, June 1974.
34. Terry Winograd, Understanding Natural Language, Academic Press, New York, 1972.