Sorry, I meant that someone said that links to one's published papers should
be the criterion. Not necessarily mathematical proofs.
Richard Loosemore wrote:
John Scanlon wrote:
[snip]
And "bottom-up" processing combined with "top-down" processing is also
perfectly reasonable and necessary. But can a full AGI be created based
on a simple (or not-so-simple), but mathematically-formalizable
neural-net algorithm? Intelligence seems to be beyond any level of
complexity that can be described and proved mathematically in academic
papers (which somebody here referenced recently as a criterion for
inclusion in this mailing list).
8-)....? Someone said that mathematical description and proof should be a
criterion for inclusion in this mailing list? If so, I'm glad I missed
that comment: that kind of nonsense is pretty infuriating.
The paper that I presented at the 2006 AGIRI workshop was specifically
directed at the question you raise: I argued that mathematically
formalizable NNs (or mathematically formalizable anything else for that
matter) are actually quite unlikely to lead to real AGI.
Worse, I think the *attitude* that we need more mathematics and more
formalization has done immense damage to AI research. My personal opinion
is that we would have a human level AGI by now if someone had realized
this a long time ago.
More like what the hotshot 3-D video-game programmers do without any
mathematical training. But that's just an analogy. AI is obviously a
lot more difficult, by orders of magnitude, than video-game programming,
and yet it seems to me that the breakthroughs will come from
fly-by-the-seat-of-your-pants imagination and creativity than formal
mathematical analysis of ANNs.
What I said in my paper is not that we do not need to have random,
unbridled imagination and creativity, but that we do need imagination and
creativity within a systematic framework. That is my approach.
Richard Loosemore
-----
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
-----
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
