English
Related papers

Related papers: A construction of an optimal base for conditional …

200 papers

Literature involving preferences of artificial agents or human beings often assume their preferences can be represented using a complete transitive binary relation. Much has been written however on different models of preferences. We review…

Artificial Intelligence · Computer Science 2018-01-17 Olivier Cailloux , Sébastien Destercke

Contextual MDPs are powerful tools with wide applicability in areas from biostatistics to machine learning. However, specializing them to offline datasets has been challenging due to a lack of robust, theoretically backed methods. Our work…

Machine Learning · Statistics 2026-05-06 Riddhiman Bhattacharyya , Sayak Chakrabarty , Imon Banerjee

I deal with two approaches to proof-theoretic semantics: one based on argument structures and justifications, which I call reducibility semantics, and one based on consequence among (sets of) formulas over atomic bases, called base…

Logic · Mathematics 2025-11-11 Antonio Piccolomini d'Aragona

Consider a pair of random vectors $(\mathbf{X},\mathbf{Y}) $ and the conditional expectation operator $\mathbb{E}[\mathbf{X}|\mathbf{Y}=\mathbf{y}]$. This work studies analytic properties of the conditional expectation by characterizing…

Probability · Mathematics 2021-08-31 Alex Dytso , Martina Cardone

Association Rules are a basic concept of data mining. They are, however, not understood as logical objects which can be used for reasoning. The purpose of this paper is to investigate a model based semantic for implications with certain…

Logic in Computer Science · Computer Science 2012-01-31 Daniel Borchmann

The purpose of this paper is to investigate the generalized formulation of weighted optimal guidance laws with impact angle constraint. From the generalized formulation, we explicitly find the feasible set of weighting functions that lead…

Systems and Control · Computer Science 2013-09-05 Chang-Hun Lee , Min-Jea Tahk , Jin-Ik Lee

In many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is…

Logic in Computer Science · Computer Science 2018-04-25 AnneMarie Borg

Conditional models with one pair of conditional and conditioned factors in Mukerjee et al. (2017) are extended to two pairs in this paper. The extension includes the parametrization, effect hierarchy, sufficient conditions for universal…

Methodology · Statistics 2019-11-05 Ming-Chung Chang

Conditional independence is a crucial concept supporting adequate modelling and efficient reasoning in probabilistics. In knowledge representation, the idea of conditional independence has also been introduced for specific formalisms, such…

Artificial Intelligence · Computer Science 2024-12-19 Jesse Heyninck

People are commonly interested in predicting a statistical property of a random event such as mean and variance. Proper scoring rules assess the quality of predictions and require that the expected score gets uniquely maximized at the…

Machine Learning · Computer Science 2025-06-24 Lingfang Hu , Ian A. Kash

This paper looks at predictability problems, i.e., wherein an agent must choose its strategy in order to optimize the predictions that an external observer could make. We address these problems while taking into account uncertainties on the…

Artificial Intelligence · Computer Science 2024-10-08 Salomé Lepers , Sophie Lemonnier , Vincent Thomas , Olivier Buffet

The inferential model (IM) framework provides valid prior-free probabilistic inference by focusing on predicting unobserved auxiliary variables. But, efficient IM-based inference can be challenging when the auxiliary variable is of higher…

Statistics Theory · Mathematics 2015-01-20 Ryan Martin , Chuanhai Liu

In a configuration space whose boundary can be identified with a subset of its interior, a boundary condition can relate the behaviour of a function on the boundary and in the interior. Additionally, boundary values can appear as additive…

Spectral Theory · Mathematics 2025-06-19 Tim Binz , Jonas Lampart

We consider the iterative solution of symmetric saddle point systems with a rank-deficient leading block. We develop two preconditioners that, under certain assumptions on the rank structure of the system, yield a preconditioned matrix with…

Numerical Analysis · Computer Science 2018-07-24 Susanne Bradley

The aim of this paper is to exhibit a necessary and sufficient condition of optimality for functionals depending on fractional integrals and derivatives, on indefinite integrals and on presence of time delay. We exemplify with one example,…

Classical Analysis and ODEs · Mathematics 2015-12-22 Ricardo Almeida

The issue of how to make embodied agents explainable has experienced a surge of interest over the last three years, and, there are many terms that refer to this concept, e.g., transparency or legibility. One reason for this high variance in…

Robotics · Computer Science 2021-02-19 Sebastian Wallkotter , Silvia Tulli , Ginevra Castellano , Ana Paiva , Mohamed Chetouani

This paper proposes a novel approach to semantic ontology alignment using contextual descriptors. A formalization was developed that enables the integration of essential and contextual descriptors to create a comprehensive knowledge model.…

Computation and Language · Computer Science 2024-12-02 Eduard Manziuk , Oleksander Barmak , Pavlo Radiuk , Vladislav Kuznetsov , Iurii Krak , Sergiy Yakovlev

The purpose of this article is to study conservativity in the context of triangulated categories equipped with a weight structure. As application, we establish (weight) conservativity for the restriction of the (generic) l-adic realization…

Algebraic Geometry · Mathematics 2018-10-19 Jörg Wildeshaus

Generative models for classification use the joint probability distribution of the class variable and the features to construct a decision rule. Among generative models, Bayesian networks and naive Bayes classifiers are the most commonly…

Artificial Intelligence · Computer Science 2022-08-05 Federico Carli , Manuele Leonelli , Gherardo Varando

We present a manually constructed seed lexicon encoding the inferential profiles of French event selecting predicates across different uses. The inferential profile (Karttunen, 1971a) of a verb is designed to capture the inferences…

Computation and Language · Computer Science 2017-10-04 Ingrid Falk , Fabienne Martin