Since the Novamente AGI high-level design and the "patternist philosophy of mind" are basically completed and stable for a while (though I'm still engaged with writing them up), I need a new conceptual obsession to absorb the extremely-abstract-thinking portion of my brain... ;-)
Thinking about the development of forms, I have in mind three main specific areas:
- developmental psychology (in humans and AI's)
- epigenesis in biological systems
- the growth of the early universe: the emergence of physical law from lawlessness, etc. (cf John Wheeler)
Each of these is a big area and I've decided to proceed through them in this order. Maybe I will never get to the physics part and will just try to abstract a general theory of development from the first two cases, we'll see.
I also have an intuition that it may be useful to use formal language theory of some sort as a conceptual tool for expressing developmental stages and patterns. Piaget tried to use abstract algebra in some of his writings, which was a nice idea, but didn't quite work. This ties in with Jerry Fodor's notion of a "language of thought", which I don't buy quite in all the senses he means it, but may have some real meat to it. It may be that developing minds at different stages. I don't know if anyone has taken this approach in the developmental psych literature.
For instance, it's arguable that quantifier binding is only added to the human language of thought at Piaget's formal stage, and that recursion is only added to the human language of thought at Piaget's concrete operational stage (which comes along with phrase structure syntax as opposed to simpler proto-language). What I mean by "X is added to the human language of thought at stage S" is something like "X can be used with reasonable generality and fluidity at stage S" -- of course many particular instances of recursion are used before the pre-operational phase, and many particular instances of quantifier binding are used before the formal phase. But the full "syntax"of these operations is not mastered prior to the stages I mentioned, I suggest. (Note that I am using Piaget's stage-labels only for convenience, I don't intend to use them in my own theory of forms; if I take a stage-based approach at all then I will define my own stages.)
I note that formal language theory is something that spans different domain areas in the sense that
- there's discussion of "language of thought" in a general sense
- natural language acquisition is a key aspect of developmental psych
- L-system theory shows that formal languages are useful for explaining and modeling plant growth
- "Symbolic dynamics" uses formal language theory to study the dynamics of chaotic dynamical systems in any domain, see also Crutchfield and Young
So it seems to be a potentially appropriate formal tool for such a project.
I was discussing this with my friend Stephan Bugaj recently and he and I may write a book on this theme if we can pull our thinking together into a sufficiently organized form....
10 comments:
To me it's curious that you're now talking about a "Language of Thought" or symbolic structure to cognition when most of your work with AI in the past has been firmly within the subsymbolic camp. If you're looking for a symbolic algebra to describe cognition, why go any further than ACT-R? But if you actually want to simulate (or create) cognition, it seems like you'd want to work with biologically-plausible neural networks.
One example would be the cascade correlation algorithm, with which there's been some success in simulating Piaget's developmental stages.
Hey Micah - hasn't Chomsky backed off of his earlier claims for the "language module," and said that if an innate grammar does exist it's in the form of "things do things to other things" (or something else equivalently abstract) that could just as easily be taken as "innate motor skill" or "innate social knowledge" etc etc.
I thought this was true, but I'm having trouble finding any quotes to this effect, and now I'm wondering whether I just made it up. :)
Not sure if you are familar* with the work of Christopher Alexander, who devised the idea of an architectural pattern language in the 1970s at Berkeley. His ideas have always had resonance outside of architecture- they led directly to the idea of patterns in software development, for example
He has recently published a four volume work called The Nature of Order- An essay on the art of building and the nature of the universe, which addresses patterns at the heart of life.
http://www.amazon.com/exec/obidos/tg/stores/series/-/55505/ref=pd_sr_ec_ser_b/103-6372486-6391820
and his site at http://www.patternlanguage.com/
Dave Williams
* I googled your site for terms 'Christopher' and 'Alexander' and couldn't find any references, so I've presumed to add this comment
Maybe that could help you:
http://www.pierre-sonigo.org/IMG/pdf/robot_mix_V3.pdf
Ben,
You might be interested in checking out Spencer-Brown's 'Laws of Form.' There's a language of cognition there if you read it right -- it's the mathematical basis for a new epistemological stance, and moreover, one focused on using self-reference in a non-paradoxical way! :)
Joe
Cara melancarkan asi
Love your blogspot. I take a lot of heat sometimes due to my Blogspots. It is good to see someone else who is hands-on working his own desk. Very interesting this plant disease app I have found a new way of agriculture and growing that has much to do with my Gerevivify alogorithm and serum step by step process to healing the human body of aging. But as for knowing all that much about plant disease I do not, my knowledge truly ends at cold stratification and soil preparation.. Again Like your blogspot great respect AEWR - Adam and Eve Word Research Blogspot. r.p.berry
This theory of the development of Forms is quite helpful for my assignment. Thanks for sharing your idea with us. You're quite a genius. Now, it's time to get the services of Digital Consultancy click for more information.
"The Multiverse According to Ben." It sounds like a fascinating exploration, and I'd love to hear more about Ben's perspective on the multiverse.
A General Theory of the Development of Forms would be a pretty interesting concept, laying out a framework to understand how development in forms takes place in fields. And while researching such theories, Google scholar research topics
can be really a great resource to dive into scholarly work available and abundant with insightful studies across
Post a Comment