English
Related papers

Related papers: Generalized Logical Operations among Conditional E…

200 papers

We establish general "collapse to the mean" principles that provide conditions under which a law-invariant functional reduces to an expectation. In the convex setting, we retrieve and sharpen known results from the literature. However, our…

Mathematical Finance · Quantitative Finance 2021-07-15 Felix-Benedikt Liebrich , Cosimo Munari

Various semantics for studying the square of opposition and the hexagon of opposition have been proposed recently. We interpret sentences by imprecise (set-valued) probability assessments on a finite sequence of conditional events. We…

Probability · Mathematics 2017-10-13 Niki Pfeifer , Giuseppe Sanfilippo

Meta-analysis combines results from multiple studies aiming to increase power in finding their common effect. It would typically reject the null hypothesis of no effect if any one of the studies shows strong significance. The partial…

Statistics Theory · Mathematics 2016-12-20 Jingshu Wang , Art B. Owen

Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…

Logic · Mathematics 2016-06-10 Kosta Dosen

Human engagement in narrative is partially driven by reasoning about discourse relations between narrative events, and the expectations about what is likely to happen next that results from such reasoning. Researchers in NLP have tackled…

Computation and Language · Computer Science 2017-09-01 Zhichao Hu , Elahe Rahimtoroghi , Larissa Munishkina , Reid Swanson , Marilyn A. Walker

The postulates of comprehension and extensionality in set theory are based on an inversion principle connecting set-theoretic abstraction and the property of having a member. An exactly analogous inversion principle connects functional…

Category Theory · Mathematics 2007-05-23 K. Dosen

In this note, we present a conjecture on intersections of set families, and a rephrasing of the conjecture in terms of principal downsets of Boolean lattices. The conjecture informally states that, whenever we can express the measure of a…

Combinatorics · Mathematics 2024-01-30 Antoine Amarilli , Mikaël Monet , Dan Suciu

We recently performed cognitive experiments on conjunctions and negations of two concepts with the aim of investigating the combination problem of concepts. Our experiments confirmed the deviations (conceptual vagueness, underextension,…

Artificial Intelligence · Computer Science 2016-09-09 Diederik Aerts , Sandro Sozzo , Tomas Veloz

The definition of the conditional probability is very important in the theory of the probability. This definition is based on the fact, that random events can be simultaneously measurable. This paper deal with the problem of conditioning…

Mathematical Physics · Physics 2009-11-10 Olga Nanasiova

In the present article we consider the conjunction fallacy, a well known cognitive heuristic experimentally tested in cognitive science, which occurs for intuitive judgments in situations of bounded rationality. We show that the quantum…

General Physics · Physics 2007-08-30 Riccardo Franco

We study probabilistically informative (weak) versions of transitivity, by using suitable definitions of defaults and negated defaults, in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults…

Probability · Mathematics 2015-03-16 Angelo Gilio , Niki Pfeifer , Giuseppe Sanfilippo

For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with constant edge probability, where the probabilities of…

Logic in Computer Science · Computer Science 2025-04-24 Sam Adam-Day , Michael Benedikt , Alberto Larrauri

Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of…

Artificial Intelligence · Computer Science 2007-05-23 Daniel Lehmann

This is an examination of some methods that learn causations in event sequences. A causation is defined as a conjunction of one or more cause events occurring in an arbitrary order, with possible intervening non-causal events, that lead to…

Machine Learning · Computer Science 2024-12-16 Thomas E. Portegys

This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of…

Logic · Mathematics 2007-05-23 K. Dosen , Z. Petric

Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning about expectation, where the semantics depends on the…

Artificial Intelligence · Computer Science 2007-05-23 Joseph Y. Halpern , Riccardo Pucella

The main result presented in this article is that probability can fundamentally be characterized as a subset of conditional expectation induced by a plausible preorder on random quantities. This is justified by the fact that probability is…

Logic · Mathematics 2024-06-14 Ladislav Mečíř

Causal inference from observational data often assumes "ignorability," that all confounders are observed. This assumption is standard yet untestable. However, many scientific studies involve multiple causes, different variables whose…

Machine Learning · Statistics 2019-04-16 Yixin Wang , David M. Blei

Events and entities are closely related; entities are often actors or participants in events and events without entities are uncommon. The interpretation of events and entities is highly contextually dependent. Existing work in information…

Computation and Language · Computer Science 2016-09-14 Bishan Yang , Tom Mitchell

We propose an abductive diagnosis theory that integrates probabilistic, causal and taxonomic knowledge. Probabilistic knowledge allows us to select the most likely explanation; causal knowledge allows us to make reasonable independence…

Artificial Intelligence · Computer Science 2013-04-05 Dekang Lin , Randy Goebel