>
> 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)
|