STEREOTYPES as an ACTOR Approach Towards Solving the Problem of Procedural Attachment in FRAME Theories

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.

[1]  Richard W. Grossman,et al.  Representing the Semantics of Natural Language as Constraint Expressions , 1975 .

[2]  Carl Hewitt,et al.  Procedural Embedding of knowledge in Planner , 1971, IJCAI.

[3]  D. J. M. Davies,et al.  Representing negation in a planner system , 1974 .

[4]  Drew McDermott,et al.  Assimilation of New Information by a Natural Language Understanding System , 1974 .

[5]  Patrick J. Hayes,et al.  Some problems and non-problems in representation theory , 1974 .

[6]  Benjamin Kuipers An Hypothesis-Driven Recognition System for the Blocks World , 1974 .

[7]  Carl Hewitt,et al.  Protection and Synchronization in Actor Systems , 1974 .

[8]  Robert T. Chien,et al.  Semantic Modeling for Deductive Question-Answering , 1973, IEEE Transactions on Computers.

[9]  James L. Stansfield Programming a dialogue teaching situation , 1974 .

[10]  David L. Waltz,et al.  Generating Semantic Descriptions From Drawings of Scenes With Shadows , 1972 .

[11]  T. Kuhn,et al.  The Structure of Scientific Revolutions , 1963 .

[12]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[13]  C. Hewitt Planner: a language for manipulating models and proving theorems in a robot" ijcai-69 , 1970 .

[14]  Allen Newell,et al.  How can Merlin understand , 1973 .

[15]  Carl Hewitt,et al.  Actor induction and meta-evaluation , 1973, POPL.

[16]  P. Johnson-Laird Procedural semantics , 1977, Cognition.

[17]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[18]  J. F. Rulifson Language-qa4: a procedural calculus for intuitive reasoning. , 1973 .

[19]  John Darlington,et al.  Some transformations for developing recursive programs , 1975, Reliable Software.

[20]  Terry Winograd,et al.  Five Lectures on Artificial Intelligence , 1974 .

[21]  Brian Cantwell Smith,et al.  Towards a programming apprentice , 1974, IEEE Transactions on Software Engineering.

[22]  John McCarthy,et al.  Programs with common sense , 1960 .

[23]  Carl Hewitt,et al.  Actor semantics of PLANNER-73 , 1975, POPL '75.

[24]  John Darlington,et al.  Some transformations for developing recursive programs , 1975 .