[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: NPR, Godel, Semantic Web
- From: Bill dehOra <BdehOra@interx.com>
- To: firstname.lastname@example.org
- Date: Wed, 09 May 2001 10:37:38 +0100
-----BEGIN PGP SIGNED MESSAGE-----
:"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?
Bill de hÓra : InterX : email@example.com
-----BEGIN PGP SIGNATURE-----
Version: PGPfreeware 7.0.3 for non-commercial use <http://www.pgp.com>
-----END PGP SIGNATURE-----