From nobody@digitalkingdom.org Mon Dec 21 07:31:27 2009 Received: with ECARTIS (v1.0.0; list lojban-list); Mon, 21 Dec 2009 07:31:27 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.69) (envelope-from ) id 1NMkEI-0004Ba-F2 for lojban-list-real@lojban.org; Mon, 21 Dec 2009 07:31:26 -0800 Received: from ey-out-1920.google.com ([74.125.78.146]) by chain.digitalkingdom.org with esmtp (Exim 4.69) (envelope-from ) id 1NMkD8-0003TX-3m for lojban-list@lojban.org; Mon, 21 Dec 2009 07:30:18 -0800 Received: by ey-out-1920.google.com with SMTP id 3so1262123eyh.36 for ; Mon, 21 Dec 2009 07:30:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=3ux6TRgI2ZD0uS+KpNVTQZ5zpuu32LYtTpvLBSf2c0M=; b=EMwEIzseWz6DP1wur6pvbl24n0CC7XbYlFlTtI/CBflDIGrTGNl/T0ymMnLUP4Hwa2 glK3LvrI7GjSKPp59r4RdYCZfCbqdshbhvd6GEA6FuMKnaFHF44DI8IhXoGClnPspHQD cpt8Uzd8EiuSY38bsTigmOIr1Nvmib0c4TU5U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=Q5yYzrY0/OEI/s5PFw7yVtByn+AE1TSz62THoCam/CnWF1oJqL+/7/tPItkpuE3ZuA nfDwG9giPT5YQLZ8oPITW7+AESEx6WqFDefDIr+S/4RZdMOlLNwstTUejJeBxJXbQ7BM jKZzk7/AfVhBMo/0zKeLJPAl6L5xzJVCwB7YY= MIME-Version: 1.0 Received: by 10.216.89.141 with SMTP id c13mr2629116wef.66.1261409412225; Mon, 21 Dec 2009 07:30:12 -0800 (PST) Date: Tue, 22 Dec 2009 09:30:12 +1800 Message-ID: <702226df0912210730i37f4f966xc4f39d6e0a7623d8@mail.gmail.com> Subject: [lojban] interlingua translation and first-order logic From: "Jon \"Top Hat\" Jones" To: lojban-list@lojban.org Content-Type: multipart/alternative; boundary=0016e6d7e065ee9d0e047b3ec359 X-archive-position: 16725 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: eyeonus@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --0016e6d7e065ee9d0e047b3ec359 Content-Type: text/plain; charset=ISO-8859-1 I recently came across thispaper, which discusses various methods of machine translation methods. In it it is mentioned that computers are not able to understand first-order (i.e. predicate) logic. Since the paper is nearly 2 decades old, I was wondering if anyone here knows what progress there has been in making it understandable by computers. -- mu'o mi'e .aionys. .i.a'o.e'e ko klama le bende pe denpa bu --0016e6d7e065ee9d0e047b3ec359 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I recently came across this paper, which discusses various methods of machine tran= slation methods. In it it is mentioned that computers are not able to under= stand first-order (i.e. predicate) logic. Since the paper is nearly 2 decad= es old, I was wondering if anyone here knows what progress there has been i= n making it understandable by computers.


--
mu'o mi'e .aionys.

.i.a'o.e= 'e ko klama le bende pe denpa bu

--0016e6d7e065ee9d0e047b3ec359-- To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.