On 3/24/07, Ben Goertzel <[EMAIL PROTECTED]> wrote:
One thing that's nice about LISP --- at first glance -- is that it looks
like it can be a language for both AGI content and AGI framework.
But I believe this is somewhat deceptive. In principle LISP could be OK
for AGI framework (though I'm not convinced it's there yet ... though
Allegro LISP arguably comes close...), but I don't think it's right for
AGI content.
On the other hand, you could build an AGI-content language by
**extending** LISP ... whereas if your framework language is C++ you
need to make a content language totally separately.
In fact our content language, Combo, looks a bit like LISP, but with
other features like
-- explicit higher-order typing [not yet implemented, but needed soon]
-- a particular kind of uncertain truth values
-- probabilistic tools for dealing with statements based on their truth
values
Can you expand on what the explicit high-order typing of Combo will
look like, maybe in contrast to what Combo is today?
-Chuck
-----
This list is sponsored by AGIRI: http://www.agiri.org/email
To unsubscribe or change your options, please go to:
http://v2.listbox.com/member/?list_id=303
