Received-SPF: none (google.com: mbays@sdf.org does not designate permitted sender hosts) client-ip=192.94.73.24;
Date: Sat, 27 Sep 2014 12:31:21 -0400
From: Martin Bays <mbays@sdf.org>
To: jboste <lojban@googlegroups.com>
Subject: [lojban] tersmu 0.2
Message-ID: <20140927163121.GO28734@gonzales>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="ztcJpsdPpsnnlAp8"
Content-Disposition: inline
X-cunselcu'a-valsi: burcu
User-Agent: Mutt/1.5.22 (2013-10-16)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (google.com: mbays@sdf.org does not designate permitted sender hosts) smtp.mail=mbays@sdf.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/lojban/subscribe>
X-Spam-Score: -1.9 (-)
X-Spam_score: -1.9
X-Spam_score_int: -18
X-Spam_bar: -


--ztcJpsdPpsnnlAp8
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

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 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=20


I have attempted to implement baseline lojban, CLL+xorlo, where possible.

I should probably briefly mention here where I have seemed obliged to depart
=66rom this baseline. Despite extensive attempts, I could not find reasonab=
le
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, 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 sections
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
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 "logic"
doesn't even have an obvious semantics, so arguably isn't worthy of the ter=
m;
there's plenty of room here for future work.

Martin

--ztcJpsdPpsnnlAp8
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iEYEARECAAYFAlQm5lkACgkQULC7OLX7LNb0TQCghE5Rd99KB2hG9fYhx5K6OBWD
Rx4AmwX5f1ZnRiAUD+Kf/AvvW02lAbcw
=JXIA
-----END PGP SIGNATURE-----

--ztcJpsdPpsnnlAp8--