[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
interlingua translation and first-order logic
- To: lojban-list@lojban.org
- Subject: interlingua translation and first-order logic
- From: "Jon \"Top Hat\" Jones" <eyeonus@gmail.com>
- Date: Tue, 22 Dec 2009 09:30:12 +1800
- 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=
I recently came across this paper, 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