×

Epistemic foundations for set-algebraic representations of knowledge. (English) Zbl 1427.91086

Summary: This paper formalizes an informal idea that an agent’s knowledge is characterized by a collection of sets such as a \(\sigma \)-algebra within the framework of a state space model. The paper fully characterizes why the agent’s knowledge takes (or does not take) such a set algebra as a \(\sigma \)-algebra or a topology, depending on logical and introspective properties of knowledge and on the underlying structure of the state space. The agent’s knowledge is summarized by a collection of events if and only if she can only know what is true, she knows any logical implication of what she knows, and she is introspective about what she knows. In this case, for any event, the collection that represents knowledge has the maximal event included in the original event. When the underlying space is a measurable space, the collection becomes a \(\sigma \)-algebra if and only if the agent is additionally introspective about what she does not know.

MSC:

91B06 Decision theory
03E20 Other classical set theory (including functions, relations, and set algebra)
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Allen, B., Neighboring information and distributions of agents’ characteristics under uncertainty, J. Math. Econom., 12, 1, 63-101 (1983) · Zbl 0532.90018
[2] Aumann, R. J., Agreeing to disagree, Ann. Statist., 4, 6, 1236-1239 (1976) · Zbl 0379.62003
[3] Aumann, R. J., Interactive epistemology I, II, Internat. J. Game Theory, 28, 3, 263-300, 301-314 (1999) · Zbl 0961.91039
[4] Bacharach, M., Some extensions of a claim of aumann in an axiomatic model of knowledge, J. Econom. Theory, 37, 1, 167-190 (1985) · Zbl 0597.90003
[5] Barwise, J.; Etchemendy, J., Information, infons, and inference, (Cooper, R.; Mukai, K.; Perry, J., Situation Theory and Its Applications, Vol. 1 (1990), CSLI), 33-78
[6] Billingsley, P., Probability and Measure (2012), Wiley · Zbl 1236.60001
[7] Binmore, K.; Brandenburger, A., Common knowledge and game theory, (Binmore, K., Essays on the Foundations of Game Theory (1990), Basil Blackwell), 105-150 · Zbl 0774.90093
[8] Birkhoff, G., Rings of sets, Duke Math. J., 3, 3, 443-454 (1987) · JFM 63.0832.02
[9] Brandenburger, A.; Dekel, E., Common knowledge with probability 1, J. Math. Econom., 16, 3, 237-245 (1987) · Zbl 0639.90110
[10] Brandenburger, A.; Dekel, E.; Geanakoplos, J., Correlated equilibrium with generalized information structures, Games Econom. Behav., 4, 2, 182-201 (1992) · Zbl 0765.90091
[11] Chagrov, A.; Zakharyaschev, M., Modal Logic (1997), Oxford University Press · Zbl 0871.03007
[12] Chen, Y.-C.; Luo, X.; Qu, C., Rationalizability in general situations, Econom. Theory, 61, 1, 147-167 (2016) · Zbl 1367.91034
[13] Correia-da-Silva, J.; Hervés-Beloso, C., Private information: Similarity and compatibility, Econom. Theory, 30, 3, 395-407 (2007) · Zbl 1125.91066
[14] Cotter, K. D., Similarity of information and behavior with a pointwise convergence topology, J. Math. Econom., 15, 1, 25-38 (1986) · Zbl 0598.90007
[15] Dekel, E.; Gul, F., Rationality and knowledge in game theory, (Kreps, D. M.; Wallis, K. F., Advances in Economics and Econometrics: Theory and Applications, Seventh World Congress, Vol. 1 (1997), Cambridge University Press), 87-172
[16] Dekel, E.; Lipman, B. L.; Rustichini, A., Standard state-space models preclude unawareness, Econometrica, 66, 1, 159-173 (1998) · Zbl 1035.91019
[17] Doignon, J.-P.; Falmagne, J.-C., Spaces for the assessment of knowledge, Int. J. Man-Mach. Stud., 23, 2, 175-196 (1985) · Zbl 0581.68066
[18] Doignon, J.-P.; Falmagne, J.-C., Knowledge spaces and learning spaces, (New Handbook of Mathematical Psychology (2016), Cambridge University Press), 274-321
[19] Dubra, J.; Echenique, F., Information is not about measurability, Math. Social Sci., 47, 2, 177-185 (2004) · Zbl 1076.91024
[20] Fagin, R.; Halpern, J. Y., Belief, awareness, and limited reasoning, Artificial Intelligence, 34, 1, 39-76 (1987) · Zbl 0634.03013
[21] Falmagne, J.-C.; Doignon, J.-P., Learning Spaces: Interdisciplinary Applied Mathematics (2011), Springer · Zbl 1205.91008
[22] Friedell, M. F., On the structure of shared awareness, Behav. Sci., 14, 1, 28-39 (1969)
[23] Fukuda, S., An Information Correspondence Approach to Bridging Knowledge-Belief Representations in Economics and Mathematical Psychology (2018)
[24] Fukuda, S., Representing Unawareness on State Spaces (2018)
[25] Geanakoplos, J., Games Theory without Partitions, and Applications to Speculation and Consensus, Cowles Foundation Discussion Paper No. 914, 1989.
[26] Ghirardato, P., Coping with ignorance: Unforeseen contingencies and non-additive uncertainty, Econom. Theory, 17, 2, 247-276 (2001) · Zbl 0980.91010
[27] Green, E. J., Events Concerning Knowledge (2012)
[28] Halmos, P. R., Algebraic logic I. Monadic boolean algebras, Compos. Math., 12, 217-249 (1955) · Zbl 0087.24505
[29] Hérves-Beloso, C.; Monteiro, P., Information and \(\sigma \)-algebras, Econom. Theory, 54, 2, 405-418 (2013) · Zbl 1367.91102
[30] Kajii, A.; Morris, S., Common \(p\)-belief: The general Case, Games Econom. Behav., 18, 1, 73-82 (1997) · Zbl 0893.90034
[31] Lee, J., Formalization of information: Knowledge and belief, Econom. Theory, 66, 4, 1007-1022 (2018) · Zbl 1422.91199
[32] Lipman, B., A note on the implications of common knowledge of rationality, Games Econom. Behav., 6, 1, 114-129 (1994) · Zbl 0790.90082
[33] Lorrain, F., Notes on topological spaces with minimum neighborhoods, Amer. Math. Monthly, 76, 6, 616-627 (1969) · Zbl 0207.21201
[34] Meier, M., Finitely additive beliefs and universal type spaces, Ann. Probab., 34, 1, 386-422 (2006) · Zbl 1161.91009
[35] Meier, M., Universal knowledge-belief structures, Games Econom. Behav., 62, 1, 53-66 (2008) · Zbl 1135.91338
[36] Modica, S.; Rustichini, A., Awareness and partitional information structures, Theory and Decision, 37, 1, 107-124 (1994) · Zbl 0822.92028
[37] Modica, S.; Rustichini, A., Unawareness and partitional information structures, Games Econom. Behav., 27, 2, 265-298 (1999) · Zbl 0943.91026
[38] Monderer, D.; Samet, D., Approximating common knowledge with common beliefs, Games Econom. Behav., 1, 2, 170-190 (1989) · Zbl 0755.90110
[39] Monderer, D.; Samet, D., Proximity of information in games with incomplete information, Math. Oper. Res., 21, 3, 707-725 (1996) · Zbl 0871.90146
[40] Morris, S., The logic of belief and belief change: A decision theoretic approach, J. Econom. Theory, 69, 1, 1-23 (1996) · Zbl 0852.90004
[41] Mukerji, S., Understanding the nonadditive probability decision model, Econom. Theory, 9, 1, 23-46 (1997) · Zbl 0866.90005
[42] Nielsen, L. T., Common knowledge, communication, and convergence of beliefs, Math. Social Sci., 8, 1, 1-14 (1984) · Zbl 0592.90002
[43] Noguchi, M., Alpha cores of games with nonatomic asymmetric information, J. Math. Econom., 75, 1-12 (2018) · Zbl 1388.91031
[44] Pacuit, E., Neighborhood Semantics for Modal Logic (2017), Springer · Zbl 1390.03001
[45] Radner, R., Competitive equilibrium under uncertainty, Econometrica, 36, 1, 31-58 (1968) · Zbl 0167.18601
[46] Salonen, H., On Completeness of Knowledge Models (2009)
[47] Samet, D., Ignoring ignorance and agreeing to disagree, J. Econom. Theory, 52, 1, 190-207 (1990) · Zbl 0719.90022
[48] Samet, D., S5 knowledge without partitions, Synthese, 172, 1, 145-155 (2010) · Zbl 1192.03002
[49] Schipper, B. C., Awareness, (van Ditmarsch, H.; Halpern, J. Y.; van der Hoek, W.; Kooi, B. P.; Ditmarsch, H.; Hoek, W., Handbook of Epistemic Logic (2015), College Publications), 77-146 · Zbl 1392.03009
[50] Shin, H. S., Logical structure of common knowledge, J. Econom. Theory, 60, 1, 1-13 (1993) · Zbl 0772.90036
[51] Steiner, A. K., The lattice of topologies: Structure and complementation, Trans. Amer. Math. Soc., 122, 2, 379-398 (1966) · Zbl 0139.15905
[52] Stinchcombe, M. B., Bayesian information topologies, J. Math. Econom., 19, 3, 233-253 (1990) · Zbl 0709.90024
[53] Tobias, A., A Unified Epistemological Theory of Information Processing (2019)
[54] Vickers, S., Topology via logic (1989), Cambridge University Press · Zbl 0668.54001
[55] Wilson, R., Information, efficiency, and the core of an economy, Econometrica, 46, 4, 807-816 (1978) · Zbl 0392.90011
[56] Yannelis, N. C., The core of an economy with differential information, Econom. Theory, 1, 2, 183-197 (1991) · Zbl 0810.90013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.