Re: SUO: IFF example?
Pat,
Just to clarify one point
At 11:41 AM 5/2/2003 -0400, Patrick Cassidy wrote:
[snip]
> I believe that SUMO and OpenCyc are in fact not
>logically consistent overall, but there may be portions
>that are consistent, or can be made so with small
>modifications.
Do you mean that they are not mutually consistent, or that they are not
internally consistent? I suspect the former is true, to some degree, but
that latter is not. While, as Andrei pointed out, proving consistency in
first order logic is a process that mathematically is not guaranteed to
terminate, as well as being impossible in practice on theories of any
significant size, we have done proofs for consistency within specified time
boundaries. We found and removed inconsistencies found in up to 50-step
proofs. We can run for days now without finding anything, so we have some
degree of confidence that SUMO is internally consistent.
Adam
> Pat
>
>=============================================
>Patrick Cassidy
>
>MICRA, Inc. || (908) 561-3416
>735 Belvidere Ave. || (908) 668-5252 (if no answer)
>Plainfield, NJ 07062-2054 || (908) 668-5904 (fax)
>
>internet: cassidy@micra.com
>=============================================