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

[John E Clifford <kali9putra@yahoo.com>]

Unsolicited and probably wrong-headed advice: you might try what I have done in 
the little bit of semantic research I've managed: start with the formal logic 
and work back to see what you can get and then try to get that also some other 
way (the claim being that you cannot -- so far it seems to hold).  This Aalso 
gives a number of other ways of proceeding in some cases and allows looking at 
transformations to find other equivalent expressions.



----- Original Message ----
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Sent: Tue, November 29, 2011 4:58:08 PM
Subject: Re: [lojban] semantic parser - tersmu-0.1rc1

* Tuesday, 2011-11-29 at 18:37 -0300 - Jorge Llambías <jjllambias@gmail.com>:

> On Tue, Nov 29, 2011 at 12:04 AM, Martin Bays <mbays@sdf.org> wrote:
> >
> > And do you similarly really want {ko'a .e ko'e lo broda cu brode} to not
> > be equivalent to {ge ko'a lo broda cu brode gi ko'e lo broda cu brode},
> 
> I want it equivalent to "ge ko'a ko'i goi lo broda cu brode gi ko'e ko'i 
>brode".
> 
> The shared elements in bridi joined by ".e" or "gi'e" are not words
> but their meanings.
> 
> > in that the value of {lo broda} can be different in the two occurances
> > in the latter but must be constant in the former?
> >
> > That complicates things significantly, you know.
> 
> No more than for "ta" or for "la djan" or most sumti for which you
> can't absolutely guarantee that they will end up with the same
> referent(s) every time they are used.

Fair enough. Thanks for clarifying.

Martin

-- 
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.