Browse thread
AGI research using ocaml
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 <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