From pycyn@aol.com Fri Dec 14 12:40:49 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_1_2); 14 Dec 2001 20:40:48 -0000 Received: (qmail 34552 invoked from network); 14 Dec 2001 20:40:48 -0000 Received: from unknown (216.115.97.171) by m2.grp.snv.yahoo.com with QMQP; 14 Dec 2001 20:40:48 -0000 Received: from unknown (HELO imo-m03.mx.aol.com) (64.12.136.6) by mta3.grp.snv.yahoo.com with SMTP; 14 Dec 2001 20:40:48 -0000 Received: from Pycyn@aol.com by imo-m03.mx.aol.com (mail_out_v31_r1.9.) id r.1e.1ffe91e7 (4007) for ; Fri, 14 Dec 2001 15:40:44 -0500 (EST) Message-ID: <1e.1ffe91e7.294bbdcc@aol.com> Date: Fri, 14 Dec 2001 15:40:44 EST Subject: Re: [lojban] Re: Software Translation of Lojban To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_1e.1ffe91e7.294bbdcc_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_1e.1ffe91e7.294bbdcc_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit 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. --part1_1e.1ffe91e7.294bbdcc_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit 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.

 --part1_1e.1ffe91e7.294bbdcc_boundary--