From lojban-out@lojban.org Fri Apr 09 13:06:25 2004 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 56095 invoked from network); 9 Apr 2004 20:06:25 -0000 Received: from unknown (66.218.66.167) by m25.grp.scd.yahoo.com with QMQP; 9 Apr 2004 20:06:25 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta6.grp.scd.yahoo.com with SMTP; 9 Apr 2004 20:06:24 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.30) id 1BC2Gd-0002EI-Sh for lojban@yahoogroups.com; Fri, 09 Apr 2004 13:06:23 -0700 Received: from dsl081-049-134.sfo1.dsl.speakeasy.net ([64.81.49.134] helo=chain.digitalkingdom.org) by chain.digitalkingdom.org with esmtp (Exim 4.30) id 1BC2FQ-0002Cr-5K; Fri, 09 Apr 2004 13:05:08 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 09 Apr 2004 13:05:04 -0700 (PDT) Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.30) id 1BC2FG-0002CZ-SU for lojban-list@lojban.org; Fri, 09 Apr 2004 13:04:58 -0700 Date: Fri, 9 Apr 2004 13:04:58 -0700 Message-ID: <20040409200458.GQ14789@digitalkingdom.org> Mail-Followup-To: lojban-list@lojban.org References: <20040409002858.GH14789@digitalkingdom.org> <20040409015132.GA28275@mit.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20040409015132.GA28275@mit.edu> User-Agent: Mutt/1.5.5.1+cvs20040105i X-archive-position: 7516 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rlpowell@digitalkingdom.org X-list: lojban-list To: lojban@yahoogroups.com X-eGroups-Remote-IP: 64.81.49.134 X-eGroups-From: Robin Lee Powell From: Robin Lee Powell Reply-To: rlpowell@digitalkingdom.org Subject: [lojban] Re: Beta Release of PEG-based Lojban parser. X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 21990 On Thu, Apr 08, 2004 at 09:51:32PM -0400, Rob Speer wrote: > On Thu, Apr 08, 2004 at 05:28:58PM -0700, Robin Lee Powell wrote: > > At some point the parser needs to be taught to output something more > > useful than just the text it succeeded at parsing, but I'm really > > hoping someone with actual Java experience will look at that. > > So I assume this means you can't currently get parse trees out of it. Correct. > But it's not something about PEGs that you can't get parse trees, > right? Nope. > With the right code, the parse trees could be output? Absolutely. I've been bugging the parser generator writers about this, actually. > The reason I ask is that this summer, I've got a research job in > semantic interpretation of natural languages. I've gotten permission > from my advisor to apply my research to Lojban. Cool! > This technique of semantic interpretation involves taking a CFG and > assigning a lambda expression to every rule. You then apply these > lambda expressions up a parse tree, and at the top you end up with an > expression encoding the meaning of the sentence. Bear in mind that PEGs != CFGs, and that Lojban (probably) cannot be expressed in a straight CFG. But you probably knew that. -Robin -- http://www.digitalkingdom.org/~rlpowell/ *** I'm a *male* Robin. "Many philosophical problems are caused by such things as the simple inability to shut up." -- David Stove, liberally paraphrased. http://www.lojban.org/ *** loi pimlu na srana .i ti rocki morsi