loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Gilles Audemard ; Jean-Marie Lagniez ; Marie Miceli and Olivier Roussel

Affiliation: CRIL, Univ. Artois & CNRS, Lens, France

Keyword(s): SAT, Explanation, #SAT, Max#SAT.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.91.98

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-433X, SciTePress, pages 486-495. DOI: 10.5220/0010892700003116

@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},
issn={2184-433X},
}

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
IS - 2184-433X
AU - Audemard, G.
AU - Lagniez, J.
AU - Miceli, M.
AU - Roussel, O.
PY - 2022
SP - 486
EP - 495
DO - 10.5220/0010892700003116
PB - SciTePress