Steve, To me, the following two questions are independent of each other:
*. What type of reasoning is needed for AI? The major answers are: (A): deduction only, (B) multiple types, including deduction, induction, abduction, analogy, etc. *. What type of knowledge should be reasoned upon? The major answers are: (1) declarative only, (2) declarative and procedural. All four combination of the two answers are possible. Cyc is mainly A1; you seem to suggest A2; in NARS it is B2. McDermott's paper has many good points, but his notion of "logic" and "semantics" are too limited --- to what the "Logicist AI" has been trying. As for Semantic Web and Ontology, I have no doubt that there are useful for some special applications. However, from an AGI point of view, their assumption about human knowledge is way to oversimplified. I don't think the so-called "common knowledge" can be forced into the rigid framework of "ontology", not to mention personal knowledge, which is even more fluid. Even so, we can use SW as a possible knowledge source, and use inference engine to reveal hidden conclusions in it, so SW is still relevant to AGI. Pei On Thu, Feb 14, 2008 at 10:38 AM, Stephen Reed <[EMAIL PROTECTED]> wrote: > > 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: agi@v2.listbox.com > 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 > > > > > ________________________________ > Be a better friend, newshound, and know-it-all with Yahoo! Mobile. Try it > now. > ________________________________ > > agi | Archives | Modify Your Subscription ------------------------------------------- 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