From lojban+bncCJGY6cDlFhCXjdTnBBoEbtPP_w@googlegroups.com Tue Nov 30 06:13:58 2010 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PNQxs-0006UL-Ts; Tue, 30 Nov 2010 06:13:58 -0800 Received: by fxm10 with SMTP id 10sf1432517fxm.16 for ; Tue, 30 Nov 2010 06:13:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:received:mime-version:received :in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=htpVHbbuLRRrbPFR4tp4Yi6FdZB25lythLXJ2B4nG20=; b=sSecnxK4nJbImgaE9uoERsGTp40tMsXpXv/Enru36YdngouuRyU2tg000Jc3JJwQ3u Iy/ZY1mDcEZRCLXalRcrdb8pHeIlI63h76A3EmEO69bFZBWjYSXkQkydy4NmaxraDS+V xqg+N30QSuvkcbQ5CsbITUQSSVW3zizK6LEyI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:from :date:message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=RcYVYwKPkb0Yx6uK4roKAm8WDZtdFhpJEebG5UFv4+PsTY+bGOKWCOvm3octIYQUDI TOMBBTqYw5PAe4+859wSnvrIv6UEQaNlnTkZW0aiESfFuzbscgbA2wdM3a3yy9f5FEy3 +EeR+VJqibnVXIj3ETwRXrjeuZbN+8Tm7Ft3g= Received: by 10.223.86.201 with SMTP id t9mr307661fal.30.1291126423016; Tue, 30 Nov 2010 06:13:43 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.204.145.26 with SMTP id b26ls1494231bkv.3.p; Tue, 30 Nov 2010 06:13:41 -0800 (PST) Received: by 10.204.10.75 with SMTP id o11mr762451bko.6.1291126421509; Tue, 30 Nov 2010 06:13:41 -0800 (PST) Received: by 10.204.10.75 with SMTP id o11mr762450bko.6.1291126421426; Tue, 30 Nov 2010 06:13:41 -0800 (PST) Received: from mail-fx0-f52.google.com (mail-fx0-f52.google.com [209.85.161.52]) by gmr-mx.google.com with ESMTP id w14si914145bkt.4.2010.11.30.06.13.40; Tue, 30 Nov 2010 06:13:40 -0800 (PST) Received-SPF: pass (google.com: domain of get.oren@gmail.com designates 209.85.161.52 as permitted sender) client-ip=209.85.161.52; Received: by mail-fx0-f52.google.com with SMTP id 5so4452402fxm.39 for ; Tue, 30 Nov 2010 06:13:40 -0800 (PST) Received: by 10.223.118.211 with SMTP id w19mr4579793faq.14.1291126420175; Tue, 30 Nov 2010 06:13:40 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.105.207 with HTTP; Tue, 30 Nov 2010 06:13:20 -0800 (PST) In-Reply-To: <933750.90007.qm@web81306.mail.mud.yahoo.com> References: <50b858bc-9bb7-4f66-bf1c-26913d826a3e@a12g2000vbc.googlegroups.com> <933750.90007.qm@web81306.mail.mud.yahoo.com> From: Oren Date: Tue, 30 Nov 2010 09:13:20 -0500 Message-ID: Subject: Re: [lojban] Master thesis in computational linguistics To: lojban@googlegroups.com X-Original-Sender: get.oren@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of get.oren@gmail.com designates 209.85.161.52 as permitted sender) smtp.mail=get.oren@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=001636d34e5ca27c7e049645cb8e --001636d34e5ca27c7e049645cb8e Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable I enjoy Larry Moss's (of Indiana University) logics for natural language semantics, which speaks a lot to decidability/computability. I attended his lectures this past summer at NASSLI, and I think this talk might at least help to contextualize the relevance of processing "natural" language with logic: http://www.indiana.edu/~iulg/moss/ASL31910.pdf It doesn't address imperatives, and parsing (restricted) natural language has already been done (English), but if you wanted to showcase lojban, mayb= e the 'unexpected consequence' idea could take off; that is, things like: Frege=92s favorite food was sushi .: Frege ate sushi at least once might be more easily computable with lojban's restricted vocabulary and built-in "common sense" -- consisting in whatever lojban <-> lojban definitions there are lying around in jbovlaste etc. On Tue, Nov 30, 2010 at 08:30, John E Clifford wrote= : > The basics are pretty straightforward, though occasionally complex > (converting > internal connectives into external ones, shifting quantifiers to the fron= t > and > figuring out their scopes). The more interesting problems involve > stripping off > the human elements: questions (though those can be made to fit logic), > exclamations, commands and the like. I don't know of anyone who has trie= d > to > write a program for doing all (or any) of this, but it seems perfectly > feasible > -- though not, perhaps, in a master''s degree time frame. > > > > ----- Original Message ---- > From: ianek > To: lojban > Sent: Tue, November 30, 2010 6:16:12 AM > Subject: [lojban] Master thesis in computational linguistics > > coi > I'm going to have my computer science master thesis in computational > linguistics. I thought about making a translator from Lojban to logic. > What do you think, has somebody tried it before, with what result? > Also, what other subjects connected to Lojban do you suggest? > > mu'o mi'e ianek > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to > lojban+unsubscribe@googlegroups.com > . > For more options, visit this group at > http://groups.google.com/group/lojban?hl=3Den. > > > > > -- > You received this message because you are subscribed to the Google Groups > "lojban" group. > To post to this group, send email to lojban@googlegroups.com. > To unsubscribe from this group, send email to > lojban+unsubscribe@googlegroups.com > . > For more options, visit this group at > http://groups.google.com/group/lojban?hl=3Den. > > --=20 Oren Robinson (315) 569-2888 102 Morrison Ave Somerville, MA 02144 --=20 You received this message because you are subscribed to the Google Groups "= lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com. For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den. --001636d34e5ca27c7e049645cb8e Content-Type: text/html; charset=windows-1252 Content-Transfer-Encoding: quoted-printable
I enjoy Larry Moss's (of Indiana University) logics fo= r natural language semantics, which speaks a lot to decidability/computabil= ity. I attended his lectures this past summer at NASSLI, and I think this t= alk might at least help to contextualize the relevance of processing "= natural" language with logic:


= It doesn't address imperatives, and parsing (restricted) natural langua= ge has already been done (English), but if you wanted to showcase lojban, m= aybe the 'unexpected consequence' idea could take off; that is, thi= ngs like:

Frege=92s favorite food was sushi
.: Fre= ge ate sushi at least once

might be more easily co= mputable with lojban's restricted vocabulary and built-in "common = sense" -- consisting in=A0whatever lojban <-> lojban definitions= there are lying around in jbovlaste etc.

On Tue, Nov 30, 2010 at 08:30, John E Cliffo= rd <kali9putra= @yahoo.com> wrote:
The basics are pretty straightforward, though occasionally complex (convert= ing
internal connectives into external ones, shifting quantifiers to the front = and
figuring out their scopes). =A0The more interesting problems involve stripp= ing off
the human elements: questions (though those can be made to fit logic),
exclamations, commands and the like. =A0I don't know of anyone who has = tried to
write a program for doing all (or any) of this, but it seems perfectly feas= ible
-- though not, perhaps, in a master''s degree time frame.



----- Original Message ----
From: ianek <janek37@gmail.com&= gt;
To: lojban <lojban@googlegrou= ps.com>
Sent: Tue, November 30, 2010 6:16:12 AM
Subject: [lojban] Master thesis in computational linguistics

coi
I'm going to have my computer science master thesis in computational linguistics. I thought about making a translator from Lojban to logic.
What do you think, has somebody tried it before, with what result?
Also, what other subjects connected to Lojban do you suggest?

mu'o mi'e ianek

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to
lojban+unsubscribe= @googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/lojban?hl=3Den.




--
You received this message because you are subscribed to the Google Groups &= quot;lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojba= n?hl=3Den.




--
Oren Robinson
(315) 569-2888
102 Morrison Ave
Somerville, MA 02144

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--001636d34e5ca27c7e049645cb8e--