On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction

@talk{psykewoa2021,
    abstract = {A common practice in modern explainable AI is to post-hoc explain black-box machine learning (ML) predictors - such as neural networks - by extracting symbolic knowledge out of them, in the form of either rule lists or decision trees. By acting as a surrogate model, the extracted knowledge aims at revealing the inner working of the black box, thus enabling its inspection, representation, and explanation. Various knowledge-extraction algorithms have been presented in the literature so far. Unfortunately, running implementations of most of them are currently either proof of concepts or unavailable. In any case, a unified, coherent software framework supporting them all - as well as their interchange, comparison, and exploitation in arbitrary ML workflows - is currently missing. Accordingly, in this paper we present the design of PSyKE, a platform providing general-purpose support to symbolic knowledge extraction from different sorts of black-box predictors via many extraction algorithms. Notably, PSyKE targets the extraction of symbolic knowledge in logic form, making it possible to extract first-order logic clauses as output. The extracted knowledge is thus both machine- and human-interpretable, and it can be used as a starting point for further symbolic processing, e.g. automated reasoning.},
    address = {Virtual Event},
    apice = {PsykeWoa2021},
    author = {Sabbatini, Federico and Ciatto, Giovanni and Calegari, Roberta and Omicini, Andrea},
    date = {2021-09-01},
    howpublished = {22nd Workshop "From Objects to Agents" (WOA 2021)},
    language = {en},
    month = sep,
    sort = {talk},
    speaker = {Sabbatini, Federico},
    title = {On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction},
    type = {Talk},
    year = 2021
}