Received: from mail-la0-f58.google.com ([209.85.215.58]:45221)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDUNF3UDXIJBBD6A32EAKGQEZVXJUNQ@googlegroups.com>)
	id 1U4Wvh-0001Ub-C0; Sun, 10 Feb 2013 05:27:02 -0800
Received: by mail-la0-f58.google.com with SMTP id ek20sf1496535lab.3
        for <multiple recipients>; Sun, 10 Feb 2013 05:26:40 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf:date:from
         :to:subject:message-id:references:mime-version:content-type
         :content-disposition:in-reply-to:user-agent:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe;
        bh=HQgOohn5aexp6GlwOPx1GOpA2URHUTxrlK4qMrCfd4Q=;
        b=GobJWxr+veV/DHRbMxoOBpZDbXcDURwfAISPLlZ0HDjVNoVRt/n8w6cBoZJ9PxeSAw
         /Vsyeo5nlwPLB2EWRupAhYh46sL+sjGe0vCiGHhlS0BpL/zfUFeHqm37MAxWYs9cygd6
         kgYEQO9wKOGuD/ncMbpvtMIOOBy3uxgLtnCLoHYcd6hCw5MnHGtuCtJI/K4WoXNy+YQL
         PItTCgP8AnL7TlJ2iZOrm5ugMVSJmmcflJPEvvZ0x7WMncj0Zr4azce9VIRV3m6RsyBz
         qT/yu2Eug6BeGgjXIExcAyK/AZLSXsWOb/wSezH/amUJ+GR9c5ylI/aOuqRwX1ePvGjO
         e5Sw==
X-Received: by 10.180.84.195 with SMTP id b3mr320397wiz.13.1360502800020;
        Sun, 10 Feb 2013 05:26:40 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.180.20.161 with SMTP id o1ls669048wie.7.gmail; Sun, 10 Feb
 2013 05:26:39 -0800 (PST)
X-Received: by 10.14.177.72 with SMTP id c48mr10991937eem.5.1360502799098;
        Sun, 10 Feb 2013 05:26:39 -0800 (PST)
X-Received: by 10.14.177.72 with SMTP id c48mr10991936eem.5.1360502799086;
        Sun, 10 Feb 2013 05:26:39 -0800 (PST)
Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119])
        by gmr-mx.google.com with ESMTPS id m6si9121255een.1.2013.02.10.05.26.38
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Sun, 10 Feb 2013 05:26:39 -0800 (PST)
Received-SPF: neutral (google.com: 85.13.138.119 is neither permitted nor denied by best guess record for domain of me@v4hn.de) client-ip=85.13.138.119;
Received: from samsa (brln-4dbc0bc4.pool.mediaWays.net [77.188.11.196])
	by dd17822.kasserver.com (Postfix) with ESMTPA id 52636865024
	for <lojban@googlegroups.com>; Sun, 10 Feb 2013 14:26:38 +0100 (CET)
Date: Sun, 10 Feb 2013 14:26:37 +0100
From: v4hn <me@v4hn.de>
To: lojban@googlegroups.com
Subject: Re: [lojban] strange behaviour of {cortu}
Message-ID: <20130210132637.GH6270@samsa.fritz.box>
References: <84d88820-8c7d-436b-a0cc-222666747afd@googlegroups.com>
 <2625542.LcrIRrlWQu@caracal>
 <b1e592c6-c230-4f1a-88b6-41f10f9bdf44@googlegroups.com>
 <CAOQ8VDW8Ah8bbzOODw6RJdcn7V9Bt4+xruUYr3LQKv27aRhALQ@mail.gmail.com>
 <d4e903ba-dcca-4624-9ba2-a03a5d3922c1@googlegroups.com>
 <CALMa68oixSyyPSzw6F6QYvV3Ou5eHFGTRmC9SdvQ-ZW0rjX_zw@mail.gmail.com>
 <0c6ecd5d-9e9b-4180-b719-c92d16a4bdfa@googlegroups.com>
 <CALMa68oatkKomMYh0tgdxf17Xbw-cKWd4_9E3HJ4W9SZY=g5Aw@mail.gmail.com>
 <710074ba-dfaa-4789-b735-37122a78b1d5@googlegroups.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="jQIvE3yXcK9X9HBh"
Content-Disposition: inline
In-Reply-To: <710074ba-dfaa-4789-b735-37122a78b1d5@googlegroups.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: me@v4hn.de
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (google.com: 85.13.138.119 is neither permitted nor denied by best guess
 record for domain of me@v4hn.de) smtp.mail=me@v4hn.de
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
X-Spam-Score: -0.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--jQIvE3yXcK9X9HBh
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Sun, Feb 10, 2013 at 03:32:32AM -0800, la gleki wrote:
> Saying that unfilled places are {zo'e} and can=20
> be easily derived from context makes Lojban not so intuitive for computers
> because they don't know this context.

Sorry, but that's no argument for me. Contextual interpretation
is apart from the symbol grounding problem perhaps _the_ research field
in all major AI disciplines(though in very different settings),
so expect some progress there.

> In fact it just suggests that Lojban is a normal natlangish conlang.
> Of course there are no problems perceived by humans in ordinary "vulgar" =
speech.

Lojban is _supposed_ to be a language for human communication.
It just cleans up a lot of problems like audio/visual mismatch and syntactic
ambiguity, which make it even harder for computers as well as humans to
understand a language.

> The problem is that Lojban is too loose in allowing what can be inside=20
> abstraction-sumti ({mi kakne lo nu do citka lo plise} is still gendra=20
> although absolutely nalsmudra).

A language (for communication) is _not_ typed lambda calculus.

> A fix to this problem might sound like this.

No problem, no fix needed.


v4hn

--jQIvE3yXcK9X9HBh
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlEXoA0ACgkQMBKLZs4+wjzuLwCfYL5PsFPsDuGxdV7CHMGOlYoB
YhoAn33VhsHLQCd1PMTJ9jNKgCwbWDI1
=vX/8
-----END PGP SIGNATURE-----

--jQIvE3yXcK9X9HBh--