[Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 relapse@gmx.com 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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
On Wed, May 5, 2010 at 6:10 PM, Neal Alexander relapse@gmx.com 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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
On Wed, May 5, 2010 at 12:10 PM, Neal Alexander relapse@gmx.com 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
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 ronw...@volus.net wrote: On Wed, May 5, 2010 at 12:10 PM, Neal Alexander relapse@gmx.com 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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 a...@mestan.fr 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.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic ivan.miljeno...@gmail.comwrote: 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 a...@mestan.fr 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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
On 6 May 2010 11:17, Alp Mestanogullari a...@mestan.fr wrote: On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic ivan.miljeno...@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.miljeno...@gmail.com IvanMiljenovic.wordpress.com ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 ivan.miljeno...@gmail.comwrote: On 6 May 2010 11:17, Alp Mestanogullari a...@mestan.fr wrote: On Thu, May 6, 2010 at 2:19 AM, Ivan Miljenovic ivan.miljeno...@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.miljeno...@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
[Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 a...@mestan.fr 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-c...@googlegroups.com. To unsubscribe from this group, send email to haskell-cafe+unsubscr...@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
Re: [Haskell-cafe] Re: Interest in a Mathematics AI strike force ?
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 johns2...@gmail.com 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. On May 3, 7:59 pm, Alp Mestanogullari a...@mestan.fr 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-c...@googlegroups.com. To unsubscribe from this group, send email to haskell-cafe+unsubscr...@googlegroups.comhaskell-cafe%2bunsubscr...@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/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe