Summary

Proof planning calculus Pw

§Recognizes
unpromising states

§Provides proof
search guidance

§Gives a logical
explanation to proof plans

Failure criterion

§Inspects a proof
state

§Recognizes
unpromising ones quickly

§Decidable

+