Re: Implications for KIFschubert@cs.rochester.edu
Date: Thu, 13 May 93 12:52:32 -0400
To: firstname.lastname@example.org, interlingua@ISI.EDU, email@example.com
Subject: Re: Implications for KIF
> I wanted to translate nested CG contexts into quoted KIF expressions.
> For example, suppose we said "Tom owns a cat, and he believes that
> it is on a mat." That might be represented in KIF by something like
> the following:
> (exists (?x cat)
> (and (owns Tom ?x)
> (believes Tom `(exists (?y mat) (on ?x ?y))) ))
> I said "something like" this expression, because there is a question
> about what to do with a variable like ?x inside a quoted expression,
> which refers to something quantified outside that expression. There
> is no problem with ?y, since it is quantified and used within the
> quoted expression.
Despite all our differences re models, I agree with John's preference
for option 3, i.e., the above representation instead of various "comma"
and "name" complications. I think quantifying-in is interpretable. -Len