From: Eray Ozkural <examachine@gmail.com>
To: Basile Starynkevitch <basile@starynkevitch.net>
Cc: blue storm <bluestorm.dylc@gmail.com>,
caml-list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] AGI research using ocaml
Date: Sat, 13 Mar 2010 16:58:33 +0200 [thread overview]
Message-ID: <320e992a1003130658j7da25d71nb800db3dfddf9bf5@mail.gmail.com> (raw)
In-Reply-To: <4B9B9BDB.6030904@starynkevitch.net>
On Sat, Mar 13, 2010 at 4:06 PM, Basile Starynkevitch
<basile@starynkevitch.net> 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
next prev parent reply other threads:[~2010-03-13 14:58 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-03-13 10:29 Eray Ozkural
2010-03-13 13:21 ` [Caml-list] " blue storm
2010-03-13 13:38 ` pierre.chambart
2010-03-13 14:01 ` Eray Ozkural
2010-07-29 22:44 ` Eray Ozkural
2010-03-13 15:48 ` Eray Ozkural
2010-03-13 16:00 ` blue storm
2010-03-13 16:57 ` Eray Ozkural
2010-03-13 14:00 ` Eray Ozkural
2010-03-13 14:06 ` Basile Starynkevitch
2010-03-13 14:58 ` Eray Ozkural [this message]
2010-03-13 15:36 ` Basile Starynkevitch
2010-03-14 19:38 ` Stefan Monnier
2010-03-13 15:38 ` [Caml-list] " Eliot Handelman
2010-03-13 15:41 ` Eray Ozkural
2010-03-13 15:02 ` Andre Nathan
2010-03-13 15:39 ` Eray Ozkural
2010-03-13 15:56 ` Andre Nathan
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=320e992a1003130658j7da25d71nb800db3dfddf9bf5@mail.gmail.com \
--to=examachine@gmail.com \
--cc=basile@starynkevitch.net \
--cc=bluestorm.dylc@gmail.com \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).