Re: SUO: Re: Proposed SUO Content Outline
You might want to look at an approach to little theories based on
First-Order Logic, but modified so that one can still do IMPS like
theorem proving. IMPS was based on higher-order type theory, however,
the IMPS authors have since realized that one can imbed partial
functions and undefined terms in the First-Order Logic framework. They
developed a set theory with support for partial functions. As with
IMPS, the new logic uses the method of interpretations between theories
to establish criteria for combining information in a fashion that
preserves the inferences already available in the original information.
The framework turns out to be a nice foundation for evaluating
formalisms for a semantic web. Take a look at:
http://www.ccs.neu.edu/home/ramsdell/papers/swfol/swfol.pdf or .dvi or
.ps
John Ramsdell using Fred's account.
Yang Yun wrote:
>
> Modularity is the only way to proceed here , even
> Cyc uses micro-theories, IMPS uses 'little theories'
> (http://imps.mcmaster.ca/theories/theory-library.html)
> ISO Std 13568 Z uses schemas, XHTML uses modules, C++
> uses classes and so on.