RE: SUO: Higher-arity relations
I agree with Adam's view on higher-arity relations, and
in general believe that the same criterion should apply to
any notation that can make use of the SUO simpler, or make it
easier to understand:
> Jon,
> I think we're agreed that relations of higher arity are
> not strictly required. The issue is whether they are
> advantageous for reasons of clarity or convenience and
> whether that facility would have any downside. I believe
> they are advantageous for convenience and clarity and
> I'm unaware of any negatives that may result from their being
> employed.
>
> Adam
>
i.e. if there is some notation that is consistent with the fundamental
representation, but makes use or understanding easier, it should be
included as an optional notation. In particular, there should be
some frame-like notation which can be translated automatically
into SUO-KIF. However, I think it would be best to fix on only
one frame notation as part of the SUO.
Pat Cassidy
============================================================================
This message is intended only for the use of the Addressee(s) and may
contain information that is PRIVILEGED and CONFIDENTIAL. If you are not
the intended recipient, dissemination of this communication is prohibited.
If you have received this communication in error, please erase all copies
of the message and its attachments and notify postmaster@verticalnet.com
immediately.
============================================================================