Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
AGI research using ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2010-03-13 (14:58)
From: Eray Ozkural <examachine@g...>
Subject: Re: [Caml-list] AGI research using ocaml
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)
> and his MALICE/CAIA
> system on

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.


Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara