Related papers: Models of the Chisholm set
A method for counterfactual explanation of machine learning survival models is proposed. One of the difficulties of solving the counterfactual explanation problem is that the classes of examples are implicitly defined through outcomes of a…
In this note we give a counterexample to a conjecture proposed by Ciliberto about special linear systems of P^n through multiple base points.
We show that Sturm's classical comparison theorem (SCT) on the interlacing of zeros of solutions of pairs of real second order two-term ordinary differential equations necessarily fails if the usual Sturmian-type conditions on the…
This paper has been withdrawn by the authors due to a possible inconsistency in the program code.
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…
In this extended abstract, we carefully examine a purported counterexample to a postulate of iterated belief revision. We suggest that the example is better seen as a failure to apply the theory of belief revision in sufficient detail. The…
The Wess-Zumino consistency condition allows more exotic forms of anomalies than those we usually encounter. For example in two-dimensional conformal field theories in the curved background with space-time dependent coupling constant…
Contrastive explanations clarify why an event occurred in contrast to another. They are more inherently intuitive to humans to both produce and comprehend. We propose a methodology to produce contrastive explanations for classification…
We report on an experiment in case outcome classification on European Court of Human Rights cases where our model first learns to identify the convention articles allegedly violated by the state from case facts descriptions, and…
The CMI Millennium "P vs NP Problem" can be resolved e.g. if one shows at least one counterexample to the conjecture "P is equal to NP". A certain class of problems being such counterexamples is formulated. This implies the rejection of the…
Supertask theory is used here to prove a contradictory result which involves the consistency of w-order and the Axiom of Infinity.
Providing explanations about how machine learning algorithms work and/or make particular predictions is one of the main tools that can be used to improve their trusworthiness, fairness and robustness. Among the most intuitive type of…
Machine learning algorithms generally suffer from a problem of explainability. Given a classification result from a model, it is typically hard to determine what caused the decision to be made, and to give an informative explanation. We…
We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.
We consider positronium-like bound states of doubly charged fermions.We consider also $P(CP)$-parity violation in positronium like system (including quarkonium and lepton antilepton bound states and mesoatoms) which take place due to…
Experiments on the violation of equivalence principle (EP) and solar system give a number of constraints in which any modified gravity model must satisfy them. We study these constraints on a kind of $f(R)$ gravity as $f(R) = R(1\pm…
This paper has been withdrawn due to an error in the proof of Theorem 5.3.
A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an…
In model checking, when a given model fails to satisfy the desired specification, a typical model checker provides a counterexample that illustrates how the violation occurs. In general, there exist many diverse counterexamples that exhibit…
Counterfactual explanations offer an intuitive and straightforward way to explain black-box models and offer algorithmic recourse to individuals. To address the need for plausible explanations, existing work has primarily relied on…