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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT