Rationality of Theo
One of the primary characteristics of THEO is its rationality. The plans it
creates are guaranteed, relative to its action rules, to succeed.
Furthermore, the correctness or incorrectness of of planner's decisions are preserved.
To return, press HOME.
To go to the next document, press NEXT.