Program development by stepwise refinement
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Language-qa4: a procedural calculus for intuitive reasoning.
Language-qa4: a procedural calculus for intuitive reasoning.
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Human Problem Solving
Procedural embedding of knowledge in planner
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Planning in a hierarchy of abstraction spaces
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
ETHER: a parallel problem solving system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
This paper surveys the state of the art in the development of problem solving mechanisms for PLANNER-like formalisms. A major design goal for such formalisms is that "for any given piece of knowledge there arc natural places in the formalisms to procedurally embed the knowledge MO that it will He used when it is appropriate and not used when it inappropriate." Although this goal is still very far from being achieved, considerable progress is being made. This paper contains no major conceptual innovations although it does describe and give the rationale for many of the design decisions that have been made In PLASMA (for PLANNER-like System Modeled on Actors) which is currently being implemented at MIT. as part of a Programming Apprentice project and for other applications. The paper tries to delineate major unsolved problems and make suggestions for how some of them may be attacked. Arguments are presented against the competing predicate logic paradigm for the implementation of knowledge-based systems.