ontolog-forum
[Top] [All Lists]

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

 To: "[ontolog-forum] " , ravi sharma Pat Hayes Mon, 25 Jan 2010 14:59:36 -0600 <098301BB-2CC5-4911-8D3E-6551E812DEE6@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 HRegards. Ravi On Sat, Jan 23, 2010 at 5:14 PM, Christopher Menzel 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@xxxxxxxxxxxxxxxxShared Files: http://ontolog.cim3.net/file/Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1JTo Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx ------------------------------------------------------------IHMC                                     (850)434 8903 or (650)494 3973   40 South Alcaniz St.           (850)202 4416   officePensacola                            (850)202 4440   faxFL 32502                              (850)291 0667   mobilephayesAT-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)

```
 Current Thread Re: [ontolog-forum] Can Syntax be Semantic?, (continued) Re: [ontolog-forum] Can Syntax be Semantic?, Rob Freeman Re: [ontolog-forum] Can Syntax be Semantic?, ravi sharma Re: [ontolog-forum] Can Syntax be Semantic?, Rob Freeman Re: [ontolog-forum] Can Syntax be Semantic?, Christopher Menzel Re: [ontolog-forum] Can Syntax be Semantic?, Rob Freeman Re: [ontolog-forum] Can Syntax be Semantic?, Christopher Menzel Re: [ontolog-forum] Can Syntax be Semantic?, Rob Freeman Re: [ontolog-forum] Can Syntax be Semantic?, Christopher Menzel Re: [ontolog-forum] Can Syntax be Semantic?, Pat Hayes Re: [ontolog-forum] Can Syntax be Semantic?, Rob Freeman Re: [ontolog-forum] Can Syntax be Semantic?, Pat Hayes <=