ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Relevance of Aristotelian Logic

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Sat, 14 Feb 2009 12:30:11 -0800
Message-id: <200902141230.11547.rschulz@xxxxxxxxx>
On Saturday February 14 2009, John F. Sowa wrote:
> Alex,
>
> People have been trying to do that for a long time:
>  > it seems that "single universal ontology" for usual life should
>  > be more or less simple.  do we have one in formal form somewhere?
>
> The biggest formal ontology for "commonsense" reasoning is Cyc:
>
>     http://cyc.com/
>
> They have been working on the project since 1984, and so far,
> they have devoted more than 750 person-years of work to it.
> If you have a few centuries of spare time, you could help them.    (01)

Maybe Kurzweil could spare a few centuries, he's not planning on dying.    (02)


> John    (03)


RRS    (04)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>