Interest in a Mathematics & AI strike force ?

Alp Mestanogullari

3 May 2010 3 May '10

9:59 p.m.

Hello -cafe, When I started learning Haskell, I saw the AI page [1] which aimed at creating a sound, uniform and handy framework for AI programming in Haskell. I added my name on it and thought a bit about it. I even wrote a first version of HNN [2], a neural network library, quite early in my Haskell days. I found that idea to be great but did not see any actual effort around this. So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits. Any comment, idea, reaction, interest ? [1] http://www.haskell.org/haskellwiki/AI [2] http://www.haskell.org/haskellwiki/HNN -- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Attachments:

attachment.html (text/html — 1.8 KB)

Show replies by date

Ivan Miljenovic

3 May 3 May

10:17 p.m.

On 4 May 2010 11:59, Alp Mestanogullari wrote:

...

I found that idea to be great but did not see any actual effort around this. So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits. Any comment, idea, reaction, interest ?

Well, Dons seems to think I'm a one-man graph strikeforce :p http://www.mail-archive.com/haskell-cafe@haskell.org/msg74763.html -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

Alp Mestanogullari

11:06 p.m.

Ok guys, Ivan takes care of graphs =) Note that it's more about computational mathematics, for things one would do for example with Mathematica or similar softwares. Maybe interested people could come and discuss that on IRC, as a beginning, on a #haskell-math channel for example ? On Tue, May 4, 2010 at 4:17 AM, Ivan Miljenovic wrote:

...

...
I found that idea to be great but did not see any actual effort around

On 4 May 2010 11:59, Alp Mestanogullari wrote: this.

...
So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits. Any comment, idea, reaction, interest ?

Well, Dons seems to think I'm a one-man graph strikeforce :p http://www.mail-archive.com/haskell-cafe@haskell.org/msg74763.html

-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Carter Schonwald

4 May 4 May

3:17 a.m.

I'd be quite interested in this sort of project . Please keep me in the loop, -Carter On Mon, May 3, 2010 at 11:06 PM, Alp Mestanogullari wrote:

...

Ok guys, Ivan takes care of graphs =)

Note that it's more about computational mathematics, for things one would do for example with Mathematica or similar softwares.

Maybe interested people could come and discuss that on IRC, as a beginning, on a #haskell-math channel for example ?

On Tue, May 4, 2010 at 4:17 AM, Ivan Miljenovic
...
wrote:

...
...
I found that idea to be great but did not see any actual effort around

On 4 May 2010 11:59, Alp Mestanogullari wrote: this.

...
So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits. Any comment, idea, reaction, interest ?

Well, Dons seems to think I'm a one-man graph strikeforce :p http://www.mail-archive.com/haskell-cafe@haskell.org/msg74763.html

-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

John Creighton

10:58 a.m.

I know that someone has created a Haskell interpreter for lisp. Perhaps this could server as a starting pointing to creating a translator between lisp and haskell. This is relevant with regards to computer algebra because the computer algebra system Maxima is written is lisp. Their is also a repository of AI programs which are written in lisp. No doubt starting from scratch with haskell would create new possibility but it would be nice to also be able to utilize existing work. On May 3, 7:59 pm, Alp Mestanogullari wrote:

...

Hello -cafe,

When I started learning Haskell, I saw the AI page [1] which aimed at creating a sound, uniform and handy framework for AI programming in Haskell. I added my name on it and thought a bit about it. I even wrote a first version of HNN [2], a neural network library, quite early in my Haskell days.

I found that idea to be great but did not see any actual effort around this. So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits.

Any comment, idea, reaction, interest ?

[1]http://www.haskell.org/haskellwiki/AI [2]http://www.haskell.org/haskellwiki/HNN

-- Alp Mestanogullarihttp://alpmestan.wordpress.com/http://alp.developpez.com/

_______________________________________________ Haskell-Cafe mailing list Haskell-C...@haskell.orghttp://www.haskell.org/mailman/listinfo/haskell-cafe

-- You received this message because you are subscribed to the Google Groups "Haskell-cafe" group. To post to this group, send email to haskell-cafe@googlegroups.com. To unsubscribe from this group, send email to haskell-cafe+unsubscribe@googlegroups.com. For more options, visit this group athttp://groups.google.com/group/haskell-cafe?hl=en.

Alp Mestanogullari

12:08 p.m.

This is a very interesting idea. I consider it to be a long shot compared to "just" writing haskell code to perform these tasks, so I don't think it's a priority, except if someone is willing to work on this. But I'd already be quite satisfied with a more complete and uniform "framework" for mathematics in haskell. On Tue, May 4, 2010 at 4:58 PM, John Creighton wrote:

...

I know that someone has created a Haskell interpreter for lisp. Perhaps this could server as a starting pointing to creating a translator between lisp and haskell. This is relevant with regards to computer algebra because the computer algebra system Maxima is written is lisp. Their is also a repository of AI programs which are written in lisp. No doubt starting from scratch with haskell would create new possibility but it would be nice to also be able to utilize existing work.

...
Hello -cafe,

When I started learning Haskell, I saw the AI page [1] which aimed at creating a sound, uniform and handy framework for AI programming in Haskell. I added my name on it and thought a bit about it. I even wrote a first version of HNN [2], a neural network library, quite early in my Haskell days.

I found that idea to be great but did not see any actual effort around

On May 3, 7:59 pm, Alp Mestanogullari wrote: this.

...
So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits.

Any comment, idea, reaction, interest ?

[1]http://www.haskell.org/haskellwiki/AI [2]http://www.haskell.org/haskellwiki/HNN

-- Alp Mestanogullarihttp:// alpmestan.wordpress.com/http://alp.developpez.com/

_______________________________________________ Haskell-Cafe mailing list Haskell-C...@haskell.orghttp:// www.haskell.org/mailman/listinfo/haskell-cafe

-- You received this message because you are subscribed to the Google Groups "Haskell-cafe" group. To post to this group, send email to haskell-cafe@googlegroups.com. To unsubscribe from this group, send email to haskell-cafe+unsubscribe@googlegroups.com . For more options, visit this group athttp:// groups.google.com/group/haskell-cafe?hl=en.

Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Neal Alexander

5 May 5 May

12:10 p.m.

Alp Mestanogullari wrote:

...

Hello -cafe,

When I started learning Haskell, I saw the AI page [1] which aimed at creating a sound, uniform and handy framework for AI programming in Haskell. I added my name on it and thought a bit about it. I even wrote a first version of HNN [2], a neural network library, quite early in my Haskell days.

I found that idea to be great but did not see any actual effort around this. So, I'm now thinking again about that and even enlarging it to mathematics & AI. Thus, I would like to have an idea of the number of people interested in being involved in such an effort. There are several tools out there on hackage but they aren't that much uniform and neither play nicely together. I'm pretty convinced this could be improved and as a Mathematics student I'm highly interested in that. If enough people are interested, we could for example set up a mailing list and a trac to organize the effort and then people could just discuss and write Haskell modules when time permits.

Any comment, idea, reaction, interest ?

[1] http://www.haskell.org/haskellwiki/AI [2] http://www.haskell.org/haskellwiki/HNN

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

------------------------------------------------------------------------

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Yea, I'm interested. Over the last several months I've been reading a few books on AI and have been trying to distill a Haskell library out of them: The library is pretty primitive so far, but this is what i have laid out: - Neural Networks (usable) - Blackboard Architecture (work in progress) - FSM (usable) - Genetic Algorithms (usable) - Goal Oriented Behaviors (work in progress) - Goal Oriented Planning (work in progress) - Markov Chains (work in progress) - Steering (usable) - Fuzzy Logic (usable) - Decision Tree (work in progress) At the moment I'm working on some constrained delaunay triangulation algorithms to use for spatial reasoning / path planning.

Alp Mestanogullari

12:47 p.m.

On Wed, May 5, 2010 at 6:10 PM, Neal Alexander wrote:

...

Yea, I'm interested. Over the last several months I've been reading a few books on AI and have been trying to distill a Haskell library out of them:

The library is pretty primitive so far, but this is what i have laid out:

- Neural Networks (usable) - Blackboard Architecture (work in progress) - FSM (usable) - Genetic Algorithms (usable) - Goal Oriented Behaviors (work in progress) - Goal Oriented Planning (work in progress) - Markov Chains (work in progress) - Steering (usable) - Fuzzy Logic (usable) - Decision Tree (work in progress)

At the moment I'm working on some constrained delaunay triangulation algorithms to use for spatial reasoning / path planning.

That looks awesome! Would you have some time to drop by the #haskell-math IRC channel ? I'm planning to ask for a mailing list and a wiki for the project because a single mailing list thread won't be of help here. But for the moment most discussions happen on #haskell-math. Anyway, would you be willing to integrate your library in that project ? Side note : we're currently discussing the minimal algebra framework we will have to ship with the library, letting us implement general algorithms instead of specific ones (why being restricted to integers when any group / ring / field can be used ? etc). -- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Neal Alexander

6 May 6 May

12:32 p.m.

Alp Mestanogullari wrote:

...

Anyway, would you be willing to integrate your library in that project ?

Yea, it's much better to work with a group on stuff like this.

Alp Mestanogullari

12:36 p.m.

Ok, then just subscribe to the mailing list, and follow the instructions I gave earlier, so that we'll start discussing about your code's integration in hasklab. Thanks! On Thu, May 6, 2010 at 6:32 PM, Neal Alexander wrote:

...

Alp Mestanogullari wrote:

...
Anyway, would you be willing to integrate your library in that project ?

Yea, it's much better to work with a group on stuff like this.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Ron Alford

5 May 5 May

2:03 p.m.

On Wed, May 5, 2010 at 12:10 PM, Neal Alexander wrote:

...

- Goal Oriented Behaviors (work in progress) - Goal Oriented Planning (work in progress)

I have a library for PDDL parsing and representation[1] that I used in a recent paper. It's heavy complex types to deal with various extensions to the language. I'm currently updating it for another project, so if you're interested, please let me know! -Ron [1] http://www.cs.umd.edu/projects/planning/data/alford09translating/

Alp Mestanogullari

2:11 p.m.

That could be interesting. I guess we can discuss its integration, and how it would be done. Thus, you may be interested in my next message, about the mailing list and the repository. Thanks for your interest! On Wed, May 5, 2010 at 8:03 PM, Ron Alford wrote:

...

On Wed, May 5, 2010 at 12:10 PM, Neal Alexander wrote:

...
- Goal Oriented Behaviors (work in progress) - Goal Oriented Planning (work in progress)

I have a library for PDDL parsing and representation[1] that I used in a recent paper. It's heavy complex types to deal with various extensions to the language. I'm currently updating it for another project, so if you're interested, please let me know!

-Ron

[1] http://www.cs.umd.edu/projects/planning/data/alford09translating/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Alp Mestanogullari

2:23 p.m.

Okay, people, if you're interested in this project, there are several things you should / may want to do. First, we now have a mailing list for discussing what should be part of that project, how things will be organized, etc. Please subscribe on this page : http://projects.haskell.org/cgi-bin/mailman/listinfo/hasklab We also have patch-tag project : https://patch-tag.com/r/alpmestan/hasklab/home If you want to participate: - if you already have a patch-tag account, just contact me (via the mailing list for example) for adding you to the project, so that you'll be able to push to the repo - if you don't have a patch-tag account, sign-up on http://patch-tag.com/and then ask for being added to the project. All the details about getting the code or whatever (there is none for the moment, in the upcoming days most of the activity should be on the mailing list) are listed on hasklab's patch-tag page. Finally, we also have a patch-tag wiki, here : https://patch-tag.com/r/alpmestan/hasklab/wiki/ I will edit it the wiki tonight to give some informations about what we discussed, the priorities, etc. Thanks all for your interest, please subscribe to the mailing list in order to discuss about what people are willing to do, how we should to it, etc. -- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Ivan Miljenovic

8:19 p.m.

Well, based on what you want your priorites to be, I might bow out then (at least until you start wanting to have graph-centric operations in there, then I might pitch in). On 6 May 2010 04:23, Alp Mestanogullari wrote:

...

We also have patch-tag project : https://patch-tag.com/r/alpmestan/hasklab/home

Any particular reason for using patch-tag rather than code.haskell.org? For the wiki? My main objection to patch-tag is that projects are tied to the user who created them; as such, if you later on decide to leave the project then the entire thing has to be cloned and everyone's URLs will need changing (for homepage, etc.). This applies to github, etc. as well; I don't feel that they are ideal hosting sites for multi-user projects specifically because of this. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

Alp Mestanogullari

9:17 p.m.

On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic wrote:

...

Well, based on what you want your priorites to be, I might bow out then (at least until you start wanting to have graph-centric operations in there, then I might pitch in).

Well, we do now want it to be graph-centric, but graphs definitely play a role here! We may want to implement algorithms relying on graphs.

...

On 6 May 2010 04:23, Alp Mestanogullari wrote:

Any particular reason for using patch-tag rather than

...

code.haskell.org? For the wiki?

Yeah I thought about your objection, but the two main reasons are the gitit wiki (way handier for maths stuffs than trac's) and the easy handling of new contributors and project management -- it is way more manual on c.h.o for example, whereas everything is automated on patch-tag. The user-tied aspect is a bit annoying but should be fine ; i will definitely do mathematics and haskell for a while heh. -- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

Ivan Miljenovic

9:20 p.m.

On 6 May 2010 11:17, Alp Mestanogullari wrote:

...

On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic wrote:

...
Well, based on what you want your priorites to be, I might bow out then (at least until you start wanting to have graph-centric operations in there, then I might pitch in).

Well, we do now want it to be graph-centric, but graphs definitely play a role here! We may want to implement algorithms relying on graphs.

OK, how about we do it this way: I'm currently involved in working on FGL with Louis Wasserman and Thomas Bereknyei and so can't really get involved with your "strikeforce" atm, but if you have an queries or want something done contact me and I'll see what I can do. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

Alp Mestanogullari

9:50 p.m.

We won't hesitate. Anyway, a part of your work will benefit HNN ;-) (and potential a potential Bayesian network library, e.g) Good luck to you for the work on graphs guys! On Thu, May 6, 2010 at 3:20 AM, Ivan Miljenovic wrote:

...

On 6 May 2010 11:17, Alp Mestanogullari wrote:

...
On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic < ivan.miljenovic@gmail.com> wrote:

...
Well, based on what you want your priorites to be, I might bow out then (at least until you start wanting to have graph-centric operations in there, then I might pitch in).

Well, we do now want it to be graph-centric, but graphs definitely play a role here! We may want to implement algorithms relying on graphs.

OK, how about we do it this way: I'm currently involved in working on FGL with Louis Wasserman and Thomas Bereknyei and so can't really get involved with your "strikeforce" atm, but if you have an queries or want something done contact me and I'll see what I can do.

-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/

5495

Age (days ago)

5497

Last active (days ago)

List overview

Download

16 comments

6 participants

participants (6)

Alp Mestanogullari
Carter Schonwald
Ivan Miljenovic
John Creighton
Neal Alexander
Ron Alford