RE: Infinite cardinalities

Richard Fikes wrote,
> pat hayes wrote,
> > If KIF is taken to be a strict first-order language then 
> > there is no way to guarantee, on semantic grounds, that all 
> > lists are finite. The 'definition' of lists (also called 
> > 'sequences) in the extant KIF literature is a little vague 
> > on just this issue.
>
> Chapter 8 of the "draft proposed American National Standard 
> (dpANS)" of KIF (at http://logic.stanford.edu/kif/dpans.html) 
> says that a list is a finite sequence of objects.

Perhaps, but this can't be expressed in first order PC.

Cheers,


Miles

-- 
Miles Sabin                               InterX
Internet Systems Architect                5/6 Glenthorne Mews
+44 (0)20 8817 4030                       London, W6 0LJ, England
msabin@interx.com                         http://www.interx.com/

Received on Tuesday, 3 April 2001 02:41:48 UTC