Re: Availability of the ANSI standard proposal?
sowa@west.poly.edu (John F. Sowa)
Date: Sat, 23 Mar 1996 12:43:02 +0500
From: sowa@west.poly.edu (John F. Sowa)
Message-id: <9603231743.AA04877@west>
To: cg@cs.umn.edu, fritz@rodin.wustl.edu, ged@cs.rmit.edu.au
Subject: Re: Availability of the ANSI standard proposal?
Cc: goolsbey@cyc.com, interlingua@isi.edu, murray@cyc.com, srkb@cs.umbc.edu
Sender: owner-srkb@cs.umbc.edu
Precedence: bulk
In my last note, I forgot to discuss Fritz's other question about the
polyvalent relations in KIF. When I translate KIF to CGs, I map polyvalent
relations to relations of fixed valence that take an open-ended list as one
of the arguments. So for CGs, polyvalence does not arise.
Whether polyvalence is desirable or necessary in KIF and other languages
is a question for the designers of those languages to decide. It was
simpler for me to avoid the issue by using an already existing mechanism
that allows lists (or sequences) as one of the arguments.
John Sowa