RE: SUO: RE: A proposed SUO content outline - roles
>At 07-03-01 13:14 -0600, pat hayes wrote:
>
>>>### Another useful predicate could be "is_element_of_SUO(concept, context)"
>>>
>>>### this would reduce a lot of issues to mundane implementation :-)
>>>
>>>--Robert Meersman
>>>
>>
>>Er, no...it wouldn't. This is an interesting point, close to the
>>heart of the ontology enterprise. If that really is a *predicate*,
>>then things called 'concept' and 'context' have to be presumed to
>>exist (in the logical sense of 'exist', ie to be in the domain of
>>quantification.) So you have put these things into the actual
>>ontology, where they need to be incorporated into the
>>classification heirarchy, axioms have to be provided to fix their
>>meanings (and debates will then ensue about whether the axioms have
>>indeed captured the intended meanings or not, etc.), their
>>relationships with all the other things in the ontology (notions of
>>brotherhood, armchairs, shoes and ships and sealing wax, ...) need
>>to be spelled out, and so on. So this is NOT just a matter of
>>mundane implementation. Implementation is easy, compared to getting
>>the ontology right.
>>
>>Pat Hayes
>>
>
>
>### Pat, to be clear: I was only trying to be ironic.
Yeh, I kind of guessed; but it was too good an opportunity to ignore.
>I paraphrased an adagium by Roger Shank, long ago, who claimed FOPL
>guys have it easy, modelling human genetics, social dynamics and
>biochemistry as "loves(John Mary)" :-)
>
>### This said, your point is a deep and interesting one. And does it
>not imply that a true Upper O'gy must be self-descriptive, for want
>otherwise of a formal specification to give to our programmers to
>write interpreters for it? Unless one knows of a logic that
>describes group agreement process, including the handling of
>localized inconsistencies, ...
Oh, a VERY good point. This is open territory, as far as I know,
which the 'web'and 'agent' communities are exploring with an almost
indecent haste. (Of course, I expect that CSPeirce wrote a whole lot
of stuff about it already.)
Pat
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes