Search

Your search keyword '"Mazure, Bertrand"' showing total 169 results
Start Over Author "Mazure, Bertrand"

Refine your results

more »

more »

more »

more »
169 results on '"Mazure, Bertrand"'

1. A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration

Author

Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, and Tabia, Karim

Subjects
Computer Science - Artificial Intelligence
Abstract

In this paper titled A Model-Agnostic SAT-based approach for Symbolic Explanation Enumeration we propose a generic agnostic approach allowing to generate different and complementary types of symbolic explanations. More precisely, we generate explanations to locally explain a single prediction by analyzing the relationship between the features and the output. Our approach uses a propositional encoding of the predictive model and a SAT-based setting to generate two types of symbolic explanations which are Sufficient Reasons and Counterfactuals. The experimental results on image classification task show the feasibility of the proposed approach and its effectiveness in providing Sufficient Reasons and Counterfactuals explanations.

Published
2022

2. ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations

Author

Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, and Tabia, Karim

Subjects
Computer Science - Artificial Intelligence
Abstract

The ever increasing complexity of machine learning techniques used more and more in practice, gives rise to the need to explain the predictions and decisions of these models, often used as black-boxes. Explainable AI approaches are either numerical feature-based aiming to quantify the contribution of each feature in a prediction or symbolic providing certain forms of symbolic explanations such as counterfactuals. This paper proposes a generic agnostic approach named ASTERYX allowing to generate both symbolic explanations and score-based ones. Our approach is declarative and it is based on the encoding of the model to be explained in an equivalent symbolic representation, this latter serves to generate in particular two types of symbolic explanations which are sufficient reasons and counterfactuals. We then associate scores reflecting the relevance of the explanations and the features w.r.t to some properties. Our experimental results show the feasibility of the proposed approach and its effectiveness in providing symbolic and score-based explanations., Comment: arXiv admin note: text overlap with arXiv:2206.11539

Published
2022
Full Text
View/download PDF

3. A Symbolic Approach for Counterfactual Explanations

Author

Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, and Tabia, Karim

Subjects
Computer Science - Artificial Intelligence
Abstract

In this paper titled A Symbolic Approach for Counterfactual Explanations we propose a novel symbolic approach to provide counterfactual explanations for a classifier predictions. Contrary to most explanation approaches where the goal is to understand which and to what extent parts of the data helped to give a prediction, counterfactual explanations indicate which features must be changed in the data in order to change this classifier prediction. Our approach is symbolic in the sense that it is based on encoding the decision function of a classifier in an equivalent CNF formula. In this approach, counterfactual explanations are seen as the Minimal Correction Subsets (MCS), a well-known concept in knowledge base reparation. Hence, this approach takes advantage of the strengths of already existing and proven solutions for the generation of MCS. Our preliminary experimental studies on Bayesian classifiers show the potential of this approach on several datasets.

Published
2022
Full Text
View/download PDF

6. A Symbolic Approach for Counterfactual Explanations

Author

Boumazouza, Ryma, Cheikh-Alili, Fahima, Mazure, Bertrand, Tabia, Karim, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Davis, Jesse, editor, and Tabia, Karim, editor

Published
2020
Full Text
View/download PDF

8. Improving MUC extraction thanks to local search

Author

Grégoire, Éric, Lagniez, Jean-Marie, and Mazure, Bertrand

Subjects
Computer Science - Artificial Intelligence
Abstract

ExtractingMUCs(MinimalUnsatisfiableCores)fromanunsatisfiable constraint network is a useful process when causes of unsatisfiability must be understood so that the network can be re-engineered and relaxed to become sat- isfiable. Despite bad worst-case computational complexity results, various MUC- finding approaches that appear tractable for many real-life instances have been proposed. Many of them are based on the successive identification of so-called transition constraints. In this respect, we show how local search can be used to possibly extract additional transition constraints at each main iteration step. The approach is shown to outperform a technique based on a form of model rotation imported from the SAT-related technology and that also exhibits additional transi- tion constraints. Our extensive computational experimentations show that this en- hancement also boosts the performance of state-of-the-art DC(WCORE)-like MUC extractors., Comment: 17 pages, 5 figures, 1 table, 3 algorithms, 33 references

Published
2013

9. Integrating Conflict Driven Clause Learning to Local Search

Author

Audenard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, and Saïs, Lakhdar

Subjects
Computer Science - Artificial Intelligence
Abstract

This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is launched. For SAT problems it behaves like a tabu list, whereas for UNSAT ones, the CDCL part tries to focus on minimum unsatisfiable sub-formula (MUS). Experimental results show good performances on many classes of SAT instances from the last SAT competitions.

Published
2009
Full Text
View/download PDF

10. Combining Nogoods in Restart-Based Search

Author

Glorian, Gael, Boussemart, Frederic, Lagniez, Jean-Marie, Lecoutre, Christophe, Mazure, Bertrand, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Beck, J. Christopher, editor

Published
2017
Full Text
View/download PDF

11. Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework

Author

Sioutis, Michael, Condotta, Jean-François, Salhi, Yakoub, Mazure, Bertrand, Randell, David A., Rannenberg, Kai, Editor-in-chief, Sakarovitch, Jacques, Series editor, Goedicke, Michael, Series editor, Tatnall, Arthur, Series editor, Neuhold, Erich J., Series editor, Pras, Aiko, Series editor, Tröltzsch, Fredi, Series editor, Pries-Heje, Jan, Series editor, Whitehouse, Diane, Series editor, Reis, Ricardo, Series editor, Furnell, Steven, Series editor, Furbach, Ulrich, Series editor, Winckler, Marco, Series editor, Rauterberg, Matthias, Series editor, Chbeir, Richard, editor, Manolopoulos, Yannis, editor, Maglogiannis, Ilias, editor, and Alhajj, Reda, editor

Published
2015
Full Text
View/download PDF

12. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

Author

Sioutis, Michael, Condotta, Jean-François, Salhi, Yakoub, Mazure, Bertrand, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and De Nivelle, Hans, editor

Published
2015
Full Text
View/download PDF

13. A Qualitative Spatio-Temporal Framework Based on Point Algebra

Author

Sioutis, Michael, Condotta, Jean-François, Salhi, Yakoub, Mazure, Bertrand, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Siekmann, Jörg, Series editor, Agre, Gennady, editor, Hitzler, Pascal, editor, Krisnadhi, Adila A., editor, and Kuznetsov, Sergei O., editor

Published
2014
Full Text
View/download PDF

14. A General Artificial Intelligence Approach for Skeptical Reasoning

Author

Grégoire, Éric, Lagniez, Jean-Marie, Mazure, Bertrand, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Tanaka, Yuzuru, editor, Wahlster, Wolfgang, editor, Siekmann, Jörg, editor, Goertzel, Ben, editor, Orseau, Laurent, editor, and Snaider, Javier, editor

Published
2014
Full Text
View/download PDF

18. A CSP Solver Focusing on fac Variables

Author

Grégoire, Éric, Lagniez, Jean-Marie, Mazure, Bertrand, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Lee, Jimmy, editor

Published
2011
Full Text
View/download PDF

19. On Freezing and Reactivating Learnt Clauses

Author

Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, Saïs, Lakhdar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Sakallah, Karem A., editor, and Simon, Laurent, editor

Published
2011
Full Text
View/download PDF

20. Boosting Local Search Thanks to cdcl

Author

Audemard, Gilles, Lagniez, Jean-Marie, Mazure, Bertrand, Saïs, Lakhdar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Fermüller, Christian G., editor, and Voronkov, Andrei, editor

Published
2010
Full Text
View/download PDF

21. Does This Set of Clauses Overlap with at Least One MUS?

Author

Grégoire, Éric, Mazure, Bertrand, Piette, Cédric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Schmidt, Renate A., editor

Published
2009
Full Text
View/download PDF

22. Eliminating Redundant Clauses in SAT Instances

Author

Fourdrinoy, Olivier, Grégoire, Éric, Mazure, Bertrand, Saïs, Lakhdar, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Van Hentenryck, Pascal, editor, and Wolsey, Laurence, editor

Published
2007
Full Text
View/download PDF

23. MUST: Provide a Finer-Grained Explanation of Unsatisfiability

Author

Grégoire, Éric, Mazure, Bertrand, Piette, Cédric, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Bessière, Christian, editor

Published
2007
Full Text
View/download PDF

24. Automatic Extraction of Functional Dependencies

Author

Grégoire, Éric, Ostrowski, Richard, Mazure, Bertrand, Saïs, Lakhdar, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hoos, Holger H., editor, and Mitchell, David G., editor

Published
2005
Full Text
View/download PDF

29. Optimisation du parking des avions à Paris Charles de Gaulle

Author

Falque, Thibault, Mazure, Bertrand, Lecoutre, Christophe, Tabia, Karim, and Sciencesconf.org, CCSD

Subjects
[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO], planification, modélisation, applications, [INFO.INFO-RO] Computer Science [cs]/Operations Research [cs.RO], optimisation, programmation par contraintes
Abstract

Optimisation du parking des avions à Paris Charles de Gaulle

Published
2022

30. System description: CRIL platform for SAT

Author

Mazure, Bertrand, SaÏs, Lakhdar, Grégoire, éric, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Kirchner, Claude, editor, and Kirchner, Hélène, editor

Published
1998
Full Text
View/download PDF

32. ASTERYX

Author

Boumazouza, Ryma, primary, Cheikh-Alili, Fahima, additional, Mazure, Bertrand, additional, and Tabia, Karim, additional

Published
2021
Full Text
View/download PDF

50. Combinaison de nogoods extraits au redémarrage

Author

Glorian, Gael, Boussemart, Frédéric, Lagniez, Jean-Marie, Lecoutre, Christophe, Mazure, Bertrand, DELORME, Fabien, Centre de Recherche en Informatique de Lens (CRIL), and Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], ComputingMilieux_MISCELLANEOUS, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Abstract

National audience

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results