Better AI through Logical Scaffolding
arXiv:1909.06965
Abstract
We describe the concept of logical scaffolds, which can be used to improve the quality of software that relies on AI components. We explain how some of the existing ideas on runtime monitors for perception systems can be seen as a specific instance of logical scaffolds. Furthermore, we describe how logical scaffolds may be useful for improving AI programs beyond perception systems, to include general prediction systems and agent behavior models.
CAV Workshop on Formal Methods for ML-enabled Autonomous Systems 2019