ontolog-forum
[Top] [All Lists]

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

Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Rick Murphy <rick@xxxxxxxxxxxxxx>
Date: Wed, 01 Oct 2008 21:53:17 -0400
Message-id: <48E4298D.5040604@xxxxxxxxxxxxxx>
Rob Freeman wrote:
> Rick,
> 
> I enjoyed the "Truth and Meaning" paper by Soames you referenced. I
> was interested to see how philosophers are trying to deal with the
> failure of analycity typified by Quine etc.    (01)

I'm just getting a chance to read Two Dogmas and look forward to 
discussing some time in the future.    (02)

> Are you familiar with the approach taken by Jeurgen Schmidhuber and
> Marcus Hutter? Schmidhuber resolves incompleteness issues by equating
> "intelligence" with prediction. Marcus Hutter equates it with
> compression.
> 
> http://www.idsia.ch/~juergen/newai/newai.html
> 
> http://prize.hutter1.net/
> 
> 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.    (03)

These look interesting. I'll check them out !    (04)

> -Rob
> 
>    (05)

_________________________________________________________________
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    (06)

<Prev in Thread] Current Thread [Next in Thread>
  • Re: [ontolog-forum] mKR (was Thing and Class), Rick Murphy <=