Failure-Reasoning in Multi-Strategy Proof Planning

Andreas Meier, Erica Melis

In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning (ARW) Edinburgh 2005.


Knowledge how to overcome and react to impasses and other failures is an important ingredient of successful mathematical problem solving. This paper briefly discusses the realization of failure-reasoning in the multi-strategy proof planner MULTI.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence