Mike, Cyc uses, and my own Texai project will also eventually employ, deductive reasoning (i.e. modus ponens) as its main inference mechanism. In Cyc, most of the fallacies that Shirkey points out are avoided by two means - nonmonotonic (e.g. default) reasoning, and context.
Although I strongly favor interoperability with the Semantic Web via RDF (Resource Description Framework), my main issue with the SW is its allowance of a multitude of ontologies. This problem is being addressed by the Linked Data movement, which is linking a wide variety of structured information sources using ontology mapping. Here is a link to a University of Texas presentation about McDermott's Critique of Pure Reason essay. I agree with Drew McDermott that an AI will require a lot of procedural knowledge, not just a deductive inference engine. In contrast to the Cyc project, my approach to commonsense knowledge acquistion will stress the acquisition of skills - at first linguistic skills. Initially, these skills will be persisted as deductive rule sets, but eventually most will be persisted as scripts that can be subsequently composed into executable programs. -Steve Stephen L. Reed Artificial Intelligence Researcher http://texai.org/blog http://texai.org 3008 Oak Crest Ave. Austin, Texas, USA 78704 512.791.7860 ----- Original Message ---- From: Mike Tintner <[EMAIL PROTECTED]> To: [email protected] Sent: Thursday, February 14, 2008 8:32:16 AM Subject: [agi] Applicable to Cyc, NARS, ATM & others? The Semantic Web, Syllogism, and Worldview First published November 7, 2003 on the "Networks, Economics, and Culture" mailing list. Clay Shirky ____________________________________________________________________________________ Never miss a thing. Make Yahoo your home page. http://www.yahoo.com/r/hs ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com
