RE: SUO: Re: CNN article about Cyc
Dear Bill,
I think Gio means that if A is used twice in different
contexts, the default assumption is that they
mean the same thing. Gio is suggesting that this matching
should be explicit.
Matthew West
Principal Consultant
Shell Information Technology International Limited
Shell Centre, London SE1 7NA, United Kingdom
Tel: +44 20 7934 4490 Other Tel: +44 7796 336538
Email: matthew.r.west@is.shell.com
Internet: http://www.shell.com
> -----Original Message-----
> From: Bill Andersen [mailto:andersen@ontologyworks.com]
> Sent: 12 April 2002 09:20
> To: SUO
> Subject: Re: SUO: Re: CNN article about Cyc
>
>
>
> On 4/11/02 20:37, "Gio Wiederhold" <gio@DB.Stanford.EDU> wrote:
>
> >
> > John,
> > 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.
>
> Hi, Gio..
>
> 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.
>
> .bill
>