From: pat hayes (phayes@ai.uwf.edu)
Date: 04/04/03
>[[ I'm sending this just to daml-time@daml.org. If that means someone >obvious is missing, let me know. ]] > >Comments on Pat's comments: > >More specific Hayes comments: > > >4. There is a treatment of temporal aggregates. Comments solicited. > > On the other hand, this seems too complicated. Maybe Im not seeing > the reasons for the complexity, but using set theory seems like > overkill right at the start. BTW, the 'clocks and calendars' section > 4 of my old time-survey memo has a treatment of some of these issues. > >Where might that old memo be? In two parts: http://www.coginst.uwf.edu/users/phayes/TimeCatalog1.ps http://www.coginst.uwf.edu/users/phayes/TimeCatalog2.ps > BTW, a general point: some of the complexity of parts of this can be > eliminated by using CL rather than a conventional FO syntax. > >Or by using a typed lambda-calculus. Types REDUCE complexity? I'll believe it when I see it. Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 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
This archive was generated by hypermail 2.1.4 : 04/04/03 EST