On Sun, Oct 12, 2008 at 1:32 AM, YKY (Yan King Yin) < [EMAIL PROTECTED]> wrote:
> On Sun, Oct 12, 2008 at 12:56 PM, Ben Goertzel <[EMAIL PROTECTED]> wrote: > > > OpenCog has VariableNodes in the AtomTable, which are used to represent > > variables in the sense of FOL ... > > I'm still unclear as to how OC performs inference with variables, > unification, etc. Maybe you can explain that during a tutorial > session? Are your questions about the math level, or the code level? Only Ari Heljakka understands exactly how the current PLN code does that stuff ... but Joel is figuring it out, and will I'm sure be happy to explain it once he does ;-) OTOH, I can explain it on the mathematical and conceptual level... > > The sentential approach is more classical and helps me think more > clearly about optimization issues (ie inference control), which is a > big unsolved problem. I think the biggest issues w/ inference control are more than the "cognitive science" or algorithmics level than the implementation level, hence independent of the choice of a sentential vs. hypergraph knowledge representation... The next couple Wed. night OpenCog tutorial/discussion sessions will focus on inference, and one will focus on inference control specifically... ben g ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=117534816-b15a34 Powered by Listbox: http://www.listbox.com
