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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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
<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/f3a483cb-9789-7158-6612-308f3b5c583a%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
