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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 5042EBBAF for ; Sat, 13 Mar 2010 15:58:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAAM3m0vRVdrYkGdsb2JhbACOdYF2ghKHbQgVAQEBAQkJDAcTAx+IIaB3gWGEVC6ISwEBAwWEdgQ X-IronPort-AV: E=Sophos;i="4.49,632,1262559600"; d="scan'208";a="46639415" Received: from mail-bw0-f216.google.com ([209.85.218.216]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2010 15:58:34 +0100 Received: by bwz8 with SMTP id 8so1803020bwz.3 for ; Sat, 13 Mar 2010 06:58:33 -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=QLGF6i/6E0KwD+2SUgkpKPkzTicx/jpzLpX3qjvq71Y=; b=P7PYcbtguSZFTphPdKdZl0zfCHVUwqR6VkTVPV+p5EoHZCfOeYW4TQIYEMV6n0IO9r h+/Y1GyTJM+y3C58QkR0T92imlMphC9IOZRUlRkOC/gIrmaBnNBnHjOm6mMtG/pZBIeq Mq2/qD8Tag3gtcbuPrm42xg7sLLvu85jFsOxk= 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=PlDuSelPMbYmcSEMz5zkE1cC91n3K6OWjfjHXB6cVRfjaqtNHJ8uh3zMMi7zkjlr1F bba+zmHi4PNt/3STR9wwG16kcKvsil8JMllb/2LVvMfsAd9AWNACE7bIwApa+A9nPVKV UWakdI3fSJcZxn2wg5S+BgB7CNwy+F0PGUNfY= MIME-Version: 1.0 Received: by 10.204.174.194 with SMTP id u2mr6469152bkz.40.1268492313272; Sat, 13 Mar 2010 06:58:33 -0800 (PST) In-Reply-To: <4B9B9BDB.6030904@starynkevitch.net> References: <320e992a1003130229v1f39f6aek752c32a677c3ac87@mail.gmail.com> <527cf6bc1003130521p203013bbo1c62ff66479cff6a@mail.gmail.com> <320e992a1003130600m5397f86bwe0023c78c3b0991e@mail.gmail.com> <4B9B9BDB.6030904@starynkevitch.net> Date: Sat, 13 Mar 2010 16:58:33 +0200 Message-ID: <320e992a1003130658j7da25d71nb800db3dfddf9bf5@mail.gmail.com> Subject: Re: [Caml-list] AGI research using ocaml From: Eray Ozkural To: Basile Starynkevitch Cc: blue storm , caml-list Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; ocaml:01 eray:01 ozkural:01 basile:01 basile:01 ocaml:01 niches:01 eray:01 ozkural:01 bilkent:01 wrote:01 graph:01 cfg:01 experimental:01 symbolic:01 On Sat, Mar 13, 2010 at 4:06 PM, Basile Starynkevitch wrote: > > Sorry for the off-topic remark, but you might be interested by Jacques > Pitrat's work, e.g. his "Artificial Being" book (March 2009, Wiley) > http://www.iste.co.uk/index.php?f=a&ACTION=View&id=257 and his MALICE/CAIA > system on http://pagesperso-orange.fr/jacques.pitrat/ Hello Basile, Indeed my goal is the same as Pitrat's, I wish to construct an automated scientist/engineer. I am not so much interested in the redundancy of everday human life which we have enough of. But it would be really interesting if it could solve some problems, come up with a theory to explain some experimental results, or write programs for me! So, it's kind of a computer-aid for the scientist, I suppose. How to make it relevant to the list? Well, that's easy. In this new breed of AI research we actually need both 1) symbolic processing 2) efficient algorithms and complex data structures. Ocaml fills the both niches rather nicely. Whether I need to implement a CFG, a theorem prover, a graph algorithm, or a data mining algorithm, ocaml is there for me. And that's great because I can keep everything in one language. My only problem right now is the lack of proper GPU support. Except that, it's perfect. MPI will be good enough for multicore/distributed code. 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