But if one doesn't need to get into implementation details, in the simplest case one just has
VariableScopeLink X ImplicationLink ___ANDLink ______ InheritanceLink X male ______ InheritanceLink X Unmarried ___InheritanceLink X bachelor where X is a Variable Node ... Then the Unification Rule combines this with the links InheritanceLink John male InheritanceLink John unmarried and the conclusion comes out from one step of the unification rule.... InheritanceLink John bachelor But I'm not sure that's what you're asking ... and note that the intension'extension distinction is getting swept behind the scenes here, into the definition of InheritanceLink... ben On Wed, Aug 13, 2008 at 8:13 AM, Ben Goertzel <[EMAIL PROTECTED]> wrote: > > > 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 > > > -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "Nothing will ever be attempted if all possible objections must be first overcome " - Dr Samuel Johnson ------------------------------------------- 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
