This book for the first time collects an important part of the research on reflective systems, providing both an introduction to the topic and a reference to research in the field. It contains a selection of the papers presented at the Workshop held in Alghero, Italy, during October 1986, the goal being to bring together researchers in order to discuss the problems arising in the definition and the construction of reflective systems, and to investigate their practical application. The papers in the first part shed some light on the concept of reflection or its origins. Important questions treated in these papers are: What are the issues in computational reflection? How does it relate to the notion of reflection in logic and meta-mathematics? How can reflective systems be categorized? Why is meaning an important issue in reflection and reflection an interesting domain to study meaning? A number of practical realisations of reflective systems are presented in the second part. The papers investigate the problems arising in the construction of reflective systems, and present techniques to solve these.
This book for the first time collects an important part of the research on reflective systems, providing both an introduction to the topic and a reference to research in the field. It contains a selection of the papers presented at the Workshop held in Alghero, Italy, during October 1986, the goal being to bring together researchers in order to discuss the problems arising in the definition and the construction of reflective systems, and to investigate their practical application. The papers in the first part shed some light on the concept of reflection or its origins. Important questions treated in these papers are: What are the issues in computational reflection? How does it relate to the notion of reflection in logic and meta-mathematics? How can reflective systems be categorized? Why is meaning an important issue in reflection and reflection an interesting domain to study meaning? A number of practical realisations of reflective systems are presented in the second part. The papers investigate the problems arising in the construction of reflective systems, and present techniques to solve these.
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Maße
ISBN-13
978-0-444-70343-9 (9780444703439)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Checking Proofs in the Metamathematics of First Order Logic (M. Aiello, R. Weyhrauch). Foundations. Issues in Computational Reflection (P. Maes). Meta in Logic (D. Perlis). Meaning in Knowledge Representation (L. Steels). Reasoning by Introspection (K. Konolige). Introspective Fidelity (M. Genesereth). Commonsense Set Theory (D. Perlis). Implementations. Control-Related Meta-Level Facilities in LISP (J. des Rivieres). The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (M. Wand, D. Friedman). Communication between LISP and Horn Clauses by Mutual Reflection (R. Ghislanzoni, L. Spampinato, G. Tornielli). The ObjVlisp Kernel: A Reflective Lisp Architecture to Define a Uniform Object-Oriented System (P. Cointe). Conceptual Reflection and Actor Languages (J. Ferber). Evaluation and Reflection in FOL (D. Nardi). OMEGA: An Integrated Reflective Framework (M. Simi, E. Motta). Meta-Levels in SOAR (P. Rosenbloom, J. Laird, A. Newell). Applications. The Uses of Metaknowledge in AI Systems (L. Aiello, G. Levi). Reasoning about Self-Control (J. Batali). A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity (F. Giunchiglia, R. Weyhrauch). Declaratively Programmable Interpreters and Meta-Level Inference (B. Welham). A Meta-Level Architecture for Expert Systems (L. Sterling). Object Level Reflection of Inference Rules by Partial Evaluation (P. Coscia et al.). Functional Meta-Level for Logic Programming (P. Mancarella, D. Pedreschi, F. Turini). Meta-Level Extensions of Logic and Machine Learning (P. Brazdil).
