Concepts and experiments in computational reflection

ABSTRACT

This paper brings some perspective to various concepts in computational reflection. A definition of computational reflection is presented, the importance of computational reflection is discussed and the architecture of languages that support reflection is studied. Further, this paper presents a survey of some experiments in reflection which have been performed. Examples of existing procedural, logic-based and rule-based languages with an architecture for reflection are briefly presented. The main part of the paper describes an original experiment to introduce a reflective architecture in an object-oriented language. It stresses the contributions of this language to the field of object-oriented programming and illustrates the new programming style made possible. The examples show that a lot of programming problems that were previously handled on an ad hoc basis, can in a reflective architecture be solved more elegantly.

REFERENCES

• 1: Bobrow D. and Stefik M. (198 !) "'The LOOPS manual". Tech. Rep. KB-VLSI-81-13. Knowledge Systems Area. Xerox Palo Alto Re,arch Center. Palo Alto, California.
• 2: Alan Borning , Tim O'Shea, Deltatalk: an empirically and aesthetically motivated simplification of the Smalltalk-80 language, European conference on object-oriented programming on ECOOP '87, p.1-10, October 1987, Paris, France
• 3: Bowen K, (t986) "Meta-level Techniques in Logic Programming". In: Proceedings of the International Conference on Artilicial Intelligence and its Applications. Singapore.
• 4: Briot J.P. and Cointe P. (1986) "The OBJVLISP Model: Definition of a Uniform Reflexive and Extensible Object-Oriented Language'. In: Proceeding.~ of the European Conference on Artificial Intelligence- 1986.
• 5: Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966 [doi>10.1145/365813.365819]
• 6: Randall Davis , Douglas B. Lenat, Knowledge-Based Systems in Artificial Intelligence: 2 Case Studies, McGraw-Hill, Inc., New York, NY, 1982
• 7: Friedman D. and Wand M. (1984) "Reification: Reflection without meta-physics". Communications of the ACM. Vol 8.
• 8: Genesereth M. (1987) "Prescriptive Introspection". In: Meta-Level Architectures and Reflection. Eds: P. Maes and D. Nardi. North.Holland, Amsterdam, June 1987.
• 9: Goldberg A. and Kay A. (1976) "SMALLTALK-72 Instruction Manual". Technical Report SSL-76-6, Xerox Palo Alto Research Center. Palo Alto, California.
• 10: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 11: Greiner R. (1980) "RLL- I: A Representation Language Language". Stanford Heuristic Programming Project. HPP-80-9. Stanford, California.
• 12: Hayes P. (1974) "The Language GOLUX". University of Essex Report. Es~x, United Kingdom.
• 13: Laird J., Rosenbloom P. and Newell A. (1986) "Chunking in SOAR: The Anatomy of a G~:neral Learning Mechanism". In: Machine lntelligencx~. Vol I. Nr I. Kluwer Academic Publishers.
• 14: Lieberman H. (1981) "A Preview of ACTI". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 625. Cambridge, Massachusetts.
• 15: Maes P. (1987) "Computational Reflection". PhD. Thesis. Laboratory for Artificial Intelligence, Vrije Universiteit Brussel. Brussels, Belgium. January 1987.
• 16: Marvin Minsky, A Framework for Representing Knowledge, Massachusetts Institute of Technology, Cambridge, MA, 1974
• 17: R. B Roberts , Ira P. Goldstein, The FRL Primer, Massachusetts Institute of Technology, Cambridge, MA, 1977
• 18: Smith B, (1982) "Reflection and Semantics in a Procedural Language". Massachusetts institute of Techno!ogy. Laboratory for Computer Science. Technical Report 272. Cambridge,= Massachu~tts.
• 19: Smith B. and Hewitt C. (1975) "A PLASMA Primer (draft)". Massachusetts Institute of Technology. Artificial Intelligence Laboratory. Cambridge, Massachu~tts.
• 20: Steels L. (1986) "The KRS Concept System". Vrije Universiteit Brussel. Artificial Intelligence 1.aboratory. Technical Report 86-1. Brus~ls, Belgium.
• 21: Mark Stefik , Daniel Bobrow, Object-oriented programming: Themes and variations, AI Magazine, v.6 n.4, p.40-62, Winter 1986
• 22: Van Marcke K. (1986) "A Parallel Algorithm for Consistency Maintenance in Knowledge Representation'. In: Proceedings of the European Conference on Artificial Intelligence, 1986. Brighton, England.
• 23: Daniel Weinreb, Lisp machine manual, Massachusetts Institute of Technology, 1981
• 24: Weyhrauch R. (1980) "Prolegomena to a Theory of Mechanized Formal Reasoning'. In: Artificial Intelligen~~ Vol. 13 No. 1,2. North Holland. Amsterdam. The Netherlands.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

General Terms:
Design, Experimentation, Languages, Theory