An Active Frame for the Knowledge Representation

This paper describes micro-actors which construct the knowledge representation in which the modularity was established without sacrificing the interaction. The behavior of the micro-actor is defined in terms of only one kind of action: sending message to another micro-actor. The micro-actor is composed of a script and an acquaintance. The script consists of the pairs of the message pattern and the action corresponding to the pattern. The micro-actor has the acquaintance as a memory space to hold the data and the names of the other micro-actors it directly knows about. As a result of using the micro-actors, we can deal with knowledge about the actions as well as knowledge about the world states. The information about an action sent from a micro -actor is effective only in the micro-actor which received it. This guarantees the modularity of micro-actors. An example shows that the continuation in a message make both the subroutine control and the coroutine control possible. The other indicates a dialogue in the question-answering system using the micro-actors.

[1]  Hitoshi Ogawa,et al.  A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor , 1977, IJCAI.

[2]  Hitoshi Ogawa,et al.  The Theorem Prover Using a Parallel Processing System , 1979, IJCAI.

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

[4]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[5]  Ira P. Goldstein,et al.  The FRL Primer , 1977 .

[6]  Nils J. Nilsson,et al.  A Formal Basis for the Heuristic Determination of Minimum Cost Paths , 1968, IEEE Trans. Syst. Sci. Cybern..

[7]  Ira P. Goldstein,et al.  The FRL Manual , 1977 .

[8]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[9]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[10]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[11]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

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

[14]  Patrick Henry Winston,et al.  Learning by Creating and Justifying Transfer Frames , 1978, Artif. Intell..

[15]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[16]  Gerald Jay Sussman,et al.  The Conniver Reference Manual , 1972 .