Talk:Stanford Research Institute Problem Solver

Unstructured comments
In the first paragraph, I wrote that the article only describes the language used for specifying the input instances. What I mean is that the article currently describes the language only. I think that a description of the planner belongs here. Paolo Liberatore (Talk) 23:25, 25 October 2005 (UTC)
 * I agree that the article can benefit from a description of the planner. But a description of the monkey and bananas problem using the formal language described in the initial part of the article would also be helpful. As it is, there seems to be no connection between the two parts. AlanUS (talk) 21:30, 27 February 2011 (UTC)

I think the _MoveBox(X, Y)_ action is missing the postconditions At(Y), not At(X).217.194.34.103 06:49, 26 June 2007 (UTC)

Math
how do you 128.254.249.90 (talk) 16:31, 10 November 2023 (UTC)