English
Related papers

Related papers: Equilibria und weiteres Heiteres II

200 papers

Non-equilibrium and equilibrium thermodynamics of an interacting component in a special-relativistic multi-component system is discussed by use of an entropy identity. The special case of the corresponding free component is considered.…

General Relativity and Quantum Cosmology · Physics 2018-06-06 Wolfgang Muschik

We propose and axiomatize preferences on a product state space in light of uncertainty regarding the dependency of different payoff-relevant factors. Dependence structures allow to decompose probabilities and allow to pin down behavior…

Theoretical Economics · Economics 2026-05-28 Gerrit Bauch , Lorenz Hartmann

Structural independence is the (conditional) independence that arises from the structure rather than the precise numerical values of a distribution. We develop this concept and relate it to $d$-separation and structural causal models.…

Probability · Mathematics 2025-06-24 Matthias Georg Mayer

Teddy Seidenfeld has been arguing for quite a long time that binary preference models are not powerful enough to deal with a number of crucial aspects of imprecision and indeterminacy in uncertain inference and decision making. It is at his…

Artificial Intelligence · Computer Science 2021-02-23 Jasper De Bock , Gert de Cooman

The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$, and a sort for events in an underlying probability space. We study various notions…

Logic · Mathematics 2014-09-05 Uri Andrews , Isaac Goldbring , H. Jerome Keisler

These lectures deal with the problem of inductive inference, that is, the problem of reasoning under conditions of incomplete information. Is there a general method for handling uncertainty? Or, at least, are there rules that could in…

Data Analysis, Statistics and Probability · Physics 2016-09-08 Ariel Caticha

Mathematical proof aims to deliver confident conclusions, but a very similar process of deduction can be used to make uncertain estimates that are open to revision. A key ingredient in such reasoning is the use of a "default" estimate of…

Artificial Intelligence · Computer Science 2022-11-15 Paul Christiano , Eric Neyman , Mark Xu

Different notions of entropy play a fundamental role in the classical theory of dynamical systems. Unlike many other concepts used to analyze autonomous dynamics, both measure-theoretic and topological entropy can be extended quite…

Dynamical Systems · Mathematics 2017-08-03 Christoph Kawan

Heisenberg's intuition was that there should be a tradeoff between measuring a particle's position with greater precision and disturbing its momentum. Recent formulations of this idea have focused on the question of how well two…

Quantum Physics · Physics 2015-07-31 Patrick J. Coles , Fabian Furrer

This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a…

Logic · Mathematics 2017-12-05 Valentin Goranko , Antti Kuusisto

This paper offers a comprehensive treatment of the question as to whether a binary relation can be consistent (transitive) without being decisive (complete), or decisive without being consistent, or simultaneously inconsistent or…

Theoretical Economics · Economics 2019-06-17 M. Ali Khan , Metin Uyanık

In exploratory data analysis, we are often interested in identifying promising pairwise associations for further analysis while filtering out weaker, less interesting ones. This can be accomplished by computing a measure of dependence on…

Methodology · Statistics 2018-03-28 David N. Reshef , Yakir A. Reshef , Pardis C. Sabeti , Michael M. Mitzenmacher

We extend the theory of d-separation to cases in which data instances are not independent and identically distributed. We show that applying the rules of d-separation directly to the structure of probabilistic models of relational data…

Artificial Intelligence · Computer Science 2014-01-07 Marc Maier , Katerina Marazopoulou , David Jensen

We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete. Furthermore, we show that the validity problem…

Logic in Computer Science · Computer Science 2016-06-21 Juha Kontinen , Antti Kuusisto , Jonni Virtema

We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these…

Logic in Computer Science · Computer Science 2015-03-19 Arnaud Durand , Juha Kontinen

Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of rationalizability. In the case of dominance the criterion of…

Computer Science and Game Theory · Computer Science 2007-05-23 Krzysztof R. Apt

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…

Logic · Mathematics 2016-03-10 Gianluca Paolini , Jouko Väänänen

The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…

History and Overview · Mathematics 2018-02-07 Giulio D'Agostini

A dependent theory is a (first order complete theory) T which does not have the independence property. A main result here is: if we expand a model of T by the traces on it of sets definable in a bigger model then we preserve its being…

Logic · Mathematics 2013-02-20 Saharon Shelah

We extend the treatment of functional dependence, the basic concept of dependence logic, to include the possibility of dependence with a limited number of exceptions. We call this approximate dependence. The main result of the paper is a…

Logic · Mathematics 2014-08-20 Jouko Väänänen