YKY asked:
> I'm interested in how the the rules are "fetched" from memory, and how the > variables get instantiated, etc... > > How would you represent the given facts: > "John is male" > "John is unmarried" > and then perform the inference to get > "John is a bachelor"? > > Sorry if this sounds too simple, but I can't get enough documentation as to > how PLN works. > It doesn't seem worthwhile for me to go through so many PLN implementation details in an email thread... PLN will be ported to OpenCog fairly soon, and then some detailed docs will be posted along with it, which will hopefully answer this sort of question... Management of variable bindings in the PLN code is pretty complicated, that's definitely the hairiest part of the PLN implementation ... ben ------------------------------------------- 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=111637683-c8fa51 Powered by Listbox: http://www.listbox.com
