Das automatische Problemlösen stellt ein Teilgebiet der Künstlichen Intelligenz dar, dessen Inhalt die Formalisierung von Problemen und ihre automatisierte Lösung ist. Die Formalisierung erfolgt in der Regel mittels Graphen bzw. Entscheidungsbäumen. Die Lösung eines Problems wird als ein Pfad in einem solchen Graphen bzw. Baum verstanden, der...