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? The sentential approach is more classical and helps me think more clearly about optimization issues (ie inference control), which is a big unsolved problem. Maybe I can opensource the my current code (after typing up some loose ends) on LaunchPad and use the same license as OCP? YKY ------------------------------------------- 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
