From nobody@digitalkingdom.org Thu Nov 22 20:50:00 2007 Received: with ECARTIS (v1.0.0; list lojban-beginners); Thu, 22 Nov 2007 20:50:00 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.68) (envelope-from ) id 1IvQU5-0003yG-95 for lojban-beginners-real@lojban.org; Thu, 22 Nov 2007 20:49:55 -0800 Received: from biscayne-one-station.mit.edu ([18.7.7.80]) by chain.digitalkingdom.org with esmtp (Exim 4.68) (envelope-from ) id 1IvQTd-0003xR-V0 for lojban-beginners@lojban.org; Thu, 22 Nov 2007 20:49:40 -0800 Received: from outgoing.mit.edu (OUTGOING-AUTH.MIT.EDU [18.7.22.103]) by biscayne-one-station.mit.edu (8.13.6/8.9.2) with ESMTP id lAN4muhw020212 for ; Thu, 22 Nov 2007 23:48:56 -0500 (EST) Received: from scrubbing-bubbles.mit.edu (SCRUBBING-BUBBLES.MIT.EDU [18.7.18.74]) (authenticated bits=56) (User authenticated as havasi@ATHENA.MIT.EDU) by outgoing.mit.edu (8.13.6/8.12.4) with ESMTP id lAN4mtcV016358 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 22 Nov 2007 23:48:56 -0500 (EST) Received: (from havasi@localhost) by scrubbing-bubbles.mit.edu (8.12.9.20060308) id lAN4mtn5017322; Thu, 22 Nov 2007 23:48:55 -0500 (EST) Date: Thu, 22 Nov 2007 23:48:55 -0500 (EST) From: Catherine Havasi To: lojban-beginners@lojban.org Subject: [lojban-beginners] Re: JIMPE? In-Reply-To: <97f5058c0711221811xadd0c14g18dcfc275e181134@mail.gmail.com> Message-ID: References: <97f5058c0711210346n232d90a5ua217e45f2ca11abf@mail.gmail.com> <20071122205433.GG15066@digitalkingdom.org> <4745ED6D.7070105@gmail.com> <97f5058c0711221811xadd0c14g18dcfc275e181134@mail.gmail.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Scanned-By: MIMEDefang 2.42 X-Spam-Flag: NO X-Spam-Score: 0.00 X-Spam-Score-Int: -39 X-Spam-Bar: ---- X-archive-position: 5817 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-beginners-bounce@lojban.org Errors-to: lojban-beginners-bounce@lojban.org X-original-sender: havasi@MIT.EDU Precedence: bulk Reply-to: lojban-beginners@lojban.org X-list: lojban-beginners > something more like a "chatbot". From what I heard JIMPE is able to make > logical deductions from propositions you enter. Actually, it used some simple deductive logic to do so. The interesting part for us was that it was able to restate its conclusions in valid lojban. It would need a lot of work to become a chatbot. I can answer questions and go digging for the code if people would like. - Catherine