From a.rosta@ntlworld.com Fri Dec 14 17:57:58 2001 Return-Path: X-Sender: a.rosta@ntlworld.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_1_3); 15 Dec 2001 01:57:58 -0000 Received: (qmail 41153 invoked from network); 15 Dec 2001 01:57:58 -0000 Received: from unknown (216.115.97.172) by m5.grp.snv.yahoo.com with QMQP; 15 Dec 2001 01:57:58 -0000 Received: from unknown (HELO mta03-svc.ntlworld.com) (62.253.162.43) by mta2.grp.snv.yahoo.com with SMTP; 15 Dec 2001 01:57:57 -0000 Received: from andrew ([62.255.40.182]) by mta03-svc.ntlworld.com (InterMail vM.4.01.03.23 201-229-121-123-20010418) with SMTP id <20011215015754.LZFX29646.mta03-svc.ntlworld.com@andrew> for ; Sat, 15 Dec 2001 01:57:54 +0000 To: Subject: RE: [lojban] Re: Software Translation of Lojban Date: Sat, 15 Dec 2001 01:57:16 -0000 Message-ID: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0045_01C1850B.D2397580" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: <1e.1ffe91e7.294bbdcc@aol.com> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Group-Post: member; u=77248971 X-Yahoo-Profile: andjamin X-Yahoo-Message-Num: 12625 ------=_NextPart_000_0045_01C1850B.D2397580 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit I haven't been following this thread attentively, but from reading this it seems as though Discourse Representation Theory might be of interest. I can't cite books, but a net search on DRT is bound to turn up key stuff. --And. -----Original Message----- From: pycyn@aol.com [mailto:pycyn@aol.com] Sent: 14 December 2001 20:41 To: lojban@yahoogroups.com Subject: Re: [lojban] Re: Software Translation of Lojban In a message dated 12/14/2001 12:06:18 PM Central Standard Time, jay.kominek@colorado.edu writes: Titles? Author(s)? Journals? Dates? Even an elaboration of the details as you recall them would speed up a search for the articles. I know this stuff exists, but I never went into it very deeply (one of the disadvantages of having only undergrads is that you never get to do much fun stuff, even the good ones, being CS majors, want to do Goedel rather thna mere logic). What I can lay my hands on or vaguely remember are rather diffuse. The best is by Hans Kamp (and somebody), one of the logico-linguistics from UCLA at the time of Montague and Prior. It was called something like "From Discourse to Logic" or so and probably was published by Kluwer in the mid--90's (my copy disappeared in the last move, I think). It probably has a bibliography. Herbert Otto: Step for a system of translation from ordinary discourse into an applied logic", PhD Thesis, U Pa, 1968 (University Microfilms 69-152) is near the beginning of the work but is pretty advanced for the time. What he left out turned out to be the really big problems, for the most part; similarly, what he put in is mostly right. John Barker: ProtoThinker (I have version 4.1, but I think there is at least one later version) Wadsworth Publishing cd-rom (ISBN 0-535-53490-2, for the instructor's version). This has a program that actually does a bit of the work, with varying degres of plausibility. It is a step beyind the thumb-rules in every imaginable logic textbook, but is rather shaky on interesting cases. There is a website -- or was -- for the ProtoThinker project which may have supplemented this material more. Beyond these there are several articles that I remember seeing but can not recall any details of, but that I can runs scans on over the vacation (Phil Doc Cen is just jammed during finals weeks -- meaning it has a small staff, mostly students, not that there are that many demands on it absolutely). So there is a largely useless start. Yahoo! Groups Sponsor ADVERTISEMENT To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service. ------=_NextPart_000_0045_01C1850B.D2397580 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
I=20 haven't been following this thread attentively, but from reading this it se= ems=20 as though
Discourse Representation Theory might be of inte= rest. I=20 can't cite books, but a net
search=20 on DRT is bound to turn up key stuff.
 
--And.
-----Original Message-----
From: pycyn@aol.com=20 [mailto:pycyn@aol.com]
Sent: 14 December 2001 20:41
To:=20 lojban@yahoogroups.com
Subject: Re: [lojban] Re: Software=20 Translation of Lojban

In a message dated 12/14/200= 1=20 12:06:18 PM Central Standard Time, jay.kominek@colorado.edu=20 writes:


Titles? Author(s)? Journals? Dates? Even an elaboration of = the=20 details as
you recall them would speed up a search for the=20 articles.

I know this = stuff=20 exists, but I never went into it very deeply (one of the disadvantages of= =20 having only undergrads is that you never get to do much fun stuff, even t= he=20 good ones, being CS majors, want to do Goedel rather thna mere logic).&nb= sp;=20 What I can lay my hands on or vaguely remember are rather diffuse.
The=20 best is by Hans Kamp (and somebody), one of the logico-linguistics from U= CLA=20 at the time of Montague and Prior.  It was called something like "Fr= om=20 Discourse to Logic" or so and probably was published by Kluwer in the=20 mid--90's (my copy disappeared in the last move, I think).  It proba= bly=20 has a bibliography.

Herbert Otto: Step for a system of translation= from=20 ordinary discourse into an applied logic", PhD Thesis, U Pa, 1968 =20 (University Microfilms 69-152) is near the beginning of the work but is p= retty=20 advanced for the time.  What he left out turned out to be the really= big=20 problems, for the most part; similarly, what he put in is mostly=20 right.

John Barker: ProtoThinker (I have version 4.1, but I think = there=20 is at least one later version)  Wadsworth Publishing cd-rom (ISBN=20 0-535-53490-2, for the instructor's version).  This has a program th= at=20 actually does a bit of the work, with varying degres of plausibility.&nbs= p; It=20 is a step beyind the thumb-rules in every imaginable logic textbook, but = is=20 rather shaky on interesting cases.  There is a website -- or was -- = for=20 the ProtoThinker project which may have supplemented this material=20 more.

Beyond these there are several articles that I remember seei= ng=20 but can not recall any details of, but that I can runs scans on over the= =20 vacation (Phil Doc Cen is just jammed during finals weeks -- meaning it h= as a=20 small staff, mostly students, not that there are that many demands on it= =20 absolutely). 

So there is a largely useless=20 start.



To=20 unsubscribe, send mail to lojban-unsubscribe@onelist.com

Your=20 use of Yahoo! Groups is subject to the Yahoo! Terms of Service.=20
------=_NextPart_000_0045_01C1850B.D2397580--