Author: Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
A Game Theoretic Approach to Normative Multi-agent Systems
Author: Game Theory and Decision Theory in Agent-Based Systems
Author: Simon D. ParsonsPublisher: Springer Science & Business Media
ISBN: 1461511070
Category : Computers
Languages : en
Pages : 403
Book Description
Game Theory And Decision Theory In Agent-Based Systems is a collection of papers from international leading researchers, that offers a broad view of the many ways game theory and decision theory can be applied in agent-based systems, from standard applications of the core elements of the theory to more cutting edge developments. The range of topics discussed in this book provide the reader with the first comprehensive volume that reflects both the depth and breadth of work in applying techniques from game theory and decision theory to design agent-based systems. Chapters include: Selecting Partners; Evolution of Agents with Moral Sentiments in an IPD Exercise; Dynamic Desires; Emotions and Personality; Decision-Theoretic Approach to Game Theory; Shopbot Economics; Finding the Best Way to Join in; Shopbots and Pricebots in Electronic Service Markets; Polynomial Time Mechanisms; Multi-Agent Q-learning and Regression Trees; Satisficing Equilibria; Investigating Commitment Flexibility in Multi-agent Contracts; Pricing in Agent Economies using Multi-agent Q-learning; Using Hypergames to Increase Planned Payoff and Reduce Risk; Bilateral Negotiation with Incomplete and Uncertain Information; Robust Combinatorial Auction Protocol against False-name Bids.
A Game Theoretic Approach to Multi-agent Systems in Highly Dynamic, Information-sparse, Role Assignment Scenarios
Author: Kyle Hollins WrayMultiagent Systems
Author: Yoav ShohamPublisher: Cambridge University Press
ISBN: 9780521899437
Category : Computers
Languages : en
Pages : 504
Book Description
This exciting and pioneering new overview of multiagent systems, which are online systems composed of multiple interacting intelligent agents, i.e., online trading, offers a newly seen computer science perspective on multiagent systems, while integrating ideas from operations research, game theory, economics, logic, and even philosophy and linguistics. The authors emphasize foundations to create a broad and rigorous treatment of their subject, with thorough presentations of distributed problem solving, game theory, multiagent communication and learning, social choice, mechanism design, auctions, cooperative game theory, and modal logics of knowledge and belief. For each topic, basic concepts are introduced, examples are given, proofs of key results are offered, and algorithmic considerations are examined. An appendix covers background material in probability theory, classical logic, Markov decision processes and mathematical programming. Written by two of the leading researchers of this engaging field, this book will surely serve as THE reference for researchers in the fastest-growing area of computer science, and be used as a text for advanced undergraduate or graduate courses.
Contributions to Game-theoretic Aspects of Multi-agent Systems
Author: Ryan W. PorterGame-Theoretic Learning and Distributed Optimization in Memoryless Multi-Agent Systems
Author: Tatiana TatarenkoPublisher: Springer
ISBN: 3319654799
Category : Science
Languages : en
Pages : 176
Book Description
This book presents new efficient methods for optimization in realistic large-scale, multi-agent systems. These methods do not require the agents to have the full information about the system, but instead allow them to make their local decisions based only on the local information, possibly obtained during communication with their local neighbors. The book, primarily aimed at researchers in optimization and control, considers three different information settings in multi-agent systems: oracle-based, communication-based, and payoff-based. For each of these information types, an efficient optimization algorithm is developed, which leads the system to an optimal state. The optimization problems are set without such restrictive assumptions as convexity of the objective functions, complicated communication topologies, closed-form expressions for costs and utilities, and finiteness of the system’s state space.
The Role of Norms and Electronic Institutions in Multi-Agent Systems
Author: Javier Vazquez-SalcedaPublisher: Birkhäuser
ISBN: 3034879555
Category : Computers
Languages : en
Pages : 284
Book Description
"It is not the consciousness of men that defines their existence, but, on the contrary, their social existence determines their consciousness." Karl Marx In recent years, several researchers have argued that the design of multi-agent sys tems (MAS) in complex, open environments can benefit from social abstractions in order to cope with problems in coordination, cooperation and trust among agents, problems which are also present in human societies. The agent-mediated electronic institutions (e-institutions for short) is a new and promising field which focuses in the concepts of norms and institutions in order to pro vide normative frameworks to restrict or guide the behaviour of (software) agents. The main idea is that the interactions among a group of (software) agents are ruled by a set of explicit norms expressed in a computational language representation that agents can interpret. Such norms should not be considered as a negative constraining factor but as an aid that guides the agents' choices and reduces the complexity ofthe environment making the behaviour of other agents more predictable.
Game Theory in Multi-agent Systems
Author: Understanding Game Theory: Introduction To The Analysis Of Many Agent Systems With Competition And Cooperation (Second Edition)
Author: Vasily N KolokoltsovPublisher: World Scientific
ISBN: 9811214875
Category : Mathematics
Languages : en
Pages : 411
Book Description
Steadily growing applications of game theory in modern science (including psychology, biology and economics) require sources to provide rapid access in both classical tools and recent developments to readers with diverse backgrounds. This book on game theory, its applications and mathematical methods, is written with this objective in mind.The book gives a concise but wide-ranging introduction to games including older (pre-game theory) party games and more recent topics like elections and evolutionary games and is generously spiced with excursions into philosophy, history, literature and politics. A distinguished feature is the clear separation of the text into two parts: elementary and advanced, which makes the book ideal for study at various levels.Part I displays basic ideas using no more than four arithmetic operations and requiring from the reader only some inclination to logical thinking. It can be used in a university degree course without any (or minimal) prerequisite in mathematics (say, in economics, business, systems biology), as well as for self-study by school teachers, social and natural scientists, businessmen or laymen. Part II is a rapid introduction to the mathematical methods of game theory, suitable for a mathematics degree course of various levels.To stimulate the mathematical and scientific imagination, graphics by a world-renowned mathematician and mathematics imaging artist, A T Fomenko, are used. The carefully selected works of this artist fit remarkably into the many ideas expressed in the book.This new edition has been updated and enlarged. In particular, two new chapters were added on statistical limit of games with many agents and on quantum games, reflecting possibly the two most stunning trends in the game theory of the 21st century.
Specification and Verification of Multi-agent Systems
Author: Mehdi DastaniPublisher: Springer Science & Business Media
ISBN: 1441969845
Category : Computers
Languages : en
Pages : 415
Book Description
Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: • Using Theorem Proving to Verify Properties of Agent Programs • The Refinement of Multi-Agent Systems • Model Checking Agent Communication • Directions for Agent Model Checking • Model Checking Logics of Strategic Ability: Complexity • Correctness of Mult-Agent Programs: A Hybrid Approach • The Norm Implementation Problem in Normative Multi-Agent Systems • A Verification Logic for GOAL Agents • Using the Maude Term Rewriting Language for Agent Development with Formal Foundations • The Cognitive Agents Specification Language and Verification Environment • A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns • Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner.