Automation and Solutions

Degree of Automation

• Fully Automatic
  • Used independently and within more complex environments
  • Examples

• Interactive
  • Used in verification, logic, mathematics
  • Typically embed a fully automatic sub-system
  • Examples

• Fully automatic

Solutions

• Possible outputs
  • Assurance that a solution exists
  • Solution (proof or model)

• Given an assurance, more resources can be allocated to obtain a reason or solution

• Accept an assurance that a solution exists

• Acknowledge production of solutions