Re: SUO: RE: Problems in SUMO
On Mon, Jun 30, 2003 at 04:26:57PM -0500, John Sowa wrote:
> The only constraint that these examples (e.g., round square) impose is
> that contradictions degenerate into absurdity. Since KIF lets you say
> (and P (not P)), it lets you say something contradictory, but the
> tools should tell you that it is.
Except consistency in propositional logic is intractable; it isn't even
so much as decidable in predicate logic. You are asking for the
impossible, John.
Chris Menzel