Diversity, dependence and independence

被引:0
作者
Pietro Galliani
Jouko Väänänen
机构
[1] Free University of Bozen-Bolzano,Faculty of Computer Science
[2] University of Helsinki,Department of Mathematics and Statistics
[3] ILLC,FNWI
[4] Universiteit van Amsterdam,undefined
来源
Annals of Mathematics and Artificial Intelligence | 2022年 / 90卷
关键词
Dependence logic; Matroids; Independence; Team semantics; 03B60;
D O I
暂无
中图分类号
学科分类号
摘要
We propose a very general, unifying framework for the concepts of dependence and independence. For this purpose, we introduce the notion of diversity rank. By means of this diversity rank we identify total determination with the inability to create more diversity, and independence with the presence of maximum diversity. We show that our theory of dependence and independence covers a variety of dependence concepts, for example the seemingly unrelated concepts of linear dependence in algebra and dependence of variables in logic.
引用
收藏
页码:211 / 233
页数:22
相关论文
共 25 条
  • [1] Whitney H(1935)On the Abstract Properties of Linear Dependence Amer. J. Math. 57 509-533
  • [2] Grädel E(2013)Dependence and independence Studia Log. 101 399-410
  • [3] Väänänen J(2016)Propositional logics of dependence Ann. Pure Appl. Log. 167 557-589
  • [4] Yang F(2017)A logic for arguing about probabilities in measure teams Arch. Math. Log. 56 475-489
  • [5] Väänänen J(1953)The population frequencies of species and the estimation of population parameters Biometrika 40 237-264
  • [6] Hyttinen T(1973)Diversity and evenness: A unifying notation and its consequences Ecology 54 427-432
  • [7] Paolini G(1991)Entropy, relative entropy and mutual information Elem. Inf. Theory 2 1-55
  • [8] Väänänen J(1991)Axioms and algorithms for inferences involving probabilistic independence Inform. and Comput. 91 128-141
  • [9] Good IJ(1948)A mathematical theory of communication Bell syst. Techn. J. 27 379-423
  • [10] Hill M(1995)On the undecidability of implications between embedded multivalued database dependencies Inf. Comput. 122 221-235