In [Sas01], it was given a cut-free sequent system for the smallest interpretability logic IL. He first gave a cut-free system for IK4, a sublogic of IL, whose ✄-free fragment is the modal logic K4. Here, using the method in [Sas01], we give sequent systems for the interpretability logic ILP obtained by adding the persistence axiom P : (p✄ q) ⊃ ✷(p✄ q) to IL and for the logic IK4+P obtained by ...

Next to prediction accuracy, the interpretability of models is one of the fundamental criteria for machine learning algorithms. While high accuracy learners have intensively been explored, interpretability still poses a difficult problem, largely because it can hardly be formalized in a general way. To circumvent this problem, one can often find a model in a hypothesis space that the user regar...

In a recent reply to our article, “What is Interpretability?,” Prasetya argues against position that artificial neural networks are explainable. It claimed indefeasibility thesis—that adding complexity an explanation of phenomenon does not make the any less explainable—is false. More precisely, unificationist explanations defeasible increasing complexity, and thus, we may be able provide such h...

Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Gödel–Löb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models. REPORTS ON MATHEMATICAL LOGIC 40 (2006), 59–73 Domagoj VR...

The paper presents a new approach to the automatic data-based generation of fuzzy rules. This is based on a tree-oriented rule induction algorithm and rule pruning. The hypothesis generation applies a set of measures for evaluation of fuzzy rules with respect to approximation quality, importance, clearness etc. In order to improve exibility and interpretability linguistic hedges are used to cre...

Many studies have explored the second language (L2) acquisition of relative clauses (RCs) and whether L2 speakers transfer a resumptive strategy from first (L1) to L2. While evidence seems suggest that there are significant L1–L2 differences in processing RCs, relatively little is known about source non-target-like behaviour. The present study investigates grammatical acceptability different RC...