Received: from mail-ie0-f188.google.com ([209.85.223.188]:52164) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.80.1) (envelope-from ) id 1XXwI5-0003LM-NL for lojban-list-archive@lojban.org; Sat, 27 Sep 2014 11:00:23 -0700 Received: by mail-ie0-f188.google.com with SMTP id rl12sf291671iec.5 for ; Sat, 27 Sep 2014 11:00:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20120806; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=oXN4PsVEHIsDNLMLrcHlpq8tbmFw/WlHe1gwPWfMxoE=; b=OJ6Uz0X0YHQj2G7x5uZ1z1OUINHkpZumFe5cNQ9QVptsNRAOAoMlcebqDTNb2odRRk g+UwunVJx7NqWABRsp0HNi6KuEsDaeFFbJ8wEsDm0eJ/pZ6WeaKKhffzrhIS659UfEmG ob1VEuhtAzCi6epxLpUkjDl6P0SL38oxiIA7dcnKddMKZtF+quEto8mX2uxQDmGTjcLI i4F6DEfpiRUQPmko8dSf1L++4CkByGnc8AdYVTgK1jQiph3nINNX1Zf5l56aDoh5Ek6Y Hw217CunvxeFfW9oKV3ToAHJeJQpF0OUxpDB+MOvqKkX/RmaUyJfWxoR2IFvOA1n5nD+ oQpA== X-Received: by 10.50.122.2 with SMTP id lo2mr627610igb.4.1411840811097; Sat, 27 Sep 2014 11:00:11 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.50.79.226 with SMTP id m2ls1334523igx.17.gmail; Sat, 27 Sep 2014 11:00:10 -0700 (PDT) X-Received: by 10.66.249.231 with SMTP id yx7mr23899160pac.24.1411840810750; Sat, 27 Sep 2014 11:00:10 -0700 (PDT) Received: from mail-oi0-x22b.google.com (mail-oi0-x22b.google.com [2607:f8b0:4003:c06::22b]) by gmr-mx.google.com with ESMTPS id r20si438512ign.2.2014.09.27.11.00.10 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 27 Sep 2014 11:00:10 -0700 (PDT) Received-SPF: pass (google.com: domain of nictytan@gmail.com designates 2607:f8b0:4003:c06::22b as permitted sender) client-ip=2607:f8b0:4003:c06::22b; Received: by mail-oi0-f43.google.com with SMTP id x69so189863oia.16 for ; Sat, 27 Sep 2014 11:00:10 -0700 (PDT) X-Received: by 10.182.22.82 with SMTP id b18mr16991748obf.32.1411840810394; Sat, 27 Sep 2014 11:00:10 -0700 (PDT) MIME-Version: 1.0 Received: by 10.76.82.230 with HTTP; Sat, 27 Sep 2014 10:59:50 -0700 (PDT) In-Reply-To: <20140927163121.GO28734@gonzales> References: <20140927163121.GO28734@gonzales> From: Jacob Errington Date: Sat, 27 Sep 2014 13:59:50 -0400 Message-ID: Subject: Re: [lojban] tersmu 0.2 To: "lojban@googlegroups.com" X-Original-Sender: nictytan@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of nictytan@gmail.com designates 2607:f8b0:4003:c06::22b as permitted sender) smtp.mail=nictytan@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=001a11333348fba99905040fcd1f X-Spam-Score: -1.9 (-) X-Spam_score: -1.9 X-Spam_score_int: -18 X-Spam_bar: - --001a11333348fba99905040fcd1f Content-Type: text/plain; charset=UTF-8 This is truly an amazing project! Thank you for your contribution. I'll definitely be playing around with it, and looking through the code as well. .i mi'e la tsani mu'o On 27 September 2014 12:31, Martin Bays wrote: > I am pleased to announce a new release of tersmu, a semantic parser for > lojban. > > Some of you may remember a preliminary release I made towards the end of > 2011; > I picked up the project again a few months ago, and have reworked and > significantly extended it. The project is not complete, but it has reached > a > natural point for a release. > > It now accepts almost arbitrary grammatical lojban, and translates the > input > to a predicate logic form. It currently mostly ignores indicators and > frees, > even those which arguably should be rendered in the logic, but otherwise > implements every construction bar a handful of obscure or difficult cases > (detailed in the file BUGS in the source tree). > > Its primary purpose, at least in its current incarnation, is to implement a > comprehensive set of rules to handle the interactions between the various > logical features of lojban - such as the variously positioned connectives, > embedded quantifiers and modal operators, sumti and bridi anaphora, and so > on. > > You can test it without installing, either by talking to the bot 'tersmus' > on > irc (#lojban on irc.freenode.net), or by sshing to thegonz.net with > username > 'tersmu', password 'tersmu'. > > The source (GPLv3; written in haskell) is here: > http://gitorious.org/tersmu > > If you have cabal, the haskell package management system, tersmu can be > installed with "cabal update && cabal install tersmu". > > Some examples: > examples from CLL: > https://gitorious.org/tersmu/tersmu/raw/examples/16.loj > (that's chapter 16; change the number for other chapters) > alis (by paragraph): > https://gitorious.org/tersmu/tersmu/raw/alis:examples/alis.loj > > > I have attempted to implement baseline lojban, CLL+xorlo, where possible. > > I should probably briefly mention here where I have seemed obliged to > depart > from this baseline. Despite extensive attempts, I could not find reasonable > comprehensive rules which incorporate CLL's account of {na} as a selbri > tag, > nor CLL's rules on scope of variables outside of a prenex. Instead, I treat > bare {na} as identical to {naku}, and (roughly) unprenexed variables as > scoping only over the remainder of the sentence in which they appear. I > also > ignore CLL's rules on rebinding bound variables and on "simultaneous > quantification" in termsets, since neither fits with the idea that {PA da} > should introduce a quantifier in the usual sense of predicate logic. > > There are also many cases, too numerous to list here, where baseline > documentation is not detailed enough to completely determine the > transformation rules. {go'i} is a good example. In these cases, I have been > guided by the BPFK pages in the first instance, and then by parsimony, > general > logical and lojbanic intuition, usage, and in some cases simply what fits > best > with the rest of the algorithm. The writings of xorxes, on the BPFK > sections > and elsewhere, clarified many points; discussions on irc and/or this list > were > valuable in clarifying others. Many of the decisions are however certainly > questionable, and I'm willing to be convinced that they are wrong! > > In many cases I have avoided making any questionable decisions at all by > simply copying lojbanic constructs into the logic. So, for example, the > logic > allows for non-logically connected propositions precisely analogous to > lojban's non-logically connected sentences. So what I'm calling a "logic" > doesn't even have an obvious semantics, so arguably isn't worthy of the > term; > there's plenty of room here for future work. > > Martin > -- You received this message because you are subscribed to the Google Groups "lojban" group. To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com. To post to this group, send email to lojban@googlegroups.com. Visit this group at http://groups.google.com/group/lojban. For more options, visit https://groups.google.com/d/optout. --001a11333348fba99905040fcd1f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
This is truly an amazing project! Thank you for your contr= ibution.

I'll definitely be playing around with it, = and looking through the code as well.=C2=A0

.i mi&= #39;e la tsani mu'o

On 27 September 2014 12:31, Martin Bays <mbays@sdf.org&g= t; wrote:
I am pleased to announce= a new release of tersmu, a semantic parser for
lojban.

Some of you may remember a preliminary release I made towards the end of 20= 11;
I picked up the project again a few months ago, and have reworked and
significantly extended it. The project is not complete, but it has reached = a
natural point for a release.

It now accepts almost arbitrary grammatical lojban, and translates the inpu= t
to a predicate logic form. It currently mostly ignores indicators and frees= ,
even those which arguably should be rendered in the logic, but otherwise implements every construction bar a handful of obscure or difficult cases (detailed in the file BUGS in the source tree).

Its primary purpose, at least in its current incarnation, is to implement a=
comprehensive set of rules to handle the interactions between the various logical features of lojban - such as the variously positioned connectives,<= br> embedded quantifiers and modal operators, sumti and bridi anaphora, and so = on.

You can test it without installing, either by talking to the bot 'tersm= us' on
irc (#lojban on irc.f= reenode.net), or by sshing to thegonz.net with username
'tersmu', password 'tersmu'.

The source (GPLv3; written in haskell) is here:
=C2=A0 =C2=A0 htt= p://gitorious.org/tersmu

If you have cabal, the haskell package management system, tersmu can be
installed with "cabal update && cabal install tersmu".
Some examples:
=C2=A0 =C2=A0 examples from CLL:
=C2=A0 =C2=A0 =C2=A0 =C2=A0 https://gitorious.org/tersmu/tersmu/= raw/examples/16.loj
=C2=A0 =C2=A0 =C2=A0 =C2=A0 (that's chapter 16; change the number for o= ther chapters)
=C2=A0 =C2=A0 alis (by paragraph):
=C2=A0 =C2=A0 =C2=A0 =C2=A0 https://gitorious.org/tersmu/= tersmu/raw/alis:examples/alis.loj


I have attempted to implement baseline lojban, CLL+xorlo, where possible.
I should probably briefly mention here where I have seemed obliged to depar= t
from this baseline. Despite extensive attempts, I could not find reasonable=
comprehensive rules which incorporate CLL's account of {na} as a selbri= tag,
nor CLL's rules on scope of variables outside of a prenex. Instead, I t= reat
bare {na} as identical to {naku}, and (roughly) unprenexed variables as
scoping only over the remainder of the sentence in which they appear. I als= o
ignore CLL's rules on rebinding bound variables and on "simultaneo= us
quantification" in termsets, since neither fits with the idea that {PA= da}
should introduce a quantifier in the usual sense of predicate logic.

There are also many cases, too numerous to list here, where baseline
documentation is not detailed enough to completely determine the
transformation rules. {go'i} is a good example. In these cases, I have = been
guided by the BPFK pages in the first instance, and then by parsimony, gene= ral
logical and lojbanic intuition, usage, and in some cases simply what fits b= est
with the rest of the algorithm. The writings of xorxes, on the BPFK section= s
and elsewhere, clarified many points; discussions on irc and/or this list w= ere
valuable in clarifying others. Many of the decisions are however certainly<= br> questionable, and I'm willing to be convinced that they are wrong!

In many cases I have avoided making any questionable decisions at all by simply copying lojbanic constructs into the logic. So, for example, the log= ic
allows for non-logically connected propositions precisely analogous to
lojban's non-logically connected sentences. So what I'm calling a &= quot;logic"
doesn't even have an obvious semantics, so arguably isn't worthy of= the term;
there's plenty of room here for future work.

Martin

--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban+unsub= scribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http:= //groups.google.com/group/lojban.
For more options, visit http= s://groups.google.com/d/optout.
--001a11333348fba99905040fcd1f--