Identifying Soft Cores in Propositional Formulæ

Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel

2022

Abstract

In view of the emergence of explainable AI, many new concepts intend to explain why systems exhibit certain behaviors while other behaviors are excluded. When dealing with constraints, explanations can take the form of subsets having few solutions, while being sufficiently small for ensuring that they are intelligible enough. To make it formal, we present a new notion, called soft core, characterizing both small and highly constrained parts of GCNF instances, whether satisfiable or not. Soft cores can be used in unsatisfiable instances as an alternative to MUSes (Minimal Unsatisfiable Subformulæ) or in satisfiable ones as an alternative to MESes (Minimal Equivalent Subformulæ). We also provide an encoding to translate soft cores instances into MAX#SAT instances. Finally, we propose a new method to solve MAX#SAT instances and we use it to extract soft cores.

Paper Citation

in Harvard Style

Audemard G., Lagniez J., Miceli M. and Roussel O. (2022). Identifying Soft Cores in Propositional Formulæ. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-547-0, pages 486-495. DOI: 10.5220/0010892700003116

in Bibtex Style

@conference{icaart22,
author={Gilles Audemard and Jean-Marie Lagniez and Marie Miceli and Olivier Roussel},
title={Identifying Soft Cores in Propositional Formulæ},
booktitle={Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2022},
pages={486-495},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010892700003116},
isbn={978-989-758-547-0},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Identifying Soft Cores in Propositional Formulæ
SN - 978-989-758-547-0
AU - Audemard G.
AU - Lagniez J.
AU - Miceli M.
AU - Roussel O.
PY - 2022
SP - 486
EP - 495
DO - 10.5220/0010892700003116