On 8/12/08, Ben Goertzel <[EMAIL PROTECTED]> wrote:
> construct 1 =
>
> ImplicationLink
> ___ANDLink
> ______ PredicateNode isMale
> ______ PredicateNode isUnmarried
> ___PredicateNode isBachelor
>
> It's just a relationship between functions (predicates being mathematical
functions from entities to truth values)
>
> Or, with different semantics, we could say
>
> construct 2 =
>
> ForAllLink
> ___ VariableNode X_1
> ___ ImplicationLink
> ______ANDLink
> _________ EvaluationLink (PredicateNode isMale) X_1
> _________ EvaluationLink (PredicateNode isUnmarried) X_1
> ______EvaluationLink (PredicateNode isBachelor) X_1
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.
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=111637683-c8fa51
Powered by Listbox: http://www.listbox.com
