Identifying Soft Cores in Propositional Formulæ

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

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Identifying Soft Cores in Propositional Formulæ

Topics: Explainable Artificial Intelligence

In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 486-495, 2022

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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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.-M., 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