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