This is an overview a study of interpretability logic in Zagreb for the last twenty years: a brief history and some planes for further research. The idea of treating a provability predicate as a modal operator goes back to Gödel. The same idea was taken up later by Kripke and Montague, but only in the mid–seventies was the correct choice of axioms, based on Löb’s theorem, seriously considered b...

In this paper we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetical completeness results do not apply to PRA: IL(PRA) is not ILM or ILP. IL(PRA) does of course contain all the principles known to be part of IL(All), the interpretability logic of the principles common to all reasonable arithme...

Two conflicting goals are often involved in the design of fuzzy rule-based systems: Accuracy maximization and interpretability maximization. A number of approaches have been proposed for finding a fuzzy rule-based system with a good accuracy-interpretability tradeoff. Formulation of the accuracy maximization is usually straightforward in each application area of fuzzy rule-based systems such as...

Nine Greek preschool children with Specific Language Impairment (SLI) were compared to age-matched (CA) and language-matched (LA) typically-developing children on their production of a) third person object clitic pronouns, b) definite articles and c) genitive possessive clitics, through novel picture-based elicitation tasks. The aims were to examine whether these structures are impaired in Gree...

We study the problem of inducing interpretability in KG embeddings. Specifically, we explore the Universal Schema (Riedel et al., 2013) and propose a method to induce interpretability. There have been many vector space models proposed for the problem, however, most of these methods don’t address the interpretability (semantics) of individual dimensions. In this work, we study this problem and p...

BACKGROUND An inverse relationship between experience and risk of injury has been observed in many occupations. Due to statistical challenges, however, it has been difficult to characterize the role of experience on the hazard of injury. In particular, because the time observed up to injury is equivalent to the amount of experience accumulated, the baseline hazard of injury becomes the main par...

Defect prediction is the process of predicting the fault prone module using some pre-mined patterns or rules. Several statistical and mathematical strategies have been used in recent past to mine these rules. However, the interpretability of these rules is the matter of concern. In real development process an expert is required to demonstrate the working of mined patterns which prevents the use...