ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] mKR (was Thing and Class)

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 15 Sep 2008 12:19:43 -0500
Message-id: <A193C77E-F630-4042-9576-78B0F5D5A829@xxxxxxx>
>
> On Sep 15, 2008, at 11:48 AM, Pat Hayes wrote:
>
>>
>> On Sep 15, 2008, at 5:27 AM, Rob Freeman wrote:
> ....
>
>>>
>>> Or course Schmidhuber and Hutter talk principally about  
>>> "intelligence"
>>> not "meaning", but what is interesting is that by basing
>>> "intelligence" in prediction/compression, they manage to avoid the
>>> pitfalls of formal logic.
>>
>> Could you briefly outline what these 'pitfalls' are? So far, formal
>> logic seems to me to be doing rather well. All the extent work in
>> applied ontology (and I really do mean ALL) is based on techniques  
>> and
>> analytical tools developed by formal logicians.    (01)

extent/extant    (02)

Pat    (03)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (04)

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