Abstract
Meta-computation is a computational mechanism that allows computational systems to read and modify meta-objects that represent the current state of its own computation. Implementing meta-computation by high-level language enables us to access meta-level with high-abstract interface. In recent years this notion can be found in several fields of computer science and artificial intelligence. In particular, in the field of intelligent systems meta-computation is often called meta-inference and plays an important role for designing complex systems. We introduce reflective-computation mechanisms into a conditional term rewriting system-based language and discuss about their implementation and application.
This is a preview of subscription content, log in via an institution to check access.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Numazawa, M., Kurihara, M., Ohuchi, A. (1996). A reflective language based on conditional term rewriting. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_7
Download citation
DOI: https://doi.org/10.1007/3-540-61697-7_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61697-9
Online ISBN: 978-3-540-70635-9
eBook Packages: Springer Book Archive