Yes PLN is supposed to use this. In Lojban, there are so-called even-abstractors which take a relationship/sentence X and turn it into the predicate "arg1 is an event of X". This seems to be equivalent to saying "arg1 is a Context in which X happens/is true". This way PLN should be able to "understand" what exactly this predicate means.
I might also want to use this to say that there are 2 equivalent Predicates but with changed argument orders. /roman On Monday, August 8, 2016 at 10:43:51 PM UTC+2, linas wrote: > > 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/efac19ca-fc8d-4946-95e7-6a79e10a1bb8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
