Problem Solving in Prodigy
Problem Solving in Prodigy
At the heart of Prodigy is a general problem-solver. Given a goal, some
operators, and control rules,
the problem-solver tries to find a path to the goal using the
operators, restricted by the control rules. These search control
rules can be used to specify different search methods, the default of
which is means-ends analysis. An interesting property of Prodigy's
problem-solver is casual
commitment.
Return to the top of this architecture.
Go to a discussion of this capability
for multiple architectures.
Current Location: Prodigy-Capabilities-Problem Solving