In this work we present a general duality-theory framework for revenue maximization in additive Bayesian auctions involving multiple items and many bidders whose values for the goods follow arbitrary continuous joint distributions over some multi-dimensional real interval. Although the single-item case has been resolved in a very elegant way by the seminal work of Myerson [1981], optimal solutions involving more items still remain elusive. The framework extends linear programming duality and complementarity to constraints with partial derivatives. The dual system reveals the natural geometric nature of the problem and highlights its connection with the theory of bipartite graph matchings. We demonstrate the power of the framework by applying it to various special monopoly settings where a seller of multiple heterogeneous goods faces a buyer with independent item values drawn from various distributions of interest, to design both exact and approximately optimal selling mechanisms. Previous optimal solutions were only known for up to two and three goods, and a very limited range of distributional priors. The duality framework is used not only for proving optimality, but perhaps more importantly, for deriving the optimal mechanisms themselves. Some of our main results include: the proposal of a simple deterministic mechanism, which we call Straight-Jacket Auction (SJA) and is defined in a greedy, recursive way through natural geometric constraints, for many uniformly distributed goods, where exact optimality is proven for up to six items and general optimality is conjectured; a scheme of sufficient conditions for exact optimality for two-good settings and general independent distributions; a technique for upper-bounding the optimal revenue for arbitrarily many goods, with an application to uniform and exponential priors; and the proof that offering deterministically all items in a single full bundle is the optimal way of selling multiple exponentially i.i.d. items.

In this thesis we study decentralized dynamics for non-cooperative and cooperative games. The dynamics are behaviorally motivated and assume that very little information is available about other players' preferences, actions, or payoffs. For example, this is the case in markets where exchanges are frequent and the sheer size of the market hinders participants from learning about others' preferences. We consider learning dynamics that are based on trial-and-error and aspiration-based heuristics. Players occasionally try to increase their performance given their current payoffs. If successful they stick to the new action, otherwise they revert to their old action. We also study a dynamic model of social influence based on findings in sociology and psychology that people have a propensity to conform to others' behavior irrespective of the payoff consequences. We analyze the dynamics with a particular focus on two questions: How long does it take to reach equilibrium and what are the stability and welfare properties of the equilibria that the process selects? These questions are at the core of understanding which equilibrium concepts are robust in environments where players have little information about the game and the high rationality assumptions of standard game theory are not very realistic. Methodologically, this thesis builds on game theoretic techniques and prominent solution concepts such as the Nash equilibrium for non-cooperative games and the core for cooperative games, as well as refinement concepts like stochastic stability. The proofs rely on mathematical techniques from random walk theory and integer programming.

Esta dissertação aborda a teoria dos jogos diferenciais em sua estreita relação com a teoria das equações de Hamilton-Jacobi (HJ). Inicialmente, uma revisão da noção de solução em teoria dos jogos é empreendida. Discutem-se nesta ocasião as idéias de equilíbrio de Nash e alguns de seus refinamentos. Em seguida, tem lugar uma introdução à teoria dos jogos diferenciais, onde noções de solução como a função de valor de Isaacs e de Friedman são discutidas. É nesta altura do trabalho que fica evidente a conexão entre este conceito de solução e a teoria das equações de Hamilton-Jacobi. Por ocasião desta conexão, é explorada a noção de solução clássica e é exposta uma demonstração do fato de que se um jogo diferencial possuir uma função de valor pelo menos continuamente diferenciável, esta será uma solução da equação de Hamilton-Jacobi associada ao jogo. Este resultado faz uso do princípio da programação dinâmica, devido a Bellman, e cuja demonstração está presente no texto. No entanto, quando a função de valor do jogo é apenas contínua, então embora esta não seja uma solução clássica da equação HJ associada a jogo, vemos que ela será uma solução viscosa, ou solução no sentido da viscosidade - e a esta altura são discutidos os elementos e propriedades desta classe de soluções, um teorema de existência e unicidade e alguns exemplos. Por fim, retomamos o estudo dos jogos diferenciais à luz das soluções viscosas da equação de Hamilton-Jacobi e, assim, expomos uma demonstração de existência da função de valor e do princípio da programação dinâmica a partir das noções da viscosidade / This dissertation aims to address the topic of Differential Game Theory in its connection with the Hamilton-Jacobi (HJ) equations framework. Firstly we introduce the idea of solution for a game, through the discussion of Nash equilibria and its refinements. Secondly, the solution concept is then translated to the context of Differential Games and the idea of value function is introduced in its Isaacs\'s as well as Friedman\'s version. As the value function is discussed, its relationship with the Hamilton-Jacobi equations theory becomes self-evident. Due to such relation, we investigate the HJ equation from two distinct points of view. First of all, we discuss a statement according to which if a differential game has a continuously differentiable value function, then such function is a classical solution of the HJ equation associated to the game. This result strongly relies on Bellman\'s Dynamic Programming Principle - and this is the reason why we devote an entire chapter to this theme. Furthermore, HJ is still at our sight from the PDE point of view. Our motivation is simple: under some lack of regularity - a value function which is continuous, but not continuously differentiable - a game may still have a value function represented as a solution of the associated HJ equation. In this case such a solution will be called a solution in the viscosity sense. We then discuss the properties of viscosity solutions as well as provide an existence and uniqueness theorem. Finally we turn our attention back to the theory of games and - through the notion of viscosity - establish the existence and uniqueness of value functions for a differential game within viscosity solution theory.

The interaction of theoretical computer science with game theory and economics has resulted in the emergence of two very interesting research directions. First, it has provided a new model for algorithm design, which is to optimize in the presence of strategic behavior. Second, it has prompted us to consider the computational aspects of various solution concepts from game theory, economics and auction design which have traditionally been considered mainly in a non-constructive manner. In this thesis we present progress along both these directions. We first consider optimization problems that arise in the design of combinatorial auctions. We provide an online algorithm in the important case of budget-bounded utilities. This model is motivated by the recent development of the business of online auctions of search engine advertisements. Our algorithm achieves a factor of $1-1/e$, via a new linear programming based technique to determine optimal tradeoffs between bids and budgets. We also provide lower bounds in terms of hardness of approximation in more general submodular settings, via a PCP-based reduction. Second, we consider truth-revelation in auctions, and provide an equivalence theorem between two notions of strategy-proofness in randomized auctions of digital goods. Last, we consider the problem of computing an approximate Nash equilibrium in multi-player general-sum games, for which we provide the first subexponential time algorithm.

Distributed learning is the iterative process of decision-making in the presence of other decision-makers. In recent years, researchers across fields as disparate as engineering, biology, and economics have identified mathematically congruous problem formulations at the intersection of their disciplines. In particular, stochastic processes, game theory, and control theory have been brought to bare on certain very basic and universal questions. What sort of environments are conducive to distributed learning? Are there any generic algorithms offering non-trivial performance guarantees for a large class of models? The first half of this thesis makes contributions to two particular problems in distributed learning, self-assembly and language. Self-assembly refers to the emergence of high-level structures via the aggregate behavior of simpler building blocks. A number of algorithms have been suggested that are capable of generic self-assembly of graphs. That is, given a description of the objective they produce a policy with a corresponding performance guarantee. These guarantees have been in the form of deterministic convergence results. We introduce the notion of stochastic stability to the self-assembly problem. The stochastically stable states are the configurations the system spends almost all of its time in as a noise parameter is taken to zero. We show that in this framework simple procedures exist that are capable of self-assembly of any tree under stringent locality constraints. Our procedure gives an asymptotically maximum yield of target assemblies while obeying communication and reversibility constraints. We also present a slightly more sophisticated algorithm that guarantees maximum yields for any problem size. The latter algorithm utilizes a somewhat more presumptive notion of agents' internal states. While it is unknown whether an algorithm providing maximum yields subject to our constraints can depend only on the more parsimonious form of internal state, we are able to show that such an algorithm would not be able to possess a unique completing rule--- a useful feature for analysis. We then turn our attention to the problem of distributed learning of communication protocols, or, language. Recent results for signaling game models establish the non-negligible possibility of convergence, under distributed learning, to states of unbounded efficiency loss. We provide a tight lower bound on efficiency and discuss its implications. Moreover, motivated by the empirical phenomenon of linguistic drift, we study the signaling game under stochastic evolutionary dynamics. We again make use of stochastic stability analysis and show that the long-run distribution of states has support limited to the efficient communication systems. We find that this behavior is insensitive to the particular choice of evolutionary dynamic, a fact that is intuitively captured by the game's potential function corresponding to average fitness. Consequently, the model supports conclusions similar to those found in the literature on language competition. That is, we expect monomorphic language states to eventually predominate. Homophily has been identified as a feature that potentially stabilizes diverse linguistic communities. We find that incorporating homophily in our stochastic model gives mixed results. While the monomorphic prediction holds in the small noise limit, diversity can persist at higher noise levels or as a metastable phenomenon. The contributions of the second half of this thesis relate to more basic issues in distributed learning. In particular, we provide new results on the problem of distributed convergence to Nash equilibrium in finite games. A recently proposed class of games known as stable games have the attractive property of admitting global convergence to equilibria under many learning dynamics. We show that stable games can be formulated as passive input-output systems. This observation enables us to identify passivity of a learning dynamic as a sufficient condition for global convergence in stable games. Notably, dynamics satisfying our condition need not exhibit positive correlation between the payoffs and their directions of motion. We show that our condition is satisfied by the dynamics known to exhibit global convergence in stable games. We give a decision-theoretic interpretation for passive learning dynamics that mirrors the interpretation of stable games as strategic environments exhibiting self-defeating externalities. Moreover, we exploit the flexibility of the passivity condition to study the impact of applying various forecasting heuristics to the payoffs used in the learning process. Finally, we show how passivity can be used to identify strategic tendencies of the players that allow for convergence in the presence of information lags of arbitrary duration in some games.

Η παρούσα διπλωματική εργασία πραγματεύεται την θεωρία παιγνίων και το πώς αυτή εφαρμόζεται στην οικονομική επιστήμη. Συγκεκριμένα, στόχος μας είναι να απαντήσουμε στο ερώτημα: «Πως αποφασίζονται οι τελικές στρατηγικές που θα επικρατήσουν σε ένα παίγνιο με την πάροδο του χρόνου;». Η εργασία είναι χωρισμένη σε δύο μέρη. Αρχικά αναφερόμαστε στην κλασσική θεωρία παιγνίων και αναλύουμε τα βασικά της στοιχεία και στη συνέχεια περνάμε στην ανάλυση της εξελικτικής θεωρίας παιγνίων. Στο 1ο μέρος της παρούσας εργασίας, λοιπόν, αναφέρουμε τα όσα είναι σχετικά με την κλασσικά θεωρία παιγνίων. Συγκεκριμένα, στο πρώτο κεφάλαιο γίνεται μία σύντομη ιστορική αναδρομή της θεωρίας αυτής και στο δεύτερο κεφάλαιο την ορίζουμε ως την επίσημη μελέτη που εξετάζει την ορθολογικότητα σε ένα επιχειρηματικό περιβάλλον και παρουσιάζουμε τα βασικά στοιχεία ενός παιγνίου. Αναφέρουμε τα δύο επίπεδα περιγραφής των παιγνίων, δηλαδή τα παίγνια συνεργασίας και μη-συνεργασίας, καθώς και τους δύο τρόπους αναπαράστασής τους που είναι η στρατηγική ή αλλιώς κανονική μορφή (μήτρες) και η εκτεταμένη ή αλλιώς αναλυτική μορφή (δέντρα παιγνίων). Στο τρίτο κεφάλαιο ορίζονται οι κυρίαρχες στρατηγικές και η αντίστοιχη ισορροπία κυρίαρχης στρατηγικής και στο τέταρτο κεφάλαιο ορίζεται η Ισορροπία Nash, η οποία αποτελεί τη στάνταρ έννοια της ισορροπίας στα οικονομικά. Στα δύο αυτά κεφάλαια (3 και 4) υπάρχουν παραδείγματα εφαρμογής που στοχεύουν στην καλύτερη κατανόηση, και αναλύεται και το Δίλημμα του Φυλακισμένου που αποτελεί το πιο κλασσικό παράδειγμα στη θεωρία παιγνίων. Στην περίπτωση, τώρα, όπου δεν υπάρχει Ισορροπία Nash (κάτι το οποίο συμβαίνει σε παίγνια στρατηγικής μορφής) το παίγνιο λύνεται με τη βοήθεια των μικτών στρατηγικών οι οποίες αναλύονται στο πέμπτο κεφάλαιο. Συνεχίζουμε με το έκτο κεφάλαιο, όπου παρουσιάζονται τα εκτεταμένα παίγνια πλήρους πληροφόρησης και αναλύεται η μέθοδος της προς τα πίσω επαγωγής (αναδίπλωση). Στο έβδομο κεφάλαιο παρουσιάζονται τα παίγνια ελλιπούς πληροφόρησης και στο όγδοο κεφάλαιο αναφέρονται τα παίγνια μηδενικού αθροίσματος (π.χ. σκάκι) και το πώς μπορούν να χρησιμοποιηθούν μαζί με τους τυχαιοποιημένους αλγόριθμους για την ανάλυση προβλημάτων στον απευθείας σύνδεσης υπολογισμό. Το 1ο μέρος κλείνει με ένα παράδειγμα εφαρμογής της θεωρίας παιγνίων, τις δημοπρασίες. Τι γίνεται όμως όταν ένα παίγνιο επαναλαμβάνεται και παίζεται περισσότερες από μία φορές; Το ερώτημα αυτό έρχεται να μας το απαντήσει η εξελικτική θεωρία παιγνίων στο 2ο μέρος της παρούσας διπλωματικής εργασίας. Στα δύο πρώτα κεφάλαια, του μέρους αυτού, ορίζονται τα εξελικτικά παίγνια, γίνεται αναφορά για το που μπορούν να βρουν εφαρμογή καθώς και στους λόγους που δεν είναι ακόμη γνωστές οι οικονομικές εφαρμογές τους. Το τρίτο και το πέμπτο κεφάλαιο αποτελούν τα πιο σημαντικά κεφάλαιο του 2ου μέρους. Στο τρίτο κεφάλαιο παρουσιάζεται αναλυτικά το μοντέλο των εξελικτικών παιγνίων και τα στοιχεία που το αποτελούν (αναμενόμενες ανταμοιβές, πληθυσμός, καταστάσεις). Περιγράφεται το στάδιο παιγνίου το οποίο ορίζεται από μία συνάρτηση καταλληλότητας και δίνεται έμφαση στις δύο γραμμικές προδιαγραφές που έχουν οι συναρτήσεις αυτές. Στη συνέχεια, αναλύεται πλήρως το πιο αντιπροσωπευτικό παράδειγμα της εξελικτικής θεωρίας παιγνίων, το παίγνιο Hawk-Dove, που αποτελεί ένα γενικό μοντέλο καταστάσεων με επιθετικές και αμυντικές αγορές. Το παίγνιο αυτό έχει δύο ειδών παίκτες, αυτοί που επιλέγουν να είναι επιθετικοί (Hawk) και αυτοί που επιλέγουν να είναι αμυντικοί (Dove), και ερευνάται το ποιο είδος παικτών θα επικρατήσει τελικά. Μέσα από την διαφορική εξίσωση που αναλύεται στο πέμπτο κεφάλαιο, στις δυναμικές, φαίνεται πως το αποτέλεσμα εξαρτάται από τρεις παραμέτρους: από τον αρχικό πληθυσμό, από την πιθανότητα να παιχτεί η καθεμία στρατηγική και από τον πίνακα με τις ανταμοιβές των παικτών. Έτσι απαντάται το αρχικό μας ερώτημα και προκύπτει η στρατηγική που τελικά θα επικρατήσει, που ονομάζεται εξελικτική στρατηγική (evolutionary stable strategy-ESS). Στο τέταρτο κεφάλαιο ορίζεται η Ισορροπία Nash (I.N.), η Εξελικτική Σταθερή Στρατηγική (ESS) και η Εξελικτική Ισορροπία (E.E.) και στο έκτο κεφάλαιο αναφέρουμε την τοπική κατάταξη συστημάτων με χαμηλές διαστάσεις και συγκεκριμένα τα γραμμικά παίγνια μίας-διάστασης, τα συστήματα δύο μεταβλητών και άλλα συστήματα δύο-διαστάσεων και μη-γραμμικά. Κλείνοντας το 2ο μέρος και γενικά την παρούσα εργασία, παρουσιάζουμε τρία παραδείγματα στα οποία φαίνεται η εφαρμοσιμότητα των όσων αναφέραμε. Συγκεκριμένα αναλύονται τρία γνωστά παίγνια τα οποία χρησιμοποιήθηκαν από την πολιτική και παραλληλίστηκαν με καταστάσεις που είχαν να αντιμετωπίσουν εκείνη τη στιγμή. / This thesis deals with the evolutionary game theory and how it applies to economics. First of all, it is necessary to refer the original game theory and to analyze the key elements and then move to the analysis of evolutionary game theory. In the first part of this study, therefore, we indicate what is on game theory. Specifically, in the first chapter is a brief history of game theory and the second chapter defined game theory as a formal study examining the rationality in a business environment and presents the basics elements of a game. Also, at this chapter i reffer to the description of games, namely, games of cooperation and non-cooperation, and the two ways of representing their strategy, the normal form (matrix) and the extensive form (game tree). The third chapter sets out the dominant strategy and the corresponding dominant strategy equilibrium and in the fourth chapter we define the Nash Equilimbrium, which is the standard notion of equilibrium in economics. In these two chapters (third and fourth) there are examples of the application for better understanding, and we analyze the prisoner's dilemma, which is the most classic example of game theory. If there is no Nash Equilimbrium (this could happen at narmal strategy games) the game is solved by mixed strategies, which are analyzed in the fifth chapter. Continuing, at the sixth chapter we can see the extensive games with perfect information and we analyze the method of backward induction. In the seventh chapter, we can see the extensive games with imperfect information and the eighth chapter refers to the zero-sum games and how they can be used together with randomized algorithms for the analysis of problems on-line calculation. Finally, the first part closes with an example application of game theory, the auctions. The question is “What happens when a game is played more than once?” The answer comes from the second part of this thesis in which we analyse the evolutionary game theory. In the first two chapters of this part we define evolutionary games, we refere where evolutionary games might be applicable and why economic application aren’t common already. The third and fourth chapter are the most important chapters of the second part. At the third chapter we present the model of the evolutionary game and its elements (expected payoffs, population, states). We describe the stage game which is defined by a fitness function and we emphasize at its two linear specifications. Then we make a full analysis one of the most representative example of evolutionary game theory, the Hawk-Dove game. This game has two types of players, aggressive (Hawk) and defensive (Dove), which reflects the situation where there is a competitive and an uncompetitive business, and the point is to find which of the two types will eventually prevail. Based on a differential equation, we conclude that the result depends on three parameters: the initial population, the probability with which each strategy is played and the payoff matrix. All this leads in a strategy which is known as evolutionary stable (ESS). In chapter five, we define the Nash Equilibrium, the Evolutionary Stable Strategy (ESS) and Evolutionary Equilibrium (EE) and in chapter six we analyze the local classification of low dimensions systems. To make clear the applicability of all those we mention at this thesis, we are closing with three examples. More specific we analyze three well-known games which were used by the political and paralleled with situations they had to face with.

In this thesis we analyze the performance of communication networks using game theoretic approaches. The thesis is in two parts. The first part studies the performance of Ad hoc, cellular and transportation networks taking into consideration spatial effects. The second part studies economic issues in the communication networks related to the 'net neutrality' regulations. Here we study price competition and revenue sharing mechanisms between the network service providers. In the first part, we use Medium Access Control (MAC) game and Jamming game models to study the performance of a Mobile Ad hoc NETwork (MANET), and routing games to study the performance of a transportation network. In the cellular networks, we study the effect of reducing the spatial density of base stations on the amount of radiation to human body (green networking). We use tools from stochastic geometry to model spatial characters. We begin with the study of MAC game in a MANET where the nodes are noncooperative, and their locations form a Poisson point process. The nodes use Aloha protocol to access the channel, and choose their Medium Access Probability (MAP) such that it optimizes their utility. The utility of each node is defined as weighted difference between a performance metric (expected goodput or expected delay) and transmission costs. We first consider a scenario in which nodes can be priced for channel access. We show that by using a simple (linear) pricing mechanism and setting the price 'appropriately', the selfish behavior of the nodes can be used to achieve the same performance as social optima at equilibrium. In the case where channel access is free, we consider transmission energy costs and analyze the Price of Anarchy (PoA). For the game with goodput based utility, we show that the PoA is infinite at the price that achieves the global optimal goodput. We then study the performance of MANET in the presence of a Jammer while all the nodes cooperate by using a MAP that is assigned by a network an Operator. The objective of the Jammer is to degrade the spatial performance of the MANET by causing interference, whereas the objective of the Operator is to set a MAP to optimize it. We model the interaction between the Jammer and the Operator taking into account the transmission energy costs. We transform the resulting non zero sum game into a zero sum game by constructing an anti-potential, and show that for a given Jammer's transmission cost, if the nodes transmit at a power higher than certain threshold, then the Jammer has no incentive to jam, i.e., the nodes can operate as if there is no Jammer. Next, we consider cellular networks. We study energy saving by switching off a fraction of the base stations (BSs). This saving comes at some cost: the coverage is reduced, and the uplink transmission power of mobiles may increase. This implies exposure of the human body to stronger electromagnetic fields. We quantify this through the deactivation of base stations under the assumptions that the random location of base stations and mobiles form a Poisson processes. We consider the case of sparse network where the interference is negligible, and the case where it is non negligible. We observe that when the mobiles have no power constraints, unlike in the case of negligible interference, switching off base stations reduces the uplink power. Finally, we study a dynamic routing game by adding temporal dimension to the classical routing problem. We consider a scenario where each user have to ship a fixed demand on a shared link. The users can delay shipping their demand, but need to ship within T days, and each time they delay, a delay cost is incurred. We study the effect of delay costs on the user strategies by translating the time dimension into space dimension. Considering both atomic and non-atomic game models and polynomial congestion costs, we show that there exists a threshold time T T before which all users ship their demand at equilibrium, and during this period total demand on the link is decreasing in time. Further, we extend the analysis to the case when the demand of each user arrives randomly. In the second part of the thesis, we study economics aspects in communication networks. Representatives of several Internet access providers (ISPs) have expressed their wish to see a substantial change in the pricing policies in the Internet. In particular, they would like to see content providers (CPs) pay for use of the network, given the large amount of resources they use. This would be in clear violation of the "network neutrality" principle that had characterized the development of the wireline Internet. Our first goal here is to propose and study possible ways of implementing payments in a nonneutral network. We introduce a model that includes the users' behavior, the utilities of the ISP and of the CPs, and the monetary flow that involves the users, an ISP and CPs, and CP's revenues from advertisements. We consider various game models and obtain the resulting equilibrium prices. We show that if a regulator decides the amount of money that CPs pays to the ISP, rather it is decided by the ISP or the CPs, then it results in a favorable situation for all the players. Thus, we demonstrate the necessary for regulation of the monetary transactions between the ISP and the CPs in the nonneutral regime. The mechanism we propose for monetary interaction is based on the Nash bargaining solution. One of the central issues in the debate on network neutrality has been whether one should allow or prevent preferential treatment by an ISP. This raised the question of whether to allow an ISP to have exclusive agreement with a content provider (CP). We study the impact of exclusive contracts between a CP and an ISP in a nonneutral network. We consider a simple case of collusion where a CP and an ISP aim to maximize their sum of revenues, and show that such a collusion may not always be beneficial. We derive an explicit condition in terms of the advertisement revenues of the CPs which tells when a collusion is profitable to the colluding entities. Finally, we consider discrimination in the opposite direction, i.e., CP discriminating the ISPs. We derive models for studying the impact that the CP can have on the utilities of the ISPs by favoring one of them through exclusively revealing its private information on the demand. For a special case of linear demand function, we show that such preferential treatment always benefits the ISPs. However, if the CP charges the ISPs for providing the private information, then the ISP obtaining preferential treatment may not always gain. We then propose mechanisms based on weighted proportional fairness for deciding the payments between the CP and the ISP and compare them by proposing a new metric termed Price of Partial Bargaining.

Experimental game theory is the use of game theoretic abstractions—games, players, and strategies—in experiments and simulations. It is often used in cases where traditional, analytical game theory fails or is difficult to apply. This thesis collects three previously published papers that provide domain-specific language (DSL) support for defining and executing these experiments, and for explaining their results. Despite the widespread use of software in this field, there is a distinct lack of tool support for common tasks like modeling games and running simulations. Instead, most experiments are created from scratch in general-purpose programming languages. We have addressed this problem with Hagl, a DSL embedded in Haskell that allows the concise, declarative definition of games, strategies, and executable experiments. Hagl raises the level of abstraction for experimental game theory, reducing the effort to conduct experiments and freeing experimenters to focus on hard problems in their domain instead of low-level implementation details. While analytical game theory is most often used as a prescriptive tool, a way to analyze a situation and determine the best course of action, experimental game theory is often applied descriptively to explain why agents interact and behave in a certain way. Often these interactions are complex and surprising. To support this explanatory role, we have designed visual DSL for explaining the interaction of strategies for iterated games. This language is used as a vehicle to introduce the notational quality of traceability and the new paradigm of explanation-oriented programming. / Graduation date: 2012

School of Economics and Political Science, Diss.--London, 2005. / Literaturverz. S. [143] - 145. The work originates from the author's PhD thesis at the London School of Economics and Political Science. (Preface).

Esta dissertação aborda a teoria dos jogos diferenciais em sua estreita relação com a teoria das equações de Hamilton-Jacobi (HJ). Inicialmente, uma revisão da noção de solução em teoria dos jogos é empreendida. Discutem-se nesta ocasião as idéias de equilíbrio de Nash e alguns de seus refinamentos. Em seguida, tem lugar uma introdução à teoria dos jogos diferenciais, onde noções de solução como a função de valor de Isaacs e de Friedman são discutidas. É nesta altura do trabalho que fica evidente a conexão entre este conceito de solução e a teoria das equações de Hamilton-Jacobi. Por ocasião desta conexão, é explorada a noção de solução clássica e é exposta uma demonstração do fato de que se um jogo diferencial possuir uma função de valor pelo menos continuamente diferenciável, esta será uma solução da equação de Hamilton-Jacobi associada ao jogo. Este resultado faz uso do princípio da programação dinâmica, devido a Bellman, e cuja demonstração está presente no texto. No entanto, quando a função de valor do jogo é apenas contínua, então embora esta não seja uma solução clássica da equação HJ associada a jogo, vemos que ela será uma solução viscosa, ou solução no sentido da viscosidade - e a esta altura são discutidos os elementos e propriedades desta classe de soluções, um teorema de existência e unicidade e alguns exemplos. Por fim, retomamos o estudo dos jogos diferenciais à luz das soluções viscosas da equação de Hamilton-Jacobi e, assim, expomos uma demonstração de existência da função de valor e do princípio da programação dinâmica a partir das noções da viscosidade / This dissertation aims to address the topic of Differential Game Theory in its connection with the Hamilton-Jacobi (HJ) equations framework. Firstly we introduce the idea of solution for a game, through the discussion of Nash equilibria and its refinements. Secondly, the solution concept is then translated to the context of Differential Games and the idea of value function is introduced in its Isaacs\'s as well as Friedman\'s version. As the value function is discussed, its relationship with the Hamilton-Jacobi equations theory becomes self-evident. Due to such relation, we investigate the HJ equation from two distinct points of view. First of all, we discuss a statement according to which if a differential game has a continuously differentiable value function, then such function is a classical solution of the HJ equation associated to the game. This result strongly relies on Bellman\'s Dynamic Programming Principle - and this is the reason why we devote an entire chapter to this theme. Furthermore, HJ is still at our sight from the PDE point of view. Our motivation is simple: under some lack of regularity - a value function which is continuous, but not continuously differentiable - a game may still have a value function represented as a solution of the associated HJ equation. In this case such a solution will be called a solution in the viscosity sense. We then discuss the properties of viscosity solutions as well as provide an existence and uniqueness theorem. Finally we turn our attention back to the theory of games and - through the notion of viscosity - establish the existence and uniqueness of value functions for a differential game within viscosity solution theory.