Search results for " Inference"
showing 10 items of 337 documents
Hierarchies of probabilistic and team FIN-learning
2001
AbstractA FIN-learning machine M receives successive values of the function f it is learning and at some moment outputs a conjecture which should be a correct index of f. FIN learning has two extensions: (1) If M flips fair coins and learns a function with certain probability p, we have FIN〈p〉-learning. (2) When n machines simultaneously try to learn the same function f and at least k of these machines output correct indices of f, we have learning by a [k,n]FIN team. Sometimes a team or a probabilistic learner can simulate another one, if their probabilities p1,p2 (or team success ratios k1/n1,k2/n2) are close enough (Daley et al., in: Valiant, Waranth (Eds.), Proc. 5th Annual Workshop on C…
Collection Principles in Dependent Type Theory
2002
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic rules that correspond to the collection axiom schemes of the constructive set theory CZF we obtain a generalisation of the type theoretic interpretation of CZF. Suitable logic-enriched type theories allow also the study of reinterpretations of logic. We end the paper with an application to the double-negation interpretation.
Probabilistic entailment and iterated conditionals
2020
In this paper we exploit the notions of conjoined and iterated conditionals, which are defined in the setting of coherence by means of suitable conditional random quantities with values in the interval $[0,1]$. We examine the iterated conditional $(B|K)|(A|H)$, by showing that $A|H$ p-entails $B|K$ if and only if $(B|K)|(A|H) = 1$. Then, we show that a p-consistent family $\mathcal{F}=\{E_1|H_1,E_2|H_2\}$ p-entails a conditional event $E_3|H_3$ if and only if $E_3|H_3=1$, or $(E_3|H_3)|QC(\mathcal{S})=1$ for some nonempty subset $\mathcal{S}$ of $\mathcal{F}$, where $QC(\mathcal{S})$ is the quasi conjunction of the conditional events in $\mathcal{S}$. Then, we examine the inference rules $A…
Generalized probabilistic modus ponens
2017
Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the re…
Conditional Random Quantities and Iterated Conditioning in the Setting of Coherence
2013
We consider conditional random quantities (c.r.q.’s) in the setting of coherence. Given a numerical r.q. X and a non impossible event H, based on betting scheme we represent the c.r.q. X|H as the unconditional r.q. XH + μH c , where μ is the prevision assessed for X|H. We develop some elements for an algebra of c.r.q.’s, by giving a condition under which two c.r.q.’s X|H and Y|K coincide. We show that X|HK coincides with a suitable c.r.q. Y|K and we apply this representation to Bayesian updating of probabilities, by also deepening some aspects of Bayes’ formula. Then, we introduce a notion of iterated c.r.q. (X|H)|K, by analyzing its relationship with X|HK. Our notion of iterated conditiona…
Inferring slowly-changing dynamic gene-regulatory networks
2015
Dynamic gene-regulatory networks are complex since the interaction patterns between their components mean that it is impossible to study parts of the network in separation. This holistic character of gene-regulatory networks poses a real challenge to any type of modelling. Graphical models are a class of models that connect the network with a conditional independence relationships between random variables. By interpreting these random variables as gene activities and the conditional independence relationships as functional non-relatedness, graphical models have been used to describe gene-regulatory networks. Whereas the literature has been focused on static networks, most time-course experi…
Impressing my friends: The role of social value in green purchasing attitude for youthful consumers
2021
Abstract Prior studies predominantly use cross-sectional designs to determine effects of pro-environmental beliefs on green purchasing attitudes, thereby limiting the possibility for causal inferences and examining mediation effects. We overcome these gaps by adopting a two-wave longitudinal design to test a moderated-mediation model that draws on consumer choice theory, positing that the effect of implicit pro-environmental beliefs on green purchasing attitudes is mediated by perceived social value from buying green, while the relationship between pro-environmental beliefs and perceived social value is moderated by perceived inconvenience of buying green. Findings from a sample of Polish y…
Does social capital matter for European regional growth?
2015
Abstract This paper analyzes the role of different elements of social capital in economic growth for a sample of 85 European regions during the period 1995–2008. Despite the remarkable progress that social capital and European regional economic growth literatures have experienced over the last two decades, initiatives combining the two are few, and entirely yet to come for the post-1990s period. Recent improvements in data availability allow this gap in the literature to be closed, since they enable the researcher to consider the traditionally disregarded Eastern and Central European (ECE) regions. This is particularly interesting, as they are all transition economies that recently joined t…
Economic value, competition and financial distress in the european banking system
2012
Abstract In this paper we examine the impact of a large number of factors at the bank level (liquidity and credit risks, asset size, income diversification and market power), at the industry level (banking concentration) and macro-level (real GDP growth) on bank financial distress using an unbalanced panel of 308 European commercial banks between 1996 and 2009. The observations falling below a given threshold of the empirical distribution of the Shareholder Value Ratio proxy bank financial distress. We employ a panel probit regression and, given the presence of overlapping data giving rise to residual autocorrelation, we use the Bertschek and Lechner (1998) robust estimator of the covarianc…
Inference for Lorenz curve orderings
1999
In this paper we consider the issue of performing statistical inference for Lorenz curve orderings. This involves testing for an ordered relationship in a multivariate context and making comparisons among more than two population distributions. Our approach is to frame the hypotheses of interest as sets of linear inequality constraints on the vector of Lorenz curve ordinates, and apply order-restricted statistical inference to derive test statistics and their sampling distributions. We go on to relate our results to others which have appeared in recent literature, and use Monte Carlo analysis to highlight their respective properties and comparative performances. Finally, we discuss in gener…