Re: [ontolog-forum] Can Syntax be Semantic?

[Pat Hayes <phayes@xxxxxxx>]

On Jan 24, 2010, at 11:39 AM, ravi sharma wrote:

Chris

How do we properly use uncertainty inherent in nature other than through statisitical mathematics and now also through uncertainty ontologies (ref: GMU Symposium on subject in 2008)?

Ravi: your question, above, has absolutely no connection with the topic of Chris' comment, below. If you think it does, then there is a serious communication gap being revealed here. Uncertainty and undecideability are unrelated topics. The first has to do with errors, statistics, probabilities and distributions. The second has to do with the theoretical limits of computability and formalization arising from the fact that certain sets of truths are not computable by any describable process. This has nothing to do with uncertainty. Arithmetic is undecideable, but it is not in the least uncertain. Pseudorandom number generators are decideable and computable, but can be used to analyze uncertainty. 

Pat H

Regards.

Ravi

On Sat, Jan 23, 2010 at 5:14 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:

On Jan 23, 2010, at 4:11 AM, FERENC KOVACS wrote:

Rob, Chris,

 

It is nice to read that AI representatives have their own paradigm of the limits of computability and undecideability, surely a highly technical formulation of a very simple problem common to everyday experience.

"AI representatives" no more have their own paradigm of the limits of computability than they have their own paradigm of what it is for a number to be prime.  Computability and (un)decidability are objectively defined concepts in mathematical logic and computer science and to demonstrate that a function is computable or that a problem is decidable or undecidable is (once again) no different in kind that proving that a given number is prime.  "Simple problem[s] of everyday experience" will typically not have any bearing on questions of computability and (un)decidability.  Of course, there might be analogies of these notions in everyday experience — but they are typically not going to be the same concepts.

Chris Menzel

_________________________________________________________________
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
 

--
Thanks.
Ravi
(Dr. Ravi Sharma)
313 204 1740 Mobile

_________________________________________________________________
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

------------------------------------------------------------

IHMC                                     (850)434 8903 or (650)494 3973   

40 South Alcaniz St.           (850)202 4416   office

Pensacola                            (850)202 4440   fax

FL 32502                              (850)291 0667   mobile

phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

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