From phma@webjockey.net Sat Nov 30 05:50:05 2002 Return-Path: X-Sender: phma@ixazon.dynip.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 30 Nov 2002 13:50:04 -0000 Received: (qmail 13594 invoked from network); 30 Nov 2002 13:50:04 -0000 Received: from unknown (66.218.66.218) by m9.grp.scd.yahoo.com with QMQP; 30 Nov 2002 13:50:04 -0000 Received: from unknown (HELO neofelis.ixazon.lan) (208.150.110.21) by mta3.grp.scd.yahoo.com with SMTP; 30 Nov 2002 13:50:04 -0000 Received: by neofelis.ixazon.lan (Postfix, from userid 500) id 263F43C5FB; Sat, 30 Nov 2002 08:50:02 -0500 (EST) Content-Type: text/plain; charset="iso-8859-1" To: lojban@yahoogroups.com Subject: Re: [lojban] word resolution algorithm Date: Sat, 30 Nov 2002 08:49:59 -0500 X-Mailer: KMail [version 1.2] References: <5.1.0.14.0.20021130000456.03a3b4f0@pop.east.cox.net> In-Reply-To: <5.1.0.14.0.20021130000456.03a3b4f0@pop.east.cox.net> X-Spamtrap: fesmri@ixazon.dynip.com MIME-Version: 1.0 Message-Id: <0211300849590U.02982@neofelis> Content-Transfer-Encoding: 8bit Sender: phma@ixazon.dynip.com From: Pierre Abbat X-Yahoo-Group-Post: member; u=92712300 X-Yahoo-Message-Num: 17278 On Saturday 30 November 2002 00:14, Bob LeChevalier-Logical Language Group wrote: > Buried in my discussion with Pierre, I recalled that the word resolution > algorithm was not proven in time to be included in CLL, though it was > intended to be part of the baseline language definition. At the time, I > said we could just add it into the dictionary, but the new policy does not > specifically allow for that (though the byfy could probably include > it). Updating and proving the word resolution algorithm would be a good > project for one person with the sort of mathematical-proof-of-algorithm > experience needed, and could be done independently, and a working algorithm > could simply byfy deliberations over what could amount to a raft of > corrections and change proposals in the orthography/morphology sections of > the refgrammar, which has numerous sloppy wordings. By proving it, do you mean proving that all valid phoneme strings are broken into words correctly, or also proving that all invalid phoneme strings are rejected? I'll code this up. phma