Hi Nil, I have a question about predicates and truth values: How is it said in PLN that if predicate p has (stv 0.6 1) then Not p should obviously have (stv 0.4 1) right ...if it is true that being fast has certain probability 0.6 then not being fast should automatically be assigned certain probability 0.4 right? Or am I wrong?
Johannes On Thursday, December 13, 2018 at 11:00:25 AM UTC, Nil wrote: > > On 12/13/18 9:18 AM, Linas Vepstas wrote: > > So maybe use GPN's, but then "hide" them behind "well-known" > > DefinedPredicateNodes. > > Since they're defined, they could be used for reasoning. I dunno. I > > still don't really > > know how to do reasoning ... > > In principle reasoning can be performed on anything, even > GroundedPredicateNodes. All you need is to "axiomatize" them, for > instance if you want to say that `near` is symmetric you'd write > > ImplicationScope (stv 1 1) > VariableList > Variable "$X" > Variable "$Y" > Evaluation > GroundedPredicate "near" > List > Variable "$X" > Variable "$Y" > Evaluation > GroundedPredicate "near" > List > Variable "$Y" > Variable "$X" > > or if you already have higher knowledge about symmetry, maybe you'd > just write > > Member (stv 1 1) > GroundedPredicate "near" > Concept "symmetric" > > In practice I don't know how well the URE would chew on > GroundedPredicate though, as they have a special meaning to the > pattern matcher, as virtual clauses. Would need to try and fix what > needs to be fixed, quote what needs to be quoted, etc. Alexey and his > team have already stumbled on that kind of problems when trying to > incorporate neural nets to the URE. > > Nil > -- 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/217bfe32-13e2-4bc8-9b6d-8973350e0877%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
