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