[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] semantic parser - tersmu-0.1rc1
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.