Re: SUO: Re: CNN article about Cyc
On 4/11/02 20:37, "Gio Wiederhold" <gio@DB.Stanford.EDU> wrote:
> My major concern with Cyc is implied by your concern:
> How do you maintain a net of a zillion axioms if .01 % change every year?
> Furthermore, Cyc's matching is based on the assumption that terms mean
> the the same thing, unless explicitly distinguished.
Isn't it the other way around - I believe Cyc makes the unique names
assumption that, given constants with names 'A' and 'B', then A is not equal
to B unless there's a proof of their equality.