In our day-to-day lives we constantly make decisions which are simply 'good enough' rather than optimal. Most computer-based decision-making algorithms, on the other hand, doggedly seek only the optimal solution based on rigid criteria and reject any others. In this book, Professor Stirling outlines an alternative approach, using novel algorithms and techniques which can be used to find satisficing solutions. Building on traditional decision and game theory, these techniques allow decision-making systems to cope with more subtle situations where self and group interests conflict, perfect solutions can't be found and human issues need to be taken into account - in short, more closely modelling the way humans make decisions. The book will therefore be of great interest to engineers, computer scientists and mathematicians working on artificial intelligence and expert systems.

This book describes conditional games, a form of game theory that accommodates multiple stakeholder decision-making scenarios where cooperation and negotiation are significant issues and where notions of concordant group behavior are important. The book extends the concept of a preference ordering that permits stakeholders to modulate their preferences as functions of the preferences of others.

This book on game theory introduces and develops the key concepts with a minimum of mathematics. Students are presented with empirical evidence, anecdotes and strategic situations to help them apply theory and gain a genuine insight into human behaviour. The book provides a diverse collection of examples and scenarios from history, literature, sports, crime, theology, war, biology, and everyday life. These examples come with rich context that adds real-world meat to the skeleton of theory. Each chapter begins with a specific strategic situation and is followed with a systematic treatment that gradually builds understanding of the concept.

The evolution of soft computing applications have offered a multitude of methodologies and techniques that are useful in facilitating new ways to address practical and real scenarios in a variety of fields. Exploring Innovative and Successful Applications of Soft Computing highlights the applications and conclusions associated with soft computing in different technological environments. Providing potential results based on new trends in the development of these services, this book aims to be a reference source for researchers, practitioners, and students interested in the most successful soft computing methods applied to recent problems.

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.

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.

Behavioral decision research offers a distinctive approach to understanding and improving decision making. It combines theory and method from multiple disciples (psychology, economics, statistics, decision theory, management science). It employs both empirical methods, to study how decisions are actually made, and analytical ones, to study how decisions should be made and how consequential imperfections are. This book brings together key publications, selected to represent the major topics and approaches used in the field. Put in one place, with integrating commentary, it shows the common elements in a research program that represents the scope of the field, while offering depth in each. Together, they provide a vision for what has become a burgeoning field.