Machine learning applications have become ubiquitous. Their applications range from embedded control in production machines over process optimization in diverse areas (e.g., traffic, finance, sciences) to direct user interactions like advertising and recommendations. This has led to an increased effort of making machine learning trustworthy. Explainable and fair AI have already matured. They address the knowledgeable user and the application engineer. However, there are users that want to deploy a learned model in a similar way as their washing machine. These stakeholders do not want to spend time in understanding the model, but want to rely on guaranteed properties. What are the relevant properties? How can they be expressed to the stakeholder without presupposing machine learning knowledge? How can they be guaranteed for a certain implementation of a machine learning model? These questions move far beyond the current state of the art and we want to address them here. We propose a unified framework that certifies learning methods via care labels. They are easy to understand and draw inspiration from well-known certificates like textile labels or property cards of electronic devices. Our framework considers both, the machine learning theory and a given implementation. We test the implementation's compliance with theoretical properties and bounds.
翻译:机器学习应用程序已经变得无处不在。 它们的应用范围从生产机器对不同领域( 如交通、金融、科学等)的流程优化的内在控制到对用户的相互作用, 如广告和建议。 这促使人们更加努力地使机器学习变得可信。 可解释和公正的AI已经成熟。 它们针对的是知识丰富的用户和应用工程师。 但是, 有些用户想要以与其洗衣机相似的方式部署学习模型。 这些利益攸关方不想花时间来理解模型,而是要依赖有保障的属性。 相关属性是什么? 如何在不预设机器学习知识的情况下向利益攸关方表达它们? 如何保证它们能实施机器学习模型? 这些问题远远超出目前工艺状态, 我们想在这里解决这些问题。 我们提出一个统一框架, 通过护理标签来验证学习方法。 他们很容易理解和从众所周知的证书( 如纺织标签或电子设备属性卡) 中得到启发。 我们的框架既考虑到机器学习理论,又考虑到给人执行。 我们用理论属性和约束来测试执行过程的遵守情况。