Reflection as a Tool for Integration: An Exercise in Procedural Introspection
Abstract
This paper reports on a quite large experience in implementing a procedurally introspective system (PIS), ALICE, in which a well known problem is faced: the integration between LISP and Horn clauses. This exercise is motivated by a recognized lack of experience in implementing PISs to deal with actual A.I. programming problems. ALICE is composed of two procedurally introspective languages based on LISP and on Horn clauses, respectively. The integration is achieved by means of a new kind of reflection called mutuai reflection. The design of ALICE required the generalization of several concepts and mechanisms introduced in 3-LISP. The discussion is completed with a set of general retrospective considerations.
Cite
Text
Ghislanzoni et al. "Reflection as a Tool for Integration: An Exercise in Procedural Introspection." International Joint Conference on Artificial Intelligence, 1987.Markdown
[Ghislanzoni et al. "Reflection as a Tool for Integration: An Exercise in Procedural Introspection." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/ghislanzoni1987ijcai-reflection/)BibTeX
@inproceedings{ghislanzoni1987ijcai-reflection,
title = {{Reflection as a Tool for Integration: An Exercise in Procedural Introspection}},
author = {Ghislanzoni, Robert and Spampinato, Luca and Tornielli, Giorgio},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {44-47},
url = {https://mlanthology.org/ijcai/1987/ghislanzoni1987ijcai-reflection/}
}