Re: SUO: IFF example?
On Fri, May 02, 2003 at 02:00:27PM -0700, Adam Pease wrote:
> >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,
Not to mention the fact that the semantics of OpenCyc, if they are in fact
the same as Cyc (no easy task to determine this since Cyc has no pubished
semantics) are not those of FOL. If memory serves, deriving a and ~a in
Cyc only means that a has no definite TV.
Attempts to demonstrate the consistency of SUMO, if it is supposed to have
FO semantics, falls of course to Chris' objections.
.bill
--------------------------------------------------------------------
mail2web - Check your email from the web at
http://mail2web.com/ .