Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Regarding mathematics students just using matching... Yes, I think that most students want to just get a passing grade, and then do something else with their lives. As my wife said, the day after she retired, "See, I never used cosine". There is another theme emerging here, which is that if all

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Ted Kosan writes: > Unfortunately, what most mathematics teachers are teaching is not > mathematics. This observation is described well by Scott Gray ... Indeed, I'm sure there's many examples of such teaching going on, and it is important to try to improve this. > High school mathematics

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

On Friday, October 14, 2016 at 4:49:38 AM UTC, tkosan wrote: > > Johan wrote: > > > As William stated, I think any functionality improving SageMath's appeal > > for, say, educating high school students would be very welcome. My main > > concern is how valuable what you propose with PRESS-like

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Johan wrote: > As William stated, I think any functionality improving SageMath's appeal > for, say, educating high school students would be very welcome. My main > concern is how valuable what you propose with PRESS-like printing is in > this respect. > > You gave a printout of your current PRESS

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Hi Ted, As William stated, I think any functionality improving SageMath's appeal for, say, educating high school students would be very welcome. My main concern is how valuable what you propose with PRESS-like printing is in this respect. You gave a printout of your current PRESS implementation

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Here is where the paper Richard mentions is located on the University of Edinburgh website: http://www.dai.ed.ac.uk/pub/daidb/papers/rp357.pdf Ted On Wed, Oct 12, 2016 at 7:35 PM, rjf wrote: > Bundy's bibliography does not include this paper, which includes my critique > of

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Bundy's bibliography does not include this paper, which includes my critique of PRESS http://dl.acm.org/citation.cfm?id=43879 and which has Bundy as a co-author. I think that you would find (unless PRESS has been substantially changed) that PRESS has significantly fewer capabilities, returns

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Thierry wrote: > such a tool could be interesting. However, we are lacking concrete > examples on PRESS abilities. It would be nice if you could provide some > examples (and perhaps benchmarks), especially for things that Sage's solve > command is not able deal with correctely (they are tons,

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Hi, such a tool could be interesting. However, we are lacking concrete examples on PRESS abilities. It would be nice if you could provide some examples (and perhaps benchmarks), especially for things that Sage's solve command is not able deal with correctely (they are tons, just have a look on

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

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

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

William wrote: > The term "AI", especially in the 1990s, has a bad reputation among > some people, due to having massively over-promised and > under-delivered. It got hyped like crazy by both academics and > companies at certain points in the past.The term can -- in some > cases -- cause

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Nilsson's book was published in 1980. I suspect that, even at that time, it was considered as having a fairly limited perspective. 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

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

On Tue, Oct 11, 2016 at 1:15 PM, Ted Kosan wrote: > Richard wrote: > >> I think that calling this Artificial Intelligence is probably unhelpful and >> arguably wrong. But maybe you (and maybe the PRESS people) are >> calling rules + search + evaluation as AI? > > I am

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Richard wrote: > I think that calling this Artificial Intelligence is probably unhelpful and > arguably wrong. But maybe you (and maybe the PRESS people) are > calling rules + search + evaluation as AI? I am currently reading a book titled "Principles of Artificial Intelligence" by Nils J.

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

I think that calling this Artificial Intelligence is probably unhelpful and arguably wrong. But maybe you (and maybe the PRESS people) are calling rules + search + evaluation as AI? Unless it has changed substantially from what I have seen in the past,, PRESS is lacking in rigorous methods for

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Matthieu wrote: > Is this solver works only for systems of linear equations ? The solver I am writing is based on an AI program written in the 1970s named PRESS (PRolog Equation Solving System), and PRESS was designed to solve R Elementary equations, which can contain polynomial, trigonometric,

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Hello Ted, Is this solver works only for systems of linear equations ? If it is the case, why do you need an AI ? Is a standard Gauss algorithm not sufficient ? Cheers Matthieu 2016-10-09 20:40 GMT+02:00 David Joyner : > On Sun, Oct 9, 2016 at 2:20 PM, Ted Kosan

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

On Sun, Oct 9, 2016 at 2:20 PM, Ted Kosan wrote: > David wrote: > >> I think a graphical version of this would be useful as a sage-based >> online high school math tutorial program, such as the khan academy >> algebra modules. > > Are either of the following examples close to

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

David wrote: > I think a graphical version of this would be useful as a sage-based > online high school math tutorial program, such as the khan academy > algebra modules. Are either of the following examples close to what you have in mind?: http://data.ssucet.org/temp/solve_steps_example.png

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

On Sun, Oct 9, 2016 at 2:07 PM, Ted Kosan wrote: > For the past few years I have been working on an artificial intelligence > step-by-step equation solver for elementary algebra equations that solves > these equations using steps that a human would typically use. Here is an >

[sage-devel] Giving Sage AI-based step-by-step equation solving abilities

For the past few years I have been working on an artificial intelligence step-by-step equation solver for elementary algebra equations that solves these equations using steps that a human would typically use. Here is an example of what I have working so far: In>