[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: ravi sharma <drravisharma@xxxxxxxxx>
Date: Sat, 23 Jan 2010 06:13:12 -0500
Message-id: <f872f57b1001230313y536aa240yf1080ac4f2a629ff@xxxxxxxxxxxxxx>
Phani Chaitanya
You might also find this book to be helpful reading in addition to the excellent references provided by others.
" Semantic Web for the Working Ontologist - Effective Modeling in RDFS and OWL" Dean Allemang and Jim Handler. (Morgan KAufman / Elsevier Publishers) Others may know of similar books or papers.

On Fri, Jan 22, 2010 at 8:43 PM, Rob Freeman <lists@xxxxxxxxxxxxxxxxxxx> wrote:

On Sat, Jan 23, 2010 at 1:35 PM, Christopher Menzel <cmenzel@xxxxxxxx> wrote:
> So it appears that the content of your claim that "there are many computational
> processes which cannot be completely summarized" is nothing more than the
> fact that there are undecidable computational problems.  What I don't understand
> is why you are using your own idiosyncratic terminology for expressing this
> exceedingly well known and rather elementary fact about the limits of
> computation.  Surely the only effect of doing so is to obfuscate what
> is otherwise entirely clear.

It makes you think about it, yes. It is entirely normal that those who
are most familiar with this old result will have the most difficulty
seeing it in a new light.

>> Or you could look at Stephen Wolfram's idea of "computational irreducibility". It
>> appears to me to be saying the same thing:
> Yes, although he appears to be citing undecidability to illustrate a more general
> claim about the predictive limitations of theories.

I'm glad you are able to see this.

So what is important is this idea that there are "predictive
limitations of theories."

My comment to Ali was that the "predictive limitations of theories"
might explain why our "theories" of language (grammars) have failed to
usefully disambiguate natural language, and that we might be able to
do better by treating syntactic predictions purely as a process,
distinct from theories about that process.


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

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