Richard wrote: > Nilsson's book was published in 1980. I suspect that, even at that > time, it was considered as having a fairly limited perspective.
In 2014 Marvin Minsky stated that current AI researchers were years behind the AI research that was being done in the 1970s. In my opinion, he was correct. > As far as PRESS is concerned, it would be possible to import it entirely > into SAGE (assuming that PRESS is open source). I believe there is an open > implementation of Prolog, apparently fairly efficient, in Lisp. Since SAGE > includes a > complete Lisp system, it could also include a complete Prolog system. A few years ago I found the PRESS source code sitting on one of Edinburgh University's servers. I spent quite a bit of time modifying it to run on a modern implementation of Prolog (which was SWI-Prolog) because I had to learn Prolog first. When I contacted Alan Bundy to tell him I got PRESS running again, he said my email was a "blast from the past" (for those who don't know, Alan is the lead researcher on the team that developed PRESS, and he is still at Edinburgh). I gave Alan a copy of my modified version of PRESS and asked if he would please place it under an open source license. The version of PRESS that I modified was placed on GitHub around a month ago: https://github.com/maths/PRESS However, PRESS was not specifically designed for use in education, so I don't think it would be very useful to include in Sage. > In fact, I doubt that many students do the kind of step-by-step analysis > outlined, but take much bigger steps after learning just a little. What > they really do, I suspect, is study the examples in the text and study > the difference between the example and the problem. The PRESS researchers spent almost 15 years implementing into PRESS what they called "psychologically plausible" techniques for how they thought humans might actually be doing mathematics at mostly an unconscious level. These techniques are simply amazing, and I am convinced they will change the way mathematics is taught after they become widely known. Ted -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
