Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
A Framework for Representing Knowledge
A Framework for Representing Knowledge
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Generating Semantic Descriptions From Drawings of Scenes With Shadows
Assimilation of New Information by a Natural Language Understanding System
Assimilation of New Information by a Natural Language Understanding System
Language-qa4: a procedural calculus for intuitive reasoning.
Language-qa4: a procedural calculus for intuitive reasoning.
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper is a spin-off of our work on actors. We have worked out a dictionary for translating between what Minsky et. al. are saying about frames and what we are saying about actors. Using PLASMA [PLANNER-like System Modeled on Actors] we can demonstrate important relationships between the Minsky-frames and the PLANNER-like formalisms. PLASMA does not use the QA-4 context mechanism (Rulifson et. al. 1972). instead it uses explicit tags in assertions to keep track of the state of affairs in various situations. One problem with the QA-4 context mechanism is that the problem solver is forced to attempt to propagate all changes in the situation immediately on a frame shift since otherwise inconsistent information will be inherited from the previous situation. Another problem with QA-4 context meçhanism is that it is sometimes difficult to reason explicitly about various situations using it because situations [frames] are not explicitly part of the assertions and goals. Events that are viewed from several different viewpoints [as in a murder mystery] are difficult to handle. Also it is difficult to retrieve the appropriate prior situations from memory to aid in recognition tasks using QA-4 contexts. However, without the example of the QA-4 contexts to guide us, we could never have realized how to deal with these problems using tagged assertions. The context mechanism in CONNIVER was modeled on the one in QA-4.