🚀 go-pugleaf

From: fromherz@ifi.unizh.ch (Markus P.J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Wed, 12 Jun 1991 17:11:23 +0200
Subject: <mod-ki 0728> Prolog Forum 19.6.
Keywords: Vortraege

mod-ki message 0728
************************************************************************
                            Prolog Forum

Wednesday, June 19, 1991, 12.30 at room 21-G-74 (below the mensa)
Institut fuer Informatik, University of Zuerich-Irchel


                            Frank van Harmelen
                                 S.W.I.
                         University of Amsterdam

                            Meaningful names:
                A new mechanism for meta-level programming

Meta-level systems play a significant role in both logic programming and
knowledge representation. Such systems are,  implicitly  or  explicitly,
equipped with a component that  establishes  a  relation  between  their
object- and meta-level layers. This so-called naming relation has been a
neglected part of meta-level  systems  in  both  logic  programming  and
knowledge representation.

In this talk I argue that the naming relation can  be,  and  should  be,
employed to  increase  the  flexibility  and  efficiency  of  meta-level
systems, while preserving known logical properties. We  argue  that  the
naming relation should not be a fixed part of a meta-level systems,  but
that it should be definable to  allow  suitable  encoding  of  syntactic
information.

Furthermore, we argue that the naming  relation  should  be  meaningful.
That is, it should not only encode syntactic information, but it  should
also be used to  encode  pragmatic  and  semantic  information.  Such  a
definable, meaningful naming relation enables the  formulation  of  more
efficient and compact meta-level theories (or: programs). We explore the
formal constraints that such a definable naming relation  must  satisfy,
and we describe a definition mechanism for  naming  relations  which  is
based on term rewriting systems.

For more information:

    Markus Fromherz                   Tel.:   +41-1-257 4313 / 4311
    Institut fuer Informatik          E-Mail: fromherz@ifi.unizh.ch
    Universitaet Zuerich-Irchel
    Winterthurerstrasse 190
    CH-8057 Zuerich
************************************************************************