On Sun, 2010-01-24 at 12:39 -0500, 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)? (01)
I don't really have any idea. These questions fall entirely out of my
areas of expertise. I'm not sure why you are asking me. (02)
-chris (03)
> 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 (04)
_________________________________________________________________
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 (05)
|