The Need for Standards

Problem Formulation

• Standard, modularized, axiom sets
• Standard problem language

System Development and Evaluation

• Common problem library in a standard language
• Standard status values
• Analysis tools (see next point)

Communicating Systems

• Reasoning components, filters, analysis tools
• Standard problem and solution languages
• Standard status values

System Certification

• Independent verification of sample solutions
• Common, trusted, verifier
• Common problem library in a standard language
• Standard solution language