I think it would be better to design a system with probabilistic reasoning as a fundamental component from the outset, rather than trying to bolt this on as an after thought. I know from doing a lot of stuff with machine vision that modelling sensor uncertainties is critical for being able to understand the spatial structure of the environment, and I expect similar principles will apply when reasoning within more abstract domains.
On 23/01/07, Stephen Reed <[EMAIL PROTECTED]> wrote:
Right, Cyc's deductive inference engine does not support probabilistic reasoning. But there is no obstacle to extending Cyc's probabilistic vocabulary for the particular representation you want and then using an inference engine of your own design. For my AGI project I use the OpenCyc vocabulary and content, but with my own object store (a relational database) and simple inference (look-up and subsumption within contexts). The java dialog application that I am building does not require any more sophisticated deduction, so I postponing any complex inference until I can teach those algorithms to the system using English. -Steve http://sf.net/projects/texai ----- Original Message ---- From: Bob Mottram <[EMAIL PROTECTED]> To: agi@v2.listbox.com Sent: Tuesday, January 23, 2007 1:13:14 PM Subject: Re: [agi] Project proposal: MindPixel 2 I'm no expert on automated reasoning, but wasn't the original Mindpixel based fundamentally upon probabilistic representations (coherence values) whereas Cyc, from what I understand, doesn't represent facts or rules probabilistically. - Bob On 23/01/07, Stephen Reed <[EMAIL PROTECTED]> wrote: > > Given my experience while employed at Cycorp, I would say that there are > two ways to work with them. The first way is to collaborate with Cycorp on > a sponsored project. Collaborators are mainly universities (e.g. CMU & > Stanford) and established research companies ( e.g. SRI & SAIC) who have > a track record of receiving government grants, and whose technologies are > complementary to Cyc. I would not suggest this approach for MindPixel 2 > yet. > > The second approach involves no exchange of money. Cycorp wants to > promote its ontology - its commonsense vocabulary, and has released its > definitions with a very permisive license as OpenCyc. One can also obtain > nearly the entire Cyc knowledge base with a Research Cyc license for > research purposes without fee, but with the RCyc license you are not allowed > to extract facts and rules for MindPixel 2. > > You could contact the Cyc Foundation, which is an independent > organization run by a friend of mine and former Cycorp employee. They are > seeking to add knowledge to Cyc by using volunteers and I believe that they > would be very receptive to MindPixel 2 provided it uses a form of the > OpenCyc vocabulary for knowledge representation. > > I suggest obtaining an RCyc license to see how the Cyc inference engine > handles large rule and fact sets, and to see if the Cyc vocabulary fits your > idea of a commonsense representation language. > > > ----- Original Message ---- > From: Benjamin Goertzel <[EMAIL PROTECTED]> > To: agi@v2.listbox.com > Sent: Friday, January 19, 2007 5:35:51 PM > Subject: Re: [agi] Project proposal: MindPixel 2 > > Hi, > > > Do you think Cyc has a rule/fact like "wet things can usually conduct > > electricity" (or "if X is wet then X may conduct electricity")? > > Yes, it does... > > > I'll also contact some Cyc folks to see if they're interested in > > collaborating... > > IMO, to have any chance of interesting them, you will need to be able > to explain to them VERY CLEARLY why your current proposed approach is > superior to theirs -- given that it seems so philosophically similar > to theirs, and given that they have already encoded millions of > knowledge items and built an inference engine and language-processing > front end! > > -- Ben G > > ----- > This list is sponsored by AGIRI: http://www.agiri.org/email > To unsubscribe or change your options, please go to: > http://v2.listbox.com/member/?list_id=303 > > > > > > > ____________________________________________________________________________________ > > Get your own web address. > Have a HUGE year through Yahoo! Small Business. > http://smallbusiness.yahoo.com/domains/?p=BESTDEAL > > ----- > This list is sponsored by AGIRI: http://www.agiri.org/email > To unsubscribe or change your options, please go to: > http://v2.listbox.com/member/?list_id=303 > This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303 ------------------------------ Expecting? Get great news right away with email Auto-Check.<http://us.rd.yahoo.com/evt=49982/*http://advision.webevents.yahoo.com/mailbeta/newmail_tools.html> Try the Yahoo! Mail Beta.<http://us.rd.yahoo.com/evt=49982/*http://advision.webevents.yahoo.com/mailbeta/newmail_tools.html> ------------------------------ This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303
----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303