Received: from mail-bk0-f63.google.com ([209.85.214.63]:64271)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDUNF3UDXIJBBAOW32EAKGQEVX6VLVI@googlegroups.com>)
	id 1U4Xes-00021A-J6; Sun, 10 Feb 2013 06:13:42 -0800
Received: by mail-bk0-f63.google.com with SMTP id jf20sf1530951bkc.28
        for <multiple recipients>; Sun, 10 Feb 2013 06:13:23 -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=ug8iHrcYeG7FkTMNb31qXHmZaQO8hECSi16PtvE9MCw=;
        b=Sm8dR495mvPV9iiPD0J65YQsAw9Zn+TlygZcsfEBfdOBSr0D+1CPH10IrGm9xHTx5H
         soYpNjsTO1Y+a27HDdvtSD9nxryMvtpzQ7JKeg73mxT4eGGbLNdHSwJVxs8LRqtU4qYP
         uJOYDPRRVuw3CSMoblVIRq+THjjHYaVxz1I38eRmgedkpMhBD5QC/WhLIHUuC7NncDS1
         qvCaWDsbib+/H9TLb0j+hwcua/O1ivjmHweUmCevAaZJ9MyCi8zaSYSYd0uuUja0J3oi
         WwERoqfd22ZoLQd/m68MZLgXVwd3F1bwn4kZepHVx+7qjx5jYl5rOjXXLHpguFbZEMvO
         FlZw==
X-Received: by 10.180.82.230 with SMTP id l6mr325352wiy.0.1360505602666;
        Sun, 10 Feb 2013 06:13:22 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.180.95.70 with SMTP id di6ls661629wib.26.canary; Sun, 10 Feb
 2013 06:13:21 -0800 (PST)
X-Received: by 10.14.177.72 with SMTP id c48mr11084618eem.5.1360505600823;
        Sun, 10 Feb 2013 06:13:20 -0800 (PST)
X-Received: by 10.14.177.72 with SMTP id c48mr11084617eem.5.1360505600808;
        Sun, 10 Feb 2013 06:13:20 -0800 (PST)
Received: from dd17822.kasserver.com (dd17822.kasserver.com. [85.13.138.119])
        by gmr-mx.google.com with ESMTPS id 6si6098879eej.0.2013.02.10.06.13.20
        (version=TLSv1 cipher=RC4-SHA bits=128/128);
        Sun, 10 Feb 2013 06:13:20 -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 1B2E0865024
	for <lojban@googlegroups.com>; Sun, 10 Feb 2013 15:13:19 +0100 (CET)
Date: Sun, 10 Feb 2013 15:13:19 +0100
From: v4hn <me@v4hn.de>
To: lojban@googlegroups.com
Subject: Re: [lojban] strange behaviour of {cortu}
Message-ID: <20130210141319.GI6270@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>
 <CALMa68p-mmDw=8cgensA0CrCG6E+DiRj4+O9bHf2tT7eQ9fT6w@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="enLffk0M6cffIOOh"
Content-Disposition: inline
In-Reply-To: <CALMa68p-mmDw=8cgensA0CrCG6E+DiRj4+O9bHf2tT7eQ9fT6w@mail.gmail.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: /


--enLffk0M6cffIOOh
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Sun, Feb 10, 2013 at 10:38:03AM -0300, Felipe Gon=C3=A7alves Assis wrote:
> If you input to a computer
>  (1) {la .djan. cortu lo birka}
>  (2) {.i ri birka ma},
> it could infer the answer to the question from the following general prin=
ciples,
> which you may call semantic axioms:
>  (3) {roda rode ganai cortu gi se pagbu}
>  (4) {ro da poi birka ku'o ro de poi danlu ganai pagbu gi birka}
> and some data providing
>  (5) {la .djan. danlu}

> Question (2) could trigger a search for data expressing a {birka} relatio=
n, or
> principles having it as its consequent. Finding (4) would trigger a searc=
h for
> things that imply a {pagbu}. This would lead to (3) which by its turn wou=
ld
> lead to (1). Then it would be just a case of checking that {la .djan. dan=
lu} and
> the trivial {lo birka cu birka}.
>=20
> Of course there would be typically many side attempts leading to dead end=
s,
> but nobody said that artificial intelligence is easy and, not really havi=
ng any
> experience in the area, my point is that the inference is possible, from =
very
> general semantic information, and with a pretty simple reasoning.

People like Patrick Hayes and Drew McDermott tried to do that for a loong t=
ime
even with logical formulas instead of language(though lojban might be somew=
here
between). Forget about it. Human everyday reasoning is not based on symbolic
inference. It just doesn't work. Abduction, analogy reasoning, etc. might w=
ork
(at least better than inference), but you're explanation is a very nice exa=
mple
of the reasoning back in the 1980th.


v4hn

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

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

iEYEARECAAYFAlEXqv8ACgkQMBKLZs4+wjwoHQCgif3XYunrOoxVlhIekTCUc3ik
EDUAn1omYsZMZS2AOTxGgthS6edQ+9lE
=NQnx
-----END PGP SIGNATURE-----

--enLffk0M6cffIOOh--