RE: NPR, Godel, Semantic Web

[Bill dehOra <BdehOra@interx.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

:"The Semantic Web could hit the wall of Goedel if it
:attempts to get meta-conclusions. Without
:meta-conclusions to work on, are we looking at a
:data search framework on the Web? In that case,
:inefficiency of formal deduction is an issue."

Hmm. Deduction assumes you got everything formally described; after
that it's just theorem proving. Ai researchers figured out that way
doesn't work a long time ago; the good stuff isn't induced . Drew
McDermott, who appears of rdf-logic from time, wrote an excellent
essay once explaining this called a "A Critique of Pure Reason".
Concern about the limits of formal deduction in an open system like
the web strikes me as a non-issue.


:We can only create stereotypical 
:human models, not model humans.  Why?  We can't 
:model a human's free will.  Much about human behavior, say 
:emotions, remains a black box.  Yes, we can 
:create a axioms for emotional relationships, and even 
:simulate dynamism through event routing, but really 
:we are just simulating, or building golems.  

Is there a list or site for HumanML?

regards,
Bill 

- ----
Bill de hÓra  :  InterX  :  bdehora@interx.com

-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 7.0.3 for non-commercial use <http://www.pgp.com>

iQA/AwUBOvkP4+aWiFwg2CH4EQIpYwCdFy8utP9Py/cD2F8eVdDpMvsBsCsAoMV0
h1Xp7fem/++DjDsyPOv1CX2A
=s2jx
-----END PGP SIGNATURE-----