Hi Roman,
this is compatible with PLN. I don't think all EquivalentLink PLN rules
are implemented, the main one, turning EquivalentLink to double
ImplicationLink is.
Nil
On 07/30/2016 06:18 PM, Roman Treutlein wrote:
Hello,
I just wanted to make sure my use of the LambdaLink inside the
Lojban<->Atomese translator is correct.
One use case is the following:
|
EquivalenceLink
LambdaLink
VariableNode "1"
EvaluationLink
PredicateNode "pred"
ListLink (VariableNode "1")
LambdaLink
VariableNode "2"
ContextLink
VariableNode "2"
ConceptNode "Somthing" (Might be a EvaluationLink))
|
I use this to define the PredicateNode "pred" so as to apply to things
in whiches context "Something" is true.
Does this do what I want it to? If not is there a different way to do this?
regards
/roman
--
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/99c37450-697a-4164-a3c5-80780584c05d%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/99c37450-697a-4164-a3c5-80780584c05d%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/57C9224A.7030304%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
