Hi All,
Reading through the book on 'Probabilistic Logic Networks' which is posted
on http://goertzel.org/PLN_BOOK_6_27_08.pdf.
I think I'm making okay progress on the concepts on this book so far so
good. There's just this one little area which has me completely stumped:
Chapter 3, Page 45:
'''
The Stripedog-recognizing predicate, call it FStripedog, has a
SatisfyingSet that we may denote simply as stripedog, defined by
ExtensionalEquivalence
Member $X stripedog
AND
Evaluation FStripedog $X
Evaluation isIdentifier ($X, FStripedog)
'''
What is this block of PLN construct (or expression) trying to say, or what
does it represent? Obviously, this is not a definition of FStripedog, nor
is it a definition of the satisfying-set for it (which is defined by
*stripedog*). It may simply be that I don't understand exactly what the
High-Order Relationship: 'ExtensionalEquivalence' means. I went back in the
earlier pages and could not really locate how this HOR formally defined. I
feel like this expression somehow is trying to formalize what constitutes
as a satisfying-set for predicate: FStripedog, but I couldn't be sure.
Thanks for any help.
P.S: An added bonus would be to let me know how the concepts in the PLN
book relate to open-cog. I think most of this material maybe within the
scope of the MOSES system, but somehow I feel this material is critical to
opencog because (I think I read somewhere that) this is what gives opencog
its innate ability to reason, deduct, and infer. How does the innate
opencog reasoning/inference abilities depart from the more complex array of
PLN logics available in MOSES ? Maybe I'm not even thinking right.. sorry
about the verbosity.
--
You received this message because you are subscribed to the Google Groups
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/0295afd3-af30-41d1-acae-22a85e08df9d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
