Pasted to wiki at http://wiki.opencog.org/w/Soggy_Predicates
On Wed, Dec 14, 2016 at 10:40 AM, Ben Goertzel <[email protected]> wrote: > Nil, Amen, does the below seem to you to summarize our conversation on > Soggy predicates last week? or did I forget something? > > ben > > > *** > > A Simple Observation Grounded predicate, or Soggy predicate, is an > uncertain predicate F so that: For each x, the number F(x) lies in > [0,1] can be interpreted as the average degree to which an arbitrary > element of some set O of observations has property x. (Here we > assume that the degree to which a specific observation has a property > x is itself a number in [0,1]) > > (Note that the set of observations O need not be the observations > actually made by the AI system whose memory contains the predicate — > it may be observations made by some other hypothesized entities, etc.) > > In this case we have a clear interpretation for > > EvaluationLink <s> > PredicateNode F > Atom x > > So we can say > > PredicateNode F <t> > > means the average degree to which an arbitrary element y of the AI > system’s “default set of observations” satisfies F (i.e. the average > over this default observation-set of F(y))… > > Or, for an observation-set C, we can say > > ContextLink <t1> > ConceptNode C > PredicateNode F > > where t1 is the average over F(y), where y is counted in the average > with a weight proportional to the degree to which y is in C. > > So then > > PredicateNode F <t> > > means, conceptually, > > ContextLink <t> > >default context< > PredicateNode F > > Next, we can then define > > EvaluationLink <s> > PredicateNode F > Atom x > > as being equivalent to > > MemberLink <s> > Atom x > SatisfyingSet > PredicateNode F > > Basically, this is just defining the membership function of the fuzzy set > > SatisfyingSet > PredicateNode F > > in a particular way. > > We can then convert this ("M2I rule") to > > ExtensionalInheritanceLink <s> > Atom x > SatisfyingSet > PredicateNode F > > because of the way F was originally defined. > > This becomes slightly subtle to interpret in the case that the > argument of F is a list. > > For example, > > EvaluationLink <s> > PredicateNode “eat” > ListLink > ConceptNode “cat” > ConceptNode “mouse” > > converts to > > ExtensionalInheritanceLink <s> > ListLink > ConceptNode “cat” > ConceptNode “mouse” > SatisfyingSet > ConceptNode “eat” > > which means that s is the average degree to which an observation (in > the default overall observation-set) involving “eat”, also involves > the pair (eater = cat, eatee=mouse). > > > -- > Ben Goertzel, PhD > http://goertzel.org > > “I tell my students, when you go to these meetings, see what direction > everyone is headed, so you can go in the opposite direction. Don’t > polish the brass on the bandwagon.” – V. S. Ramachandran -- Ben Goertzel, PhD http://goertzel.org “I tell my students, when you go to these meetings, see what direction everyone is headed, so you can go in the opposite direction. Don’t polish the brass on the bandwagon.” – V. S. Ramachandran -- 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/CACYTDBdfKAiounoTb%2BymyLKXnr8nPVxsAEtrBfmWxt_poVZMvg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
