Background

About Proofs

• Proofs (and proof-like structures) are an essential part of science
• Different proofs have different properties
  • Formal methods ... ease of verification, new algorithms
  • Planning ... alternative action sequences
  • Knowledge-based reasoning ... independent agents' views
  • Security ... different ground observations, trust
  • Mathematics ... elegance, different axiomatic bases
• Different proofs are good proofs!

• We combine (ATP) proofs to form different new proofs

About ATP

• ATP, What is it?
• ATP, What is it Good For?
• ATP, a Common Approach