Re: incorporating datatypes into the MT

Thanks for all the input. I think I can see how to keep everyone 
reasonably happy. In outline, the basic MT treats all literals as 
denoting strings possibly with lang tags, but will not know what they 
denote. In particular it will not know that a typed literal denotes 
the value under the datatype mapping. (Unless the datatype is one of 
its own, maybe: not sure about this yet.) When datatypes are 
introduced (ie later), these 'loose' denotations will suddenly get 
tighter and more entailments will be visible.  Just like the old days.

Pat

-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola               			(850)202 4440   fax
FL 32501            				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam

Received on Thursday, 31 October 2002 11:42:34 UTC