1 code implementation • 27 Jun 2023 • Yacine Izza, Alexey Ignatiev, Peter Stuckey, Joao Marques-Silva
Given a set of feature values for an instance to be explained, and a resulting decision, a formal abductive explanation is a set of features, such that if they take the given value will always lead to the same decision.
Explainable artificial intelligence Explainable Artificial Intelligence (XAI)
no code implementations • 21 Dec 2022 • Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas Stratigakos, Peter Stuckey, Guido Tack, Isaac Triguero, Rui Yuan
As both forecasting and optimization are difficult problems in their own right, relatively few research has been done in this area.
no code implementations • 5 May 2020 • Ignasi Abío, Valentin Mayer-Eichberger, Peter Stuckey
Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications.
no code implementations • 28 Jul 2015 • Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey
The task is to compute the number of assignments to P such that there exists an extension to 'non-priority' variables V\P that satisfies F. Projected model counting arises when some parts of the model are irrelevant to the counts, in particular when we require additional variables to model the problem we are counting in SAT.
no code implementations • 20 Nov 2014 • Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter Stuckey
Model counting is the problem of computing the number of models that satisfy a given propositional theory.