Uncertainty Analysis of Simple Macroeconomic Models Using Angel-Daemon Games
Authors:
Joaquim Gabarro,
Maria Serna
Abstract:
We propose the use of an angel-daemon framework to perform an uncertainty analysis of short-term macroeconomic models with exogenous components. An uncertainty profile $\mathcal U$ is a short and macroscopic description of a potentially perturbed situation. The angel-daemon framework uses $\mathcal U$ to define a strategic game where two agents, the angel and the daemon, act selfishly having diffe…
▽ More
We propose the use of an angel-daemon framework to perform an uncertainty analysis of short-term macroeconomic models with exogenous components. An uncertainty profile $\mathcal U$ is a short and macroscopic description of a potentially perturbed situation. The angel-daemon framework uses $\mathcal U$ to define a strategic game where two agents, the angel and the daemon, act selfishly having different goals. The Nash equilibria of those games provide the stable strategies in perturbed situations, giving a natural estimation of uncertainty.
In this initial work we apply the framework in order to get an uncertainty analysis of linear versions of the IS-LM and the IS-MP models. In those models, by considering uncertainty profiles, we can capture different economical situations. Some of them can be described in terms of macroeconomic policy coordination. In other cases we just analyse the results of the system under some possible perturbation level. Besides providing examples of application we analyse the structure of the Nash equilibria in some particular cases of interest.
△ Less
Submitted 19 September, 2016;
originally announced September 2016.
The Pragmatic Proof: Hypermedia API Composition and Execution
Authors:
Ruben Verborgh,
Dörthe Arndt,
Sofie Van Hoecke,
Jos De Roo,
Giovanni Mels,
Thomas Steiner,
Joaquim Gabarro
Abstract:
Machine clients are increasingly making use of the Web to perform tasks. While Web services traditionally mimic remote procedure calling interfaces, a new generation of so-called hypermedia APIs works through hyperlinks and forms, in a way similar to how people browse the Web. This means that existing composition techniques, which determine a procedural plan upfront, are not sufficient to consume…
▽ More
Machine clients are increasingly making use of the Web to perform tasks. While Web services traditionally mimic remote procedure calling interfaces, a new generation of so-called hypermedia APIs works through hyperlinks and forms, in a way similar to how people browse the Web. This means that existing composition techniques, which determine a procedural plan upfront, are not sufficient to consume hypermedia APIs, which need to be navigated at runtime. Clients instead need a more dynamic plan that allows them to follow hyperlinks and use forms with a preset goal. Therefore, in this article, we show how compositions of hypermedia APIs can be created by generic Semantic Web reasoners. This is achieved through the generation of a proof based on semantic descriptions of the APIs' functionality. To pragmatically verify the applicability of compositions, we introduce the notion of pre-execution and post-execution proofs. The runtime interaction between a client and a server is guided by proofs but driven by hypermedia, allowing the client to react to the application's actual state indicated by the server's response. We describe how to generate compositions from descriptions, discuss a computer-assisted process to generate descriptions, and verify reasoner performance on various composition tasks using a benchmark suite. The experimental results lead to the conclusion that proof-based consumption of hypermedia APIs is a feasible strategy at Web scale.
△ Less
Submitted 24 December, 2015;
originally announced December 2015.