Re: [lojban] semantic parser - tersmu-0.1rc1

[Martin Bays <mbays@sdf.org>]

* Monday, 2011-12-12 at 09:16 -0600 - John E. Clifford <kali9putra@yahoo.com>:

> Well, point one goes against orthodoxy for languages in general and
> certainly for Lojban in particular.  Point two is generally true, but
> much harder is not impossible.  In general, the move from FOL to
> Lojban ought to seem easier than the reverse, but even that may be
> illusory.

I'm not sure what you're getting at here. FOL to Lojban is entirely
trivial. Assuming a relational language and that every relation is
the interpretation of some selbri: use {su'o da zo'u} and {ro da zo'u}
for the quantifiers, and use geks for the boolean operations. There are
no issues at all.

Martin

> On Dec 11, 2011, at 9:37 PM, vitci'i <celestialcognition@gmail.com> wrote:
> 
> > On 12/11/2011 09:31 PM, John E Clifford wrote:
> >> Wait.  If we have a means of converting FOL into Lojban, it has -- to be 
> >> acceptable -- to provide a rule for a means of converting some logical 
> >> expression into each Lojban sentence.  So, in particular, it has to provide a 
> >> systematic explanation for even those sentences which are problematic to the 
> >> back conversion.
> > 
> > That doesn't follow. There may be some well-formed Lojban expressions
> > that are not produced by converting any FOL expression. Alternatively,
> > there exist some relations which are much harder to compute in one
> > direction than the other.
> > 
> > -- 
> > You received this message because you are subscribed to the Google Groups "lojban" group.
> > To post to this group, send email to lojban@googlegroups.com.
> > To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
> > For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
> > 
> 
> -- 
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
> 

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.