Reasoning about knowledge of unawareness

Awareness has been shown to be a useful addition to standard epistemic logic. However, standard propositional logics for knowledge and awareness cannot express the fact that an agent knows that there are facts of which he is unaware without there being an explicit fact that the agent knows he is unaware of. We extend Fagin and Halpern's logic of general awareness to a logic that allows quantification over variables, so that there is a formula in the language that says “an agent explicitly knows that there exists a fact of which he is unaware.” Moreover, that formula can be true without the agent explicitly knowing that he is unaware of any particular formula. We provide a sound and complete axiomatization of the logic. Finally, we show that the validity problem for the logic is recursively enumerable, but not decidable.     

Bayesian games with unawareness and unawareness perfection

Applying unawareness belief structures introduced in Heifetz et al. (Games Econ Behav 77:100–121, 2013a), 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 apply Bayesian games with unawareness to investigate the robustness of equilibria to uncertainty about opponents’ awareness of actions. We show that a Nash equilibrium of a strategic game is robust to unawareness of actions if and only if it is not weakly dominated. Finally, we discuss the relationship between standard Bayesian games and Bayesian games with unawareness.     

Interactive unawareness

The standard state-spaces of asymmetric information preclude non-trivial forms of unawareness (Modica and Rustichini (Theory Decision 37 (1994) 107–124); Dekel, Lipman and Rustichini (Econometrica 66 (1998) 159–173)). 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.     

Information structures with unawareness

I construct a state space model with unawareness following [R.J. Aumann, Agreeing to disagree, Ann. Stat. 76 (1976) 1236-1239]. Dekel et al. [E. Dekel, B.L. Lipman, A. Rustichini, Standard state-space models preclude unawareness, Econometrica 66 (1998) 159-173] 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.     

Dynamic unawareness and rationalizable behavior

We define generalized extensive-form games which allow for asymmetric awareness of actions. We extend Pearceʼs (1984) notion of extensive-form (correlated) rationalizability to this setting, explore its properties, and prove existence.     

Universal type structures with unawareness

Infinite hierarchies of awareness and beliefs arise in games with unawareness, similarly to belief hierarchies in standard games. A natural question is whether each hierarchy describes the playerʼs awareness of the hierarchies of other players and beliefs over these, or whether the reasoning can continue indefinitely. This paper constructs the universal type structure with unawareness where each type has an awareness level and a belief over types. Countable hierarchies are therefore sufficient to describe all uncertainty in games with unawareness.     

Competitive equilibrium with unawareness in economies with production

This paper investigates an extension of the GEI-unawareness framework by Modica et al. (Econ. Theory 12 (1998) 259) to economies with entrepreneurial production. Existence of equilibrium is guaranteed given decreasing returns to scale. Firm's value and investment decision in equilibrium are characterized. An example of commodity innovation shows that the effect of different degrees of awareness on investment decisions depend upon the degree of risk aversion. In the case of log preferences unawareness may not matter for commodity innovation, although this depends on other preference features.     

概率归纳逻辑的兴起

从穆勒等人对或然性的探讨,经耶方斯对概率归纳逻辑的开创,到卡尔纳普代表的现代概率归纳逻辑体系,考察了概率归纳逻辑的发展历程,从中揭示其兴起的原因,并分析现代归纳逻辑发展的一些新趋势。     

Inductive Game Theory: Discrimination and Prejudices

This paper proposes a new theory, which we call inductive game theory . In this theory, the individual player does not have a priori knowledge of the structure of the game that he plays repeatedly. Instead, he accumulates experiences induced by occasional random trials in the repeated play. A stationary state is required to be stable against intentional deviations based on the player's experiences, and then it turns out to be a Nash equilibrium. The main part of the paper is the consideration of possible individual views of the society based on individual experiences. This view is defined to be a model of the society which the player builds from his experiences. Coherency with these experiences and a condition called rationalization are required for a model. As concrete objects of the theory, this paper analyzes the phenomena of discrimination and prejudice. The development of the new theory is undertaken by contrasting its observational and behavioral aspects with mental and judgmental aspects. The relationship between discrimination and prejudice will emerge in this dichotomous consideration.     

Circadian effects on strategic reasoning

The ability to strategically reason is important in many competitive environments. In this paper, we examine how relatively mild temporal variations in cognition affect reasoning in the Beauty Contest. The source of temporal cognition variation that we explore is the time-of-day that decisions are made. Our first result is that circadian mismatched subjects (i.e., those making decisions at off-peak time of day) display lower levels of strategic reasoning in the p<1 Beauty Contest but not in the p>1 game. This suggests that a cognitively more challenging environment is required for circadian mismatch to harm strategic reasoning. A?second result is that choice adaptation or mimicry (i.e., a?more automatic type of responding than what is typically considered to be “learning”) during repeated play is not significantly affected by circadian mismatch. This is consistent with the hypothesis that automatic thought is more resilient to cognitive resource depletion than controlled-thought decision making.     

Team reasoning without a hive mind

The theory of team reasoning has been developed to resolve a long-lasting niggle in orthodox game theory. Despite its intuitive appeal, the theory has received little attention from mainstream game theorists and economists to date. We believe that this is so because of two theoretic issues, which the theory of team reasoning itself needs to resolve. One of these presents a worry that the theory achieves its explanatory and predictive success by abandoning ontological individualism — a fundamental precept in mainstream economics, including game theory. Here we argue that the theory of team reasoning is compatible with ontological individualism. We show that the core principles of the theory — those that give rise to the above worry — are in fact implicitly assumed in some branches of orthodox game theory itself. We also argue against the methodological approach that construes team reasoning as involving a transformation of the interacting players’ payoffs in modelled games.     

Mutual advantage, conventions and team reasoning

This paper proposes a conception of mutual advantage as a motivation for cooperative behaviour. This motivation is contrasted with the ‘emotional’ reciprocity that is represented in current theories of social preferences. The paper explores parallels between mutual advantage and Humean analyses of convention and between mutual advantage and theories of team reasoning.     

Level-k reasoning in a generalized beauty contest

We study how the predictive power of level-k models changes as we perturb the classical beauty contest setting along two dimensions: the strength of the coordination motive and the information symmetry. We use a variation of the Morris and Shin (2002) model as the unified framework for our study, and find that the predictive power of level-k models varies considerably along these two dimensions. Level-k models are successful in predicting subject behavior in settings with symmetric information and a strong coordination motive. Their predictive power weakens significantly when either private information is introduced or the importance of the coordination motive is decreased.     

The geometry of inductive reasoning in games

Summary.  This paper contributes to the recent focus on dynamics in noncooperative games when players use inductive learning. The most well-known inductive learning rule, Brown’s fictitious play, is known to converge for games, yet many examples exist where fictitious play reasoning fails to converge to a Nash equilibrium. Building on ideas from chaotic dynamics, this paper develops a geometric conceptualization of instability in games, allowing for a reinterpretation of existing results and suggesting avenues for new results. Received: October 27, 1995 revised version May 2, 1996     

Prior symmetry, similarity-based reasoning, and endogenous categorization

This paper presents a rational theory of categorization and similarity-based reasoning. I study a model of sequential learning in which the decision maker infers unknown properties of an object from information about other objects. The decision maker may use the following heuristics: divide objects into categories with similar properties and predict that a member of a category has a property if some other member of this category has this property. The environment is symmetric: the decision maker has no reason to believe that the objects and properties are a priori different. In symmetric environments, categorization is an optimal solution to an inductive inference problem. Any optimal solution looks as if the decision maker categorizes. Various experimental observations about similarity-based reasoning coincide with the optimal behavior in my model.     

A real options reasoning approach to hybrid vehicle investments

Long term increases of petrol prices and the threat of a global climate change have created in the automotive industry a new competitive environment based on the development of more sustainable technologies. Using the real option reasoning lens we provide a theoretical framework to better account for the technological and market uncertainties and irreversibilities that impact the investment and innovation decisions of automotive firms supporting the development of more sustainable vehicle technologies. We investigate the case of hybrid vehicles in a transitional perspective by insisting on their potential to influence the dynamic shaping of investment decisions of firms in the car industry. We consider the hybridization strategy as intra-project and inter-project compound growth options to manage the flexibilities and irreversibilities of investment decisions during the transition process. We provide four different-sometimes conflicting-strategic rationales structuring the investment efforts of firms in hybrid vehicles and illustrate them with numerous examples from the automotive industry.