Regarding CyCorp's Cyc Project -- Tech Talk

[ Show ]

Support VoyForums

[ Shrink ]

VoyForums Announcement: Programming and providing support for this service has been a labor of love since 1997. We are one of the few services online who values our users' privacy, and have never sold your information. We have even fought hard to defend your privacy in legal cases; however, we've done it with almost no financial support -- paying out of pocket to continue providing the service. Due to the issues imposed on us by advertisers, we also stopped hosting most ads on the forums many years ago. We hope you appreciate our efforts.

Show your support by donating any amount. (Note: We are still technically a for-profit company, so your contribution is not tax-deductible.) PayPal Acct: Feedback:

Donate to VoyForums (PayPal):

[ Login ] [ Contact Forum Admin ] [ Main index ] [ Post a new message ] [ Search | Check update time | Archives: 1 ]

[ Next Thread | Previous Thread | Next Message | Previous Message ]

Date Posted: 15:13:54 07/11/07 Wed
Author: Bill Andersen
Author Host/IP: NoHost / 85.195.123.26
Subject: Regarding CyCorp's Cyc Project

Hi all..

It's unclear what Cyc's model theory is at all. So if you pick some model
theory T, it's a fair bet that Cyc's model theory, whatever it is, is
inconsistent with T. At it's base, the Cyc engine is a resolution theorem
prover augmented with special purpose modules (many of which have fixpoint
semantics) and the argumentation system for NM reasoning, so you have some
minimal model stuff thrown in. I would defy anyone, even including Keith
Goolsbey who wrote the thing, to tell me what all of that *combined* means.
In my view, this is nothing to crow about.

Cyc is an amazing system - it does lots of incredible things. But what is
unclear is what it doesn't do or what it gets wrong, or how long it takes to
do some given inference, etc. All of which are undesirable properties,
IMHO, for the Semantic Web. When I go to Google, I have some reasonable
expectation that what its crawler has seen, I will find, assuming I use the
right terms. I would like something of the same assurance with the Semantic
Web and I wouldn't bank on a Cyc-like system giving that to me.

.bill

[ Next Thread | Previous Thread | Next Message | Previous Message ]

Replies:

Keith Goolsbey Did Not Create Cyc -- R. V. Guha, 15:16:45 07/11/07 Wed
- Hey Guha, Keith Goolsbey Constantly Defames You At CyCorp Technical Meetings -- Fly on the Wall, 15:23:49 07/11/07 Wed