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.
- 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.Google Scholar
- Borning A. and O'Shea T. (1987) "Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltak-80 Language". In: Proceedings of the ECOOP Conference. Paris, France. Google ScholarDigital Library
- Bowen K, (t986) "Meta-level Techniques in Logic Programming". In: Proceedings of the International Conference on Artilicial Intelligence and its Applications. Singapore.Google Scholar
- 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.Google Scholar
- Dahl O. and Nygaard K. (1966) "'SIMULA - An Algol-Based Simulation-Language". Communications of the ACM. 9:671-678. Google ScholarDigital Library
- Davis R. (1982) In: "Knowledge-Based Systems in Artificial Intelligence". Davis R. and Lenat D. Mc Graw-Hill, New York. Google ScholarDigital Library
- Friedman D. and Wand M. (1984) "Reification: Reflection without meta-physics". Communications of the ACM. Vol 8.Google Scholar
- Genesereth M. (1987) "Prescriptive Introspection". In: Meta-Level Architectures and Reflection. Eds: P. Maes and D. Nardi. North.Holland, Amsterdam, June 1987.Google Scholar
- Goldberg A. and Kay A. (1976) "SMALLTALK-72 Instruction Manual". Technical Report SSL-76-6, Xerox Palo Alto Research Center. Palo Alto, California.Google Scholar
- Goldberg A. and Robson D. (1083) "Smalltalk-80: The Language and its Implementation". Addison-Wesley. Reading, Massachusetts. Google ScholarDigital Library
- Greiner R. (1980) "RLL- I: A Representation Language Language". Stanford Heuristic Programming Project. HPP-80-9. Stanford, California.Google Scholar
- Hayes P. (1974) "The Language GOLUX". University of Essex Report. Es~x, United Kingdom.Google Scholar
- 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.Google Scholar
- Lieberman H. (1981) "A Preview of ACTI". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 625. Cambridge, Massachusetts.Google Scholar
- Maes P. (1987) "Computational Reflection". PhD. Thesis. Laboratory for Artificial Intelligence, Vrije Universiteit Brussel. Brussels, Belgium. January 1987.Google Scholar
- Minsky M, (1974) "A Framework for Representing Knowledge". Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 306. Cambridge, Massachusetts. Google ScholarDigital Library
- Roberts R. and Goldstein I. (1977) "The FRL Primer'. Massachusetts Institute of Technology, Artificial Intelligence Laboratory. MIT AI-MEMO 408. Cambridge, Massachusetts. Google ScholarDigital Library
- 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.Google Scholar
- Smith B. and Hewitt C. (1975) "A PLASMA Primer (draft)". Massachusetts Institute of Technology. Artificial Intelligence Laboratory. Cambridge, Massachu~tts.Google Scholar
- Steels L. (1986) "The KRS Concept System". Vrije Universiteit Brussel. Artificial Intelligence 1.aboratory. Technical Report 86-1. Brus~ls, Belgium.Google Scholar
- Stefik M. and Bobrow D. (1986) "'Object-Oriented Programming: Themes and Variations". In: AI magazine. Vol. 6. No. 4. Google ScholarDigital Library
- 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.Google Scholar
- Weinreb D. and Moon D. (1981) "Lisp Machine Manual". Symbolics Inc. Cambridge, Massachusetts. Google ScholarDigital Library
- Weyhrauch R. (1980) "Prolegomena to a Theory of Mechanized Formal Reasoning'. In: Artificial Intelligen~~ Vol. 13 No. 1,2. North Holland. Amsterdam. The Netherlands.Google Scholar
Index Terms
- Concepts and experiments in computational reflection
Recommendations
Concepts and experiments in computational reflection
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 ...
Computational reflection in class based object-oriented languages
Special issue: Proceedings of the 1989 ACM OOPSLA conference on object-oriented programmingThis paper describes various models of computational reflection in class based object oriented language. Two different approaches are covered: the meta-object approach which supposes that every object can have a meta-object describing and monitoring its ...
Mirror-based reflection in AmbientTalk
This paper introduces a novel mechanism to perform intercession (a form of reflection) in an object-oriented programming language with the goal of making the language extensible from within itself. The proposed mechanism builds upon a mirror-based ...
Comments