ECONOMIC AGENCY THROUGH MODULARITY THEORY

Economic agency as a matter of rational decision-making and as a problem of bounded rationality has never gone too far from its earlier formalization in the 1950s. Not that the advancement on this topic is so slow, but the same problem concerning higher level cognition as another general program of cognitive science is not as easy as behavioral studies. This paper will show a parallelism between economic agency and folkpsychological perspective, and in turn will give a short description on how folk psychology is unseparable from modularity theory. In short, then there must be a way to cope with cognition as the black box of economics if we can identify the appropriate level of description of cognitive structure, i.e.: modularity theory.bounded rationality, folk psychology, modularity theory

Artificiality in Social Sciences

This text provides with an introduction to the modern approach of artificiality and simulation in social sciences. It presents the relationship between complexity and artificiality, before introducing the field of artificial societies which greatly benefited from the computer power fast increase, gifting social sciences with formalization and experimentation tools previously owned by "hard" sciences alone. It shows that as "a new way of doing social sciences", artificial societies should undoubtedly contribute to a renewed approach in the study of sociality and should play a significant part in the elaboration of original theories of social phenomena.artificial societies; multi-agent systems; distributed artificial intelligence; complexity

Serious Gaming for the Evaluation of Market Mechanisms

Design science consists of two major design processes: building and evaluation. A wellexecuted evaluation of design artifacts is crucial to their success. Traditional evaluation tools have certain weaknesses because design artifacts include “wicked” problems. Serious Gaming can help to overcome these problems. To this end an online based cloud resource managing game is developed which simulates the implementation of a market mechanism and represents a new design artifact. This mechanism is a heuristic solution consisting of dynamic pricing and a priority policy. The aim of this research is to show that Serious Gaming complements traditional evaluation tools and improves the evaluation of market mechanisms. Therefore, a general guideline for designing Serious Games for evaluation is developed and a classification of Serious Gaming is established. After having collected sufficient data, future work will be to analyze players’ behavior and finally evaluate the market mechanism

Planejamento para missões autônomas persistentes cooperativas de longo prazo

Orientador: Andre Ricardo FioravantiDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia MecânicaResumo: Uma metodologia para abordar missões autônomas persistentes a longo prazo é apresentada juntamente com uma formalização geral do problema em hipóteses simples. É derivada uma realização dessa metodologia que reduz o problema geral para subproblemas de construção de caminho e de otimização combinatória, que são tratados com heurísticas para a computação de solução viável. Quatro estudos de caso são propostos e resolvidos com esta metodologia, mostrando que é possível obter caminhos contínuos ótimos ou subótimos aceitáveis a partir de ma representação discreta e elucidando algumas propriedades de solução nesses diferentes cenários, construindo bases para futuras escolhas educadas entre o uso de métodos exatos ou heurísticosAbstract: A Methodology for tackling Persistent Long Term Autonomous Missions is presented along with a general formalization of the problem upon simple assumptions. A realization of this methodology is derived which reduces the overall problem to a path construction and a combinatorial optimization subproblems, which are treated themselves with heuristics for feasible solution computation. Four case studies are proposed and solved with this methodology, showing that it is possible to obtain optimal or acceptable suboptimal continuous paths from a discrete representation, and elucidating some solution properties in these different scenarios, building bases for future educated choices between use of exact methods over heuristicsMestradoMecanica dos Sólidos e Projeto MecanicoMestre em Engenharia Mecânica1687532CAPE

Behavioural Economics: Classical and Modern

In this paper, the origins and development of behavioural economics, beginning with the pioneering works of Herbert Simon (1953) and Ward Edwards (1954), is traced, described and (critically) discussed, in some detail. Two kinds of behavioural economics – classical and modern – are attributed, respectively, to the two pioneers. The mathematical foundations of classical behavioural economics is identified, largely, to be in the theory of computation and computational complexity; the corresponding mathematical basis for modern behavioural economics is, on the other hand, claimed to be a notion of subjective probability (at least at its origins in the works of Ward Edwards). The economic theories of behavior, challenging various aspects of 'orthodox' theory, were decisively influenced by these two mathematical underpinnings of the two theoriesClassical Behavioural Economics, Modern Behavioural Economics, Subjective Probability, Model of Computation, Computational Complexity. Subjective Expected Utility

Social Simulation of Stock Markets: Taking It to the Next Level

This paper studies the use of social simulation in linking micro level investor behaviour and macro level stock market dynamics. Empirical data from a survey on individual investors\' decision-making and social interaction was used to formalize the trading and interaction rules of the agents of the artificial stock market SimStockExchange. Multiple simulation runs were performed with this artificial stock market, which generated macro level results, like stock market prices and returns over time. These outcomes were subsequently compared to empirical macro level data from real stock markets. Partial qualitative as well as quantitative agreement between the simulated asset returns distributions and the asset returns distributions of the real stock markets was found.Agent-Based Computational Finance, Artificial Stock Markets, Behavioral Finance, Micro-Macro Links, Multi-Agent Simulation, Stock Market Characteristics

Plan Optimization for Creating Bilingual Dictionaries of Low-Resource Languages

The constraint-based approach has been proven useful for inducing bilingual lexicons for closely-related low- resource languages. When we want to create multiple bilingual dictionaries linking several languages, we need to consider manual creation by bilingual language experts if there are no available machine-readable dictionaries are available as input. To overcome the difficulty in planning the creation of bilingual dictionaries, the consideration of various methods and costs, plan optimization is essential. We adopt the Markov Decision Process (MDP) in formalizing plan optimization for creating bilingual dictionaries; the goal is to better predict the most feasible optimal plan with the least total cost before fully implementing the constraint-based bilingual dictionary induction framework. We define heuristics based on input language characteristics to devise a baseline plan for evaluating our MDP-based approach with total cost as an evaluation metric. The MDP-based proposal outperformed heuristic planning on the total cost for all datasets examined

Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure