Meta Level Architectures and Reflection
P. Maes, Daniele Nardi
North-Holland, 1988 - Reference - 355 pages
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. The implementations discussed range from specific systems exhibiting a reflective behaviour e.g. logic-based reasoning systems, rule-based systems, etc., to programming languages providing facilities for the construction of reflective systems (logic programming languages, description-based languages, functional languages, object-oriented and actor languages). Finally, various applications of meta-level architectures and reflection are described.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Checking Proofs in the Metamathematics of First Order Logic
Issues in Computational Reflection
Meta in Logic
18 other sections not shown
Other editions - View all
agent application args argument Artificial Intelligence axioms behavior beliefs call/cc called cc SQ consider consistent context control knowledge data structures database DECLARE deduction default define definition denotation derived described domain entities env cont environment eval example expert systems explicit expression fact formal formula function Functional Programming gen 0 cc goal Horn clauses implementation implicit inference engine inference procedure inference rules instance instance-variables instantiation interpreter introspective systems knowledge base knowledge representation lambda LISP logic programming means meta meta-KB meta-level architecture meta-level programs meta-theory metaclass metacontinuation metainterpreter metaknowledge metalanguage metaprograms methods object level ObjVlisp Omega operator partial evaluation Perlis predicate problem solving problem space Proc procedure processor Prolog proof provability reasoning referent referent-definition reflective computation reifying relation represent result scar((xl gen schema semantic sentence simulation structure Soar specific statements subgoal symbol syntactic theorem variables Weyhrauch