Motivation

Different Reasons for Good Proofs

• Instinct ... we want the best!
• Ranking proofs for other processes
• Combining proofs ... can we make better proofs?

Good Reasons for Different Proofs

• Mathematics ... different axiomatic bases
• Formal methods ... new insights and algorithms
• Planning ... alternative action sequences
• Knowledge-based reasoning ... independent agents' views
• Security ... increase of trust