Re: [agi] universal logical form for natural language

2008-09-28 Thread YKY (Yan King Yin)
On Sun, Sep 28, 2008 at 1:22 PM, Eric Burton [EMAIL PROTECTED] wrote: The purpose of YKY's invocation of Helen Keller is interestingly at odds with the usage that appears in the Jargon File. In choosing Helen-Keller mode, I'm not deliberately trying to make things harder for the baby AGI, it's

Re: [agi] universal logical form for natural language

2008-09-28 Thread Trent Waddington
On Sun, Sep 28, 2008 at 3:22 PM, Eric Burton [EMAIL PROTECTED] wrote: http://www.jargon.net/jargonfile/h/HelenKellermode.html Thought that was funny, goodbye :) Is there an entry for Anne Frank? Trent --- agi Archives:

Re: [agi] universal logical form for natural language

2008-09-28 Thread Mike Tintner
[Comment: Aren't logic and common sense *opposed*?] Discursive [logical, propositional] Knowledge vs Practical [tacit] Knowledge http://www.polis.leeds.ac.uk/assets/files/research/working-papers/wp24mcanulla.pdf a) Knowledge: practical and discursive Most, if not all understandings of

Re: [agi] universal logical form for natural language

2008-09-28 Thread Eric Burton
Having a vision-assisted training process would be extremely compelling. Then the user can provide information relevant to comprehending a scene as well as adding word/object associations. Robust sight and sound processing are still kind of a frontier for software, I think. A little good work in

Re: [agi] universal logical form for natural language

2008-09-28 Thread Abram Demski
YKY, How much will you focus on natural language? It sounds like you want that to be fairly minimal at first. My opinion is that chatbot-type programs are not such a bad place to start-- if only because it is good publicity. I am imagining two ways of entering knowledge: (1) people talk to the

Re: [agi] NARS probability

2008-09-28 Thread Pei Wang
I got it from an internal source. Pei On Sun, Sep 28, 2008 at 8:24 PM, Brad Paulsen [EMAIL PROTECTED] wrote: Pei, Would you mind sharing the link (that is, if you found it on the Internet)? Thanks, Brad Pei Wang wrote: I found the paper. As I guessed, their update operator is defined

Re: [agi] universal logical form for natural language

2008-09-28 Thread Matt Mahoney
--- On Sun, 9/28/08, Ben Goertzel [EMAIL PROTECTED] wrote: FYI, Cyc has a natural language front end and a lot of folks have been working on it for the last 5+ years... It still needs work. I found this undated (2004 or later) white paper which is apparently not linked from cyc.com.

Re: [agi] universal logical form for natural language

2008-09-28 Thread Ben Goertzel
Yes, the big weakness of the whole Cyc framework is learning. Their logic engine seems to be pretty poor at incremental, experiential learning ... in linguistics as in every other domain. I don't think they have a workable approach to NL understanding or generation ... I was just pointing out

Re: [agi] universal logical form for natural language

2008-09-28 Thread Matt Mahoney
--- On Sun, 9/28/08, Ben Goertzel [EMAIL PROTECTED] wrote: Yes, the big weakness of the whole Cyc framework is learning.  Their logic engine seems to be pretty poor at incremental, experiential learning ... in linguistics as in every other domain. I don't think they have a workable approach to

Re: [agi] universal logical form for natural language

2008-09-28 Thread Ben Goertzel
On Sun, Sep 28, 2008 at 10:00 PM, Matt Mahoney [EMAIL PROTECTED] wrote: --- On Sun, 9/28/08, Ben Goertzel [EMAIL PROTECTED] wrote: Yes, the big weakness of the whole Cyc framework is learning. Their logic engine seems to be pretty poor at incremental, experiential learning ... in

[agi] Dangerous Knowledge

2008-09-28 Thread Brad Paulsen
Recently, someone on this list (I apologize for not making a note of this person's name) raised the question whether we might find a shortcut to AGI. The author went on to opine that, because the problems associated with achieving AGI had been considered by some of the world's most brilliant

[agi] Dangerous Knowledge - Update

2008-09-28 Thread Brad Paulsen
Sorry, but in my drug-addled state I gave the wrong URI for the Dangerous Knowledge videos on YouTube. The one I gave was just to the first part of the Cantor segment. All of the segments can be reached from the link below. You can recreate this link by searching, in YouTube, on the key

Re: [agi] universal logical form for natural language

2008-09-28 Thread Stephen Reed
Matt said: The overview claims to be able to convert natural language sentences into Cycl assertions, and to convert questions to Cycl queries. So I wonder why the knowledge base is still not being built this way. And I wonder why there is no public demo of the interface, and no papers giving