From lojban-out@lojban.org Thu Jul 29 14:55:09 2004 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 57860 invoked from network); 29 Jul 2004 21:55:09 -0000 Received: from unknown (66.218.66.166) by m2.grp.scd.yahoo.com with QMQP; 29 Jul 2004 21:55:09 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta5.grp.scd.yahoo.com with SMTP; 29 Jul 2004 21:55:08 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.32) id 1BqIri-00042Y-VP for lojban@yahoogroups.com; Thu, 29 Jul 2004 14:55:07 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.32) id 1BqIrA-00041p-R5; Thu, 29 Jul 2004 14:54:32 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 29 Jul 2004 14:54:28 -0700 (PDT) Received: from biscayne-one-station.mit.edu ([18.7.7.80]) by chain.digitalkingdom.org with esmtp (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA:24) (Exim 4.32) id 1BqIqr-00041V-Ne for lojban-list@lojban.org; Thu, 29 Jul 2004 14:54:14 -0700 Received: from manawatu-mail-centre.mit.edu (MANAWATU-MAIL-CENTRE.MIT.EDU [18.7.7.71]) by biscayne-one-station.mit.edu (8.12.4/8.9.2) with ESMTP id i6TLsB0H015117; Thu, 29 Jul 2004 17:54:12 -0400 (EDT) Received: from nerd-xing.mit.edu (NERD-XING.MIT.EDU [18.7.16.74]) (authenticated bits=56) (User authenticated as rspeer@ATHENA.MIT.EDU) by manawatu-mail-centre.mit.edu (8.12.4/8.12.4) with ESMTP id i6TLsBoL003717; Thu, 29 Jul 2004 17:54:11 -0400 (EDT) Received: (from rspeer@localhost) by nerd-xing.mit.edu (8.12.9) id i6TLsBDs012744; Thu, 29 Jul 2004 17:54:11 -0400 (EDT) Date: Thu, 29 Jul 2004 17:54:11 -0400 Cc: havasi@MIT.EDU Message-ID: <20040729215411.GA11429@nerd-xing.mit.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.2i X-Is-It-Not-Nifty: www.sluggy.com X-archive-position: 8354 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rspeer@MIT.EDU X-list: lojban-list To: lojban@yahoogroups.com X-eGroups-Remote-IP: 64.81.49.134 X-eGroups-From: Rob Speer From: Rob Speer Reply-To: rspeer@MIT.EDU Subject: [lojban] jimpe: Language Processing in Lojban X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 22775 Time for me to announce something I've been working on all summer. Catherine Havasi (who recently introduced herself on the lojban-beginners list) and I have been developing a system for reasoning in Lojban, called "jimpe". We're submitting an extended abstract about the system to the Student Oxygen Workshop at MIT ("Oxygen" is this nebulous all-encompassing project with lots of funding). I've put up the paper at: http://mohican.lids.mit.edu/lojban/jimpe_sow.pdf . If people want to give me comments on the paper (such as, how I present Lojban to an audience that's probably going to say "wait a minute, you're doing natural language processing without the natural language?") before I submit the paper tomorrow, that would be great. Unfortunately, you can't play with Jimpe yet. The code is still very much in progress. Perhaps one day we'll have a Web or IRC interface to it, though. Many thanks to xorxes for his well-timed observation that bridi are like Semantic Web predicates - this has given us a bunch of ideas. -- Rob Speer