Re: Propositionssowa <email@example.com>
Date: Wed, 16 Feb 94 06:17:12 EST
From: sowa <firstname.lastname@example.org>
To: email@example.com, interlingua@ISI.EDU, firstname.lastname@example.org,
Subject: Re: Propositions
Yes, the problem with variable names is indeed vexing. In fact,
that is one of the main reasons why I prefer to dispense with
variable names completely. The issue simply does not arise with
existential graphs or conceptual graphs. But then you have other
issues, such as defining a lexicographic sorting of subgraphs whose
nodes are unnamed.
That is where the Levinson-Ellis algorithms for maintaining
generalization hierarchies may be important -- they sort the
graphs in a hierarchy that is determined by structure alone,
without considering the names of the variables that link them.
For the kinds of structures that arise in a typed logic, the
type names are very important for reducing the amount of testing
in comparing graphs. But types are a semantically significant
category, unlike names, which are purely connective.