Generating contrastive explanations for inductive logic programming based on a near miss approach

Faculty/Professorship: Cognitive Systems  
Author(s): Rabold, Johannes  ; Siebers, Michael  ; Schmid, Ute  
Year of publication: 2022
Volume: 111
Pages: 1799-1820
Source/Other editions: Machine Learning, 111 (2021), S. 1799–1820 - ISSN: 0885-6125
is version of: 10.1007/s10994-021-06048-w
Year of first publication: 2021
Language(s): English
Licence: Creative Commons - CC BY - Attribution 4.0 International 
URN: urn:nbn:de:bvb:473-irb-546967
In recent research, human-understandable explanations of machine learning models have received a lot of attention. Often explanations are given in form of model simplifications or visualizations. However, as shown in cognitive science as well as in early AI research, concept understanding can also be improved by the alignment of a given instance for a concept with a similar counterexample. Contrasting a given instance with a structurally similar example which does not belong to the concept highlights what characteristics are necessary for concept membership. Such near misses have been proposed by Winston (Learning structural descriptions from examples, 1970) as efficient guidance for learning in relational domains. We introduce an explanation generation algorithm for relational concepts learned with Inductive Logic Programming (GeNME). The algorithm identifies near miss examples from a given set of instances and ranks these examples by their degree of closeness to a specific positive instance. A modified rule which covers the near miss but not the original instance is given as an explanation. We illustrate GeNME with the well-known family domain consisting of kinship relations, the visual relational Winston arches domain, and a real-world domain dealing with file management. We also present a psychological experiment comparing human preferences of rule-based, example-based, and near miss explanations in the family and the arches domains.
GND Keywords: Maschinelles Lernen; Relation <Mathematik>; Kontrastive Syntax; Beinahe-Unfall
Keywords: Explainable AI, Relational concepts, Contrastive explanations, Inductive logic programming, Near miss examples
DDC Classification: 004 Computer science  
RVK Classification: SK 130   
Type: Article
Release Date: 18. July 2022

File SizeFormat  
fisba54696.pdf1.76 MBPDFView/Open