[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 24 Jan 2010 19:35:46 -0600
Message-id: <1264383346.27918.108.camel@new-philebus>
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)

<Prev in Thread] Current Thread [Next in Thread>