Archives of the Caml mailing list > Message from Eray Ozkural

Browse thread

AGI research using ocaml

Eray Ozkural
- blue storm
  - pierre.chambart
    - Eray Ozkural
      - Eray Ozkural
    - Eray Ozkural
      - blue storm
        
        Eray Ozkural
  - Eray Ozkural
    - Basile Starynkevitch
      - Eray Ozkural
        
        Basile Starynkevitch
    - Stefan Monnier
  - Eliot Handelman
    - Eray Ozkural
- Andre Nathan
  - Eray Ozkural
    - Andre Nathan

Date:	2010-03-13 (15:41)
From:	Eray Ozkural <examachine@g...>
Subject:	Re: [Caml-list] AGI research using ocaml

On Sat, Mar 13, 2010 at 5:38 PM, Eliot Handelman <eliot@colba.net> wrote:
>
> If this description is correct (I haven't followed the whole discussion)
> then check out the adate system, which generates programs
> in a subset of SML:
>
> http://www-ia.hiof.no/~rolando/

Yes, ADATE is relevant, but this is errr... significantly different
from ADATE, so I can't just use it for my needs. ADATE does function
induction of course, it's one of the first programs that implemented a
proper program search.

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