Cart
[Home] [By Thread] [By Date] [Recent Entries]
-----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@i... -----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-----
|
