Hi Nil,
How is the negation-introduction-rule invoked?
I'm doing the following:
(define p (PredicateNode "p" (stv 0.6 0.8)))
(negation-introduction-rule p)
and then I'm getting this error:
ERROR: Wrong type to apply: (BindLink
(TypedVariableLink
(VariableNode "$X")
(TypeChoice
(TypeNode "EvaluationLink")
(TypeNode "InheritanceLink")
(TypeNode "PredicateNode")
(TypeNode "ConceptNode")
)
)
(AndLink
(VariableNode "$X")
(EvaluationLink
(GroundedPredicateNode "scm: gt-zero-confidence")
(VariableNode "$X")
)
)
(ExecutionOutputLink
(GroundedSchemaNode "scm: negation-introduction-formula")
(ListLink
(NotLink
(VariableNode "$X")
)
(VariableNode "$X")
)
)
)
On Friday, December 14, 2018 at 6:59:41 AM UTC, Nil wrote:
>
> Hi Johannes,
>
> On 12/13/18 6:08 PM, Johannes Castner wrote:
> > 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?
>
> Correct.
>
> See
>
>
> https://github.com/opencog/opencog/blob/master/opencog/pln/rules/wip/negation-introduction.scm
>
>
> Soon you'll be able to use pln by loading the pln module in say scheme
>
> ```
> (use-modules (opencog pln))
> ```
>
> and choose amongst some predefined rule sets.
>
> It's not there yet however, the Not rule would not be loaded for
> instance, the best is to configure your rule base yourself. See
> https://wiki.opencog.org/w/URE_Configuration_Format for more
> information (it's a bit outdated but still mostly relevant). See also
> examples
>
> https://github.com/opencog/atomspace/tree/master/examples/rule-engine
> https://github.com/opencog/opencog/tree/master/examples/pln
>
> Nil
>
> >
> > 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] <javascript:>
> > <mailto:[email protected] <javascript:>>.
> > To post to this group, send email to [email protected]
> <javascript:>
> > <mailto:[email protected] <javascript:>>.
> > 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
>
> > <
> https://groups.google.com/d/msgid/opencog/217bfe32-13e2-4bc8-9b6d-8973350e0877%40googlegroups.com?utm_medium=email&utm_source=footer>.
>
>
> > For more options, visit https://groups.google.com/d/optout.
>
--
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/a43ca4cd-12e0-4b30-b4bb-9b9924da46e4%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
