[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [lojban] semantic parser - tersmu-0.1rc1
On Sun, Dec 11, 2011 at 7:37 PM, John E. Clifford <kali9putra@yahoo.com> wrote:
> On Dec 11, 2011, at 2:52 PM, Jorge Llambías <jjllambias@gmail.com> wrote:
>>
>> Converting FOL into Lojban is trivial.
>
> Not obviously, since you are about to introduce expressions which are more remote from FOL and thus,
Converting FOL into Lojban is not the same thing as converting Lojban
into FOL. The first is trivial, the other has some complications.
Lojban has expressions that do not convert into FOL without some
manipulation, whereas FOL expressions convert into Lojban directly and
rather trivially.
> even if arbitrary and conventional, subject to things like unintended consequences (omitted arguments, {zo'e}, and, I assume, all the descriptions are the currently interesting cases).
But that's not a part of converting FOL into Lojban.
mu'o mi'e xorxes
--
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.