March 17, 2013

Constraint Functional Programming using Heterogenous Architectures

What a fancy name for just do this:

Have a Constraint Satisfaction Problem, then program it using Haskell and exploit multicore capabilities, what I mean with this, that user should not worry if they have 1, 10 or 1000 processing units, he/she would see an automatic performance increase just by running on a platform where more resources are available.


But you might wonder, why use Haskell if there are thousands of libraries already written for C++ or other languages?? Well the only reason is because functional programming is a high level - abstract approach to implement any mathematical statement, and due to AI heavily reling on logic, then it is a good start.

If you would like to see it further, here is the preliminary draft of the document that states which would be the outcome of such research. And yes, I would like to study a PhD program ;)

http://es.scribd.com/doc/130920180/PhD-Proposal-CFProg

No comments:

Post a Comment