[agi] universal logical form for natural language

2008-09-27 Thread YKY (Yan King Yin)
Hi group, I'm starting an AGI project called G_0 which is focused on commonsense reasoning (my long-term goal is to become "the world's leading expert in common sense"). I plan to use it to collect commonsense knowledge and to learn commonsense reasoning rules. One thing I need is a universal lo

Re: [agi] universal logical form for natural language

2008-09-27 Thread Russell Wallace
Given that Cyc has accomplished far more in the logical encoding of common sense than any other project, starting with OpenCyc and building from there would seem to suggest itself as the obvious course of action. Am I missing something? On Sat, Sep 27, 2008 at 8:02 PM, YKY (Yan King Yin) <[EMAIL P

Re: [agi] universal logical form for natural language

2008-09-27 Thread Matt Mahoney
Esperanto? -- Matt Mahoney, [EMAIL PROTECTED] --- On Sat, 9/27/08, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > From: YKY (Yan King Yin) <[EMAIL PROTECTED]> > Subject: [agi] universal logical form for natural language > To: agi@v2.listbox.com > Date: Saturday, September 27, 2008, 3:02 PM > H

Re: [agi] universal logical form for natural language

2008-09-27 Thread David Hart
Hi YKY, Can you explain what is meant by "collect commonsense knowledge"? Playing the friendly devil's advocate, I'd like to point out that Cyc seems to have been spinning its wheels for 20 years, building a nice big database of 'commonsense knowledge' but accomplishing no great leaps in AI. Cyc'

Re: [agi] universal logical form for natural language

2008-09-27 Thread YKY (Yan King Yin)
On Sun, Sep 28, 2008 at 5:21 AM, David Hart <[EMAIL PROTECTED]> wrote: > Hi YKY, > > Can you explain what is meant by "collect commonsense knowledge"? That means collecting facts and rules. Example of a commonsense fact: "apples are red" Example of a commonsense rule: "if X is female X has an

Re: [agi] universal logical form for natural language

2008-09-27 Thread Eric Burton
The purpose of YKY's invocation of Helen Keller is interestingly at odds with the usage that appears in the Jargon File. "Helen Keller mode /n./ 1. State of a hardware or software system that is deaf, dumb, and blind, i.e., accepting no input and generating no output, usually due to an infinite lo

Re: [agi] universal logical form for natural language

2008-09-27 Thread Ben Goertzel
> > IMO Cyc's problem is due to: > 1. the lack of a well-developed probabilistic/fuzzy logic (thus > brittleness) Cyc has local Bayes nets within their knowledge base... > > 2. the emphasis on ontology (plain facts) rather than "production rules" > While I agree that formulating knowledge

Re: [agi] universal logical form for natural language

2008-09-27 Thread Ben Goertzel
YKY, > > Example of a commonsense fact: "apples are red" > > Example of a commonsense rule: "if X is female X has an above-average > chance of having long hair" > > Cyc already has loads of these rules. If you have a problem with Cyc's format, I **strongly** suggest that you first play around