Hi Ben.
Thanks for suggesting that YKY collaborate with Texai because of our similar
approaches to knowledge representation. I believe that Cyc's lack of AGI
progress is not due to their choice of FOL but rather that Cycorp emphasizes
the hand-crafting of commonsense knowledge about things while disfavoring skill
acquisition.
Texai will test the hypothesis that Cyc-style FOL (i.e. a RDF compatible
subset) can represent procedures sufficient to support a mechanism that learns
knowledge and skills, by being taught by mentors using natural language. My
initial bootstrap subject domain choices are:
* lexicon acquisition (e.g. mapping WordNet synsets to OpenCyc-style
terms)
* grammar rule acquisition
* Java program synthesis - to support skill acquisition and executionI
believe that the crisp (i.e. certain or very near certain) KR for these domains
will facilitate the use of FOL inference (e.g. subsumption) when I need it to
supplement the current Texai spreading activation techniques for word sense
disambiguation and relevance reasoning.
I expect that OpenCog will focus on domains that require probabilistic
reasoning, e.g. pattern recognition, which I am postponing until Texai is far
enough along that expert mentors can teach it the skills for probabilistic
reasoning.
-------------------
As we have discussed a while back on the OpenCog mail list, I would like to see
a RDF interface to some level of the OpenCog Atom Table. I think that would
suit both YKY and myself. Our discussion went so far as to consider ways to
assign URI's to appropriate atoms.
Cheers,
-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: Ben Goertzel <[EMAIL PROTECTED]>
To: agi@v2.listbox.com
Sent: Tuesday, June 3, 2008 1:59:54 AM
Subject: Re: [agi] OpenCog's logic compared to FOL?
Also, YKY, I can't help but note that your currently approach seems
extremely similar to Texai (which seems quite similar to Cyc to me),
more so than to OpenCog Prime (my proposal for a Novamente-like system
built on OpenCog, not yet fully documented but I'm actively working on
the docs now).
I wonder why you don't join Stephen Reed on the texai project? Is it
because you don't like the open-source nature of his project?
ben
On Tue, Jun 3, 2008 at 3:58 PM, Ben Goertzel <[EMAIL PROTECTED]> wrote:
> One thing I don't get, YKY, is why you think you are going to take
> textbook methods that have already been shown to fail, and somehow
> make them work. Can't you see that many others have tried to use
> FOL and ILP already, and they've run into intractable combinatorial
> explosion problems?
>
> Some may argue that my approach isn't radical **enough** (and in spite
> of my innate inclination toward radicalism, I'm trying hard in my AGI work
> to be no more radical than is really needed, out of a desire to save time/
> effort by reusing others' insights wherever possible) ... but at least I'm
> introducing a host of clearly novel technical ideas.
>
> What you seem to be suggesting is just to implement material from
> textbooks on a large knowledge base.
>
> Why do you think you're gonna make it work? Because you're gonna
> build a bigger KB than Cyc has built w/ their 20 years of effort and
> tens to hundreds of million of dollars of US gov't funding???
>
> -- Ben G
>
> On Tue, Jun 3, 2008 at 3:46 PM, YKY (Yan King Yin)
> <[EMAIL PROTECTED]> wrote:
>> Hi Ben,
>>
>> Note that I did not pick FOL as my starting point because I wanted to
>> go against you, or be a troublemaker. I chose it because that's what
>> the textbooks I read were using. There is nothing personal here.
>> It's just like Chinese being my first language because I was born in
>> China. I don't speak bad English just to sound different.
>>
>> I think the differences in our approaches are equally superficial. I
>> don't think there is a compelling reason why your formalism is
>> superior (or inferior, for that matter).
>>
>> You have domain-specific heuristics; I'm planning to have
>> domain-specific heuristics too.
>>
>> The question really boils down to whether we should collaborate or
>> not. And if we want meaningful collaboration, everyone must exert a
>> little effort to make it happen. It cannot be one-way.
>>
>> YKY
>>
>>
>> -------------------------------------------
>> 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/?&;
>> Powered by Listbox: http://www.listbox.com
>>
>
>
>
> --
> Ben Goertzel, PhD
> CEO, Novamente LLC and Biomind LLC
> Director of Research, SIAI
> [EMAIL PROTECTED]
>
> "If men cease to believe that they will one day become gods then they
> will surely become worms."
> -- Henry Miller
>
--
Ben Goertzel, PhD
CEO, Novamente LLC and Biomind LLC
Director of Research, SIAI
[EMAIL PROTECTED]
"If men cease to believe that they will one day become gods then they
will surely become worms."
-- Henry Miller
-------------------------------------------
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/?&;
Powered by Listbox: http://www.listbox.com
-------------------------------------------
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=103754539-40ed26
Powered by Listbox: http://www.listbox.com
