5,895 research outputs found
Applications of Relations and Graphs to Coalition Formation
A stable government is by definition not dominated by any other government. However, it may happen that all governments are dominated. In graph-theoretic terms this means that the dominance graph does not possess a source. In this paper we are able to deal with this case by a clever combination of notions from different fields, such as relational algebra, graph theory, social choice and bargaining theory, and by using the computer support system RelView for computing solutions and visualizing the results. Using relational algorithms, in such a case we break all cycles in each initial strongly connected component by removing the vertices in an appropriate minimum feedback vertex set. So, we can choose an un-dominated government. To achieve unique solutions, we additionally apply social choice rules. The main parts of our procedure can be executed using the RelView tool. Its sophisticated implementation of relations allows to deal with graph sizes that are sufficient for practical applications of coalition formation.Graph Theory, RELVIEW, Relational Algebra, Dominance, Stable Government
Formal methods for analysing, coordinating, and controlling decisions in multi-agent systems
Multiagentensysteme sind verteilte (Computer)Systeme, die sich aus autonomen interagierenden Systemkomponenten, bezeichnet als Agenten, zusammensetzen.
Sie bieten ein flexibles Framework zur Modellierung und Analyse
von interaktiven Systemen, in denen Kooperation, Eigeninteresse und Autonomie eine entscheidende Rolle spielen. Dies ist zum Beispiel der Fall in Smart Grids. Eine Herausforderung in solchen Systemen ist die Kontrolle und die Koordination von SystemausfĂĽhrungen. Agenten handeln autonom und lassen sich
daher oftmals nicht direkt kontrollieren, sondern bestenfalls beeinflussen. Aufgrund der Autonomie und des Selbstinteresses, ist es schwierig, angemessene Kontrollmechanismen zu finden. Die vorliegende Arbeit behandelt formale Grundlagen zu den Themen Entscheidungsfindung, Koordination und Kontrolle
in Multiagentensystemen. Insbesondere werden in diesem Zusammenhang Logiken zur Analyse und Spezifikation von strategischen Fähigkeiten von Agenten, unter diversen Restriktionen, untersucht. Es werden formale Ansätze zur
Beeinflussung und Ăśberwachung von SystemausfĂĽhrungen eingefĂĽhrt. In einem weiteren Teil der Arbeit wird mittels spieltheoretischer Verfahren analysiert, wie rationale Agenten interagieren und Entscheidungen treffen. Es wird argumentiert,
dass formale Methoden und Werkzeuge zur Analyse und Kontrolle von autonomen Systemen entscheidend für deren verlässliche Entwicklung sind.Multi-agent systems (MASs) are distributed (computer) systems composed of autonomously (inter-)acting system components referred to as agents. MASs offer a flexible framework to model and analyse many real world settings in which cooperation, self-interest, and autonomy are crucial elements. A key
challenge in such settings is the control and coordination of behavior. However, due to the agents' autonomy behavior can often not be controlled, but at best be influenced in some way or another. For example, agents can be given incentives in order to affect their decision-making in such a way that the emergent
behavior of all actors is desirable from the system's perspective. The properties of self-interest and autonomy make it challenging to find appropriate control mechanisms. Existing coordination and control approaches from the distributed system literature are often not applicable due to the lack of direct control on the system components of MASs. New methods and tools are needed.
In this thesis formal foundations related to the subjects of decision making, coordination and control in MASs are studied. In particular, we investigate (extensions of) temporal and strategic logics which capture specific capabilities of agents that influence their decision making. We also propose formal approaches to control, coordinate and monitor the emergent behavior in MASs. In the last part of the thesis we analyse how rational agents interact and make decisions
using game theoretical methods. We argue that such formal approaches and tools to analyse and control autonomous systems are crucial for the development of reliable and flexible systems and will become even more crucial in the near future
DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees
This paper presents the current state of the art on attack and defense
modeling approaches that are based on directed acyclic graphs (DAGs). DAGs
allow for a hierarchical decomposition of complex scenarios into simple, easily
understandable and quantifiable actions. Methods based on threat trees and
Bayesian networks are two well-known approaches to security modeling. However
there exist more than 30 DAG-based methodologies, each having different
features and goals. The objective of this survey is to present a complete
overview of graphical attack and defense modeling techniques based on DAGs.
This consists of summarizing the existing methodologies, comparing their
features and proposing a taxonomy of the described formalisms. This article
also supports the selection of an adequate modeling technique depending on user
requirements
Natural Strategic Abilities in Voting Protocols
Security properties are often focused on the technological side of the
system. One implicitly assumes that the users will behave in the right way to
preserve the property at hand. In real life, this cannot be taken for granted.
In particular, security mechanisms that are difficult and costly to use are
often ignored by the users, and do not really defend the system against
possible attacks.
Here, we propose a graded notion of security based on the complexity of the
user's strategic behavior. More precisely, we suggest that the level to which a
security property is satisfied can be defined in terms of (a) the
complexity of the strategy that the voter needs to execute to make
true, and (b) the resources that the user must employ on the way. The simpler
and cheaper to obtain , the higher the degree of security.
We demonstrate how the idea works in a case study based on an electronic
voting scenario. To this end, we model the vVote implementation of the \Pret
voting protocol for coercion-resistant and voter-verifiable elections. Then, we
identify "natural" strategies for the voter to obtain receipt-freeness, and
measure the voter's effort that they require. We also look at how hard it is
for the coercer to compromise the election through a randomization attack
The influence of topology and information diffusion on networked game dynamics
This thesis studies the influence of topology and information diffusion on the strategic interactions of agents in a population. It shows that there exists a reciprocal relationship between the topology, information diffusion and the strategic interactions of a population of players. In order to evaluate the influence of topology and information flow on networked game dynamics, strategic games are simulated on populations of players where the players are distributed in a non-homogeneous spatial arrangement. The initial component of this research consists of a study of evolution of the coordination of strategic players, where the topology or the structure of the population is shown to be critical in defining the coordination among the players. Next, the effect of network topology on the evolutionary stability of strategies is studied in detail. Based on the results obtained, it is shown that network topology plays a key role in determining the evolutionary stability of a particular strategy in a population of players. Then, the effect of network topology on the optimum placement of strategies is studied. Using genetic optimisation, it is shown that the placement of strategies in a spatially distributed population of players is crucial in maximising the collective payoff of the population. Exploring further the effect of network topology and information diffusion on networked games, the non-optimal or bounded rationality of players is modelled using topological and directed information flow of the network. Based on the topologically distributed bounded rationality model, it is shown that the scale-free and small-world networks emerge in randomly connected populations of sub-optimal players. Thus, the topological and information theoretic interpretations of bounded rationality suggest the topology, information diffusion and the strategic interactions of socio-economical structures are cyclically interdependent
The influence of topology and information diffusion on networked game dynamics
This thesis studies the influence of topology and information diffusion on the strategic interactions of agents in a population. It shows that there exists a reciprocal relationship between the topology, information diffusion and the strategic interactions of a population of players. In order to evaluate the influence of topology and information flow on networked game dynamics, strategic games are simulated on populations of players where the players are distributed in a non-homogeneous spatial arrangement. The initial component of this research consists of a study of evolution of the coordination of strategic players, where the topology or the structure of the population is shown to be critical in defining the coordination among the players. Next, the effect of network topology on the evolutionary stability of strategies is studied in detail. Based on the results obtained, it is shown that network topology plays a key role in determining the evolutionary stability of a particular strategy in a population of players. Then, the effect of network topology on the optimum placement of strategies is studied. Using genetic optimisation, it is shown that the placement of strategies in a spatially distributed population of players is crucial in maximising the collective payoff of the population. Exploring further the effect of network topology and information diffusion on networked games, the non-optimal or bounded rationality of players is modelled using topological and directed information flow of the network. Based on the topologically distributed bounded rationality model, it is shown that the scale-free and small-world networks emerge in randomly connected populations of sub-optimal players. Thus, the topological and information theoretic interpretations of bounded rationality suggest the topology, information diffusion and the strategic interactions of socio-economical structures are cyclically interdependent
- …