From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 5D28EBBAF for ; Sat, 13 Mar 2010 16:41:19 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAGxAm0vRVdrYkGdsb2JhbACOdYF2ghKHbQgVAQEBAQkJDAcTAx+pK4FhhE8uiEsBAQMFhHYE X-IronPort-AV: E=Sophos;i="4.49,632,1262559600"; d="scan'208";a="58799828" Received: from mail-bw0-f216.google.com ([209.85.218.216]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2010 16:41:19 +0100 Received: by bwz8 with SMTP id 8so1821501bwz.3 for ; Sat, 13 Mar 2010 07:41:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type; bh=eoGnI8EiGLGnrPsiE3Tb5hmDr/ZUBhMVFy79hNBHlLQ=; b=BMypj+FlIMSOq/+a59XuKnp1IZUyf/sMg2XmMzehLgBtf/wgKv+2IJV5JC1glbeWid XlcJ5J8OrAkbT/5H/HRhjztOlUg4NqNhiieiwvJf9aB8DGh3IlITxmuZE4FdV4aEyX1b kxOX22BPWoHlaReU433Qn3dsmuXVN1gNiCYpE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=v+NAPD+fXUpJhgsq+3pvHxYJ4P7EVpcIOMA9sIadM0E9F7oklv/N/Vrj6Gybmfe7ho 7rLn5324zRPt1AIIxOoXvlfQoCqz9VsGYuEle4VN0H4WIG0PGLFhlVKDFN7w1fM7G4vR OAHx5aJ44hYuONkZrZI3QSm1Y6EfrPDMpj1/0= MIME-Version: 1.0 Received: by 10.204.36.82 with SMTP id s18mr3498683bkd.94.1268494877845; Sat, 13 Mar 2010 07:41:17 -0800 (PST) In-Reply-To: <4B9BB16B.4010806@colba.net> References: <320e992a1003130229v1f39f6aek752c32a677c3ac87@mail.gmail.com> <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> <4B9BB16B.4010806@colba.net> Date: Sat, 13 Mar 2010 17:41:17 +0200 Message-ID: <320e992a1003130741k680dc896p68cd197719fd1dd@mail.gmail.com> Subject: Re: [Caml-list] AGI research using ocaml From: Eray Ozkural To: eliot@colba.net Cc: blue storm , caml-list Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 eray:01 ozkural:01 subset:01 errr:01 eray:01 ozkural:01 bilkent:01 sml:01 wrote:01 caml-list:01 implemented:02 groups:02 sci:04 discussion:06 On Sat, Mar 13, 2010 at 5:38 PM, Eliot Handelman wrote: > > If this description is correct (I haven't followed the whole discussion) > then check out the adate system, which generates programs > in a subset of SML: > > http://www-ia.hiof.no/~rolando/ Yes, ADATE is relevant, but this is errr... significantly different from ADATE, so I can't just use it for my needs. ADATE does function induction of course, it's one of the first programs that implemented a proper program search. Best, -- Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara http://groups.yahoo.com/group/ai-philosophy http://myspace.com/arizanesil http://myspace.com/malfunct