[X-logic-www] [X-Logic] Re: OpenMind [9]

[<com...@x-...>]

Subject- Re: OpenMind
Url- 

Wouldn''t a categorial (vice set-theoretic) foundation be a better fit to SGML/XML and current OO development technology?  Won''t argue it as a better foundation - not enough of a mathematician.  But would argue that attempts thus far to create primitive set-theoretic computing constructs have had limited success.  Trends in verification and proof technology, via functional, OO, aspect-oriented, and declarative programming appear to be more suited to a categorial approach.  Only thing I have seen with obvious set-theoretic promise is Johnson-Laird''s *Mental Models* (ca. ''83), and a paper from a AAAI conference some years ago (''88, ''89, or ''91, I think) wherein a logic was described with primitive operations similar to those of Johnson-Laird.  My interest at the time was VV&T of KBS, particularly of the underlying inference mechanisms.

Don''t claim great authority to these comments, but you did invite them.

N. L. Sizemore