Re: SUO Quo Vadis
Mark,
That is not the problem:
> however: given the fact that all domain specific ULOs
> are based on one or other form of formal logic, which is,
> I believe, not something humans *use* to conceptualise
> or verbalise, then there is a mismatch. i think our
> discussions also probably got this far as well:
Every formal logic expresses a *subset* of what is
expressible in any natural language.
To represent all of first-order logic, for example,
the only thing you need are three basic words:
"and", "not", and "exists". You can throw in
"or" and "if" to make some of the statements
more concise.
For more on that point, see the following paper
http://www.jfsowa.com/ontology/ontometa.htm
Ontology, Metadata, and Semiotics
The simple fact is that people are vastly *superior* to
computers in using logic. For more on the issues, see
http://www.jfsowa.com/pubs/challenge.pdf
The Challenge of Knowledge Soup
Just look at the example of 3-year-old Laura Limber,
who puts all of our best computer systems to shame.
John