That looks plausible, but I can't tell if that's really a PLN question, or if its something the evaluator is supposed to handle.
Right now, the evaluator ignores EquivalenceLink, it only handles EqualLink and IdenticalLink. When it evaluates this, it executes the two sides of the EqualLink, and compares the result of the execution. What you have written is not executable, because there are no arguments supplied to either of the lambdas. So, instead, you seem to have something that PLN is supposed to handle -- whenever it sees one side of the equivalence, it can replace it by the other side, during its search. Or something like that. The semantics of what you want to have happen here is unclear. What is supposed to happen? Anything that strays outside of the bounds of what is explicitly mentioned on the wiki pages (i.e. http://wiki.opencog.org/w/LambdaLink) will almost surely result in errors or lead down code paths where nothing is implemented. --linas On Sat, Jul 30, 2016 at 10:18 AM, Roman Treutlein <[email protected]> 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]. > 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/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/CAHrUA36NocZ0vdZFKVdp3XEopX%3D8OA6Y1op3g61SxwR2q6eb6Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
