This paper presents Abduction and Argumentation as two principled forms for reasoning, and fleshes out the fundamental role that they can play within Machine Learning. It reviews the state-of-the-art work over the past few decades on the link of these two reasoning forms with machine learning work, and from this it elaborates on how the explanation-generating role of Abduction and Argumentation makes them naturally-fitting mechanisms for the development of Explainable Machine Learning and AI systems. Abduction contributes towards this goal by facilitating learning through the transformation, preparation, and homogenization of data. Argumentation, as a conservative extension of classical deductive reasoning, offers a flexible prediction and coverage mechanism for learning -- an associated target language for learned knowledge -- that explicitly acknowledges the need to deal, in the context of learning, with uncertain, incomplete and inconsistent data that are incompatible with any classically-represented logical theory.
翻译:本文将绑架和争论作为两个原则性推理形式,并充实了它们在机器学习中可以发挥的基本作用。它回顾了过去几十年中在这两种推理形式与机器学习工作之间联系方面的最先进的工作,并从中详细阐述了绑架和争论产生的解释作用如何使它们为发展可解释的机器学习和AI系统建立自然适合的机制。 绑架通过数据转换、编制和同质化促进学习,有助于实现这一目标。 争论作为传统推理的保守延伸,提供了一个灵活的预测和覆盖学习机制 -- -- 这是学习知识的一个相关目标语言 -- -- 明确承认在学习方面需要处理与任何传统理论不相容的不确定、不完整和不一致的数据。