Information Structures with Unawareness

I construct a state space model with unawareness following Aumann (1976). Dekel, Lipman and Rustichini (1998a) show that standard state space models are incapable of representing unawareness. The model circumvents the impossibility result by endowing the agent with a subjective state space that differs from the full state space when he has the unawareness problem. Information is modeled as a pair, consisting of both factual information and awareness information. The model preserves the central properties of the standard information partition model.unawareness, information, information partition, state space models

Interactive Unawareness and Speculative Trade

The standard state-spaces of asymmetric information preclude non- trivial forms of unawareness (Dekel, Lipman and Rustichini, 1998). We introduce a generalized state-space model that allows for non-trivial unawareness among several individuals, and which satisfies strong properties of knowledge as well as all the desiderata on unawareness proposed this far in the literature. In an example of speculative trade, we demonstrate how mutual unawareness of fundamentals allows for common knowledge of willingness to trade together with strict preference for trade. Such a state of affairs is impossible to model in standard information structures with strong properties of knowledge.unawareness, awareness, knowledge, interactive epistemology, speculative trade, bounded perception

Alternative Semantics for Unawareness

Modica and Rustichini [Theory and Decision 37, 1994] provided a logic for reasoning about knowledge where agents may be unaware of certain propositions. However, their original approach had the unpleasant property that nontrivial unawareness was incompatible with partitional information structures. More recently, Modica and Rustichini [Games and Economic Behavior 27:2, 1999] have provided an approach that allows for nontrivial unawareness in partitional information structures. Here it is shown that their approach can be viewed as a special case of a general approach to unawareness considered by Fagin and Halpern [Artificial Intelligence 34, 1988].awareness, unawareness,

A Canonical Model for Interactive Unawareness

Heifetz, Meier and Schipper (2005) introduced a generalized state-space model that allows for non-trivial unawareness among several individuals and strong properties of knowledge. We show that this generalized state-space model arises naturally if states consist of maximally consistent sets of formulas in an appropriate logical formulation

Unawareness, Beliefs and Games

We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawareness. We develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower awareness levels. We use our unawareness belief structure to show that the common prior assumption is too weak to rule out speculative trade in all states. Yet, we prove a generalized “No-trade” theorem according to which there can not be common certainty of strict preference to trade. Moreover, we show a generalization of the “No-agreeing-to-disagree” theorem

Unawareness, Beliefs, and Speculative Trade

We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for potential applications of asymmetric unawareness. Applying our unawareness belief structures, we show that the common prior assumption is too weak to rule out speculative trade in all states. Yet, we prove a generalized "No-speculative-trade" theorem according to which there can not be common certainty of strict preference to trade. Moreover, we prove a generalization of the "No-agreeing-to-disagree" theorem. Finally, we show the existence of a universal unawareness belief type space.Unawareness, awareness, common prior, agreement, speculative trade, universal type-space, interactive epistemology, inattention

Unawareness, Beliefs and Speculative Trade

We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for potential applications of asymmetric unawareness. We compare unawareness with probability zero belief. Applying our unawareness belief structures, we show that the common prior assumption is too weak to rule out speculative trade in all states. Yet, we prove a generalized ""No-trade"" theorem according to which there can not be common certainty of strict preference to trade. Moreover, we show a generalization of the ""No-agreeing-to-disagree"" theorem.unawareness, awareness, zero probability, type-space, common prior, agreement, speculative trade, interactive epistemology

Unawareness, Beliefs and Games

We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawareness. We develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower awareness levels. We use our unawareness belief structure to show that the common prior assumption is too weak to rule out speculative trade in all states. Yet, we prove a generalized ``No-trade'' theorem according to which there can not be common certainty of strict preference to trade. Moreover, we show a generalization of the ``No-agreeing-to-disagree'' theorem.unawareness, awareness, type-space, Bayesian games, incomplete information, equilibrium, common prior, agreement, speculative trade, interactive epistemology

Standard State Space Models of Unawareness

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In fact, standard space models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly

Theorems and unawareness

This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows that unawareness of theorems not only constrains an agent's knowledge, but also, can impair his reasoning about what other agents know. For example, in contrast to Li (2006), Heifetz, Meier, and Schipper (2006) and the standard model of knowledge, it is possible that two agents disagree on whether another agent knows a particular event