This book is a comprehensiveguide to current practical and theoreticalunderstanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a busi...

Interdependent Human-Machine Teams: The Path to Autonomy examines the foundations, metrics, and applications of human-machine systems, the legal ramifications of autonomy, trust by the public, and trust by the users and AI systems of their users, integrating concepts from various disciplines such as AI, machine learning, social sciences, quantum mechanics, and systems engineering. In this book, world-class researchers, engineers, ethicists, and social scientists discuss what machines, huma...

Bi-directionality in Human-AI Collaborative Systems investigates the foundations, metrics, and applications of human-machine systems, along with the legal ramifications of autonomy, including standards, trust by the public, and bidirectional trust by users and AI systems. The book addresses the challenges in creating synergistic human and AI-based autonomous system-of-systems by focusing on the underlying challenges associated with bi-directionality. Chapters cover advances in LLMs, logic,...

Providing a high level of autonomy for a human-machine team requires assumptions that address behavior and mutual trust. The performance of a human-machine team is maximized when the partnership provides mutual benefits that satisfy design rationales, balance of control, and the nature of autonomy. The distinctively different characteristics and features of humans and machines are likely why they have the potential to work well together, overcoming each other's weaknesses through cooperati...

Human-Machine Shared Contexts considers the foundations, metrics, and applications of human-machine systems. Editors and authors debate whether machines, humans, and systems should speak only to each other, only to humans, or to both and how. The book establishes the meaning and operation of "shared contexts between humans and machines; it also explores how human-machine systems affect targeted audiences (researchers, machines, robots, users) and society, as well as future ecosystems compo...

This volume addresses context from three comprehensive perspectives: first, its importance, the issues surrounding context, and its value in the laboratory and the field; second, the theory guiding the AI used to model its context; and third, its applications in the field (e.g., decision-making). This breadth poses a challenge. The book analyzes how the environment (context) influences human perception, cognition and action. While current books approach context narrowly, the major contribu...

This book explores how Artificial Intelligence (AI), by leading to an increase in the autonomy of machines and robots, is offering opportunities for an expanded but uncertain impact on society by humans, machines, and robots. To help readers better understand the relationships between AI, autonomy, humans and machines that will help society reduce human errors in the use of advanced technologies (e.g., airplanes, trains, cars), this edited volume presents a wide selection of the underlying...

Artificial Intelligence for the Internet of Everything considers the foundations, metrics and applications of IoE systems. It covers whether devices and IoE systems should speak only to each other, to humans or to both. Further, the book explores how IoE systems affect targeted audiences (researchers, machines, robots, users) and society, as well as future ecosystems. It examines the meaning, value and effect that IoT has had and may have on ordinary life, in business, on the battlefield, ...

This volume explores the intersection of robust intelligence (RI) and trust in autonomous systems across multiple contexts among autonomous hybrid systems, where hybrids are arbitrary combinations of humans, machines and robots. To better understand the relationships between artificial intelligence (AI) and RI in a way that promotes trust between autonomous systems and human users, this book explores the underlying theory, mathematics, computational models, and field applications. It uniqu...

Developing a successful game in today’s market is a challenging endeavor. Thousands of titles are published yearly, all competing for players’ time and attention. Game analytics has emerged in the past few years as one of the main resources for ensuring game quality, maximizing success, understanding player behavior and enhancing the quality of the player experience. It has led to a paradigm shift in the development and design strategies of digital games, bringing data-driven intelligence ...

Contrary to popular mythology, the designs of favorable products and successful systems do not appear suddenly, or magically. This second edition of Engineering Design demonstrates that symbolic representation and related problem-solving methods, offer significant opportunities to clarify and articulate concepts of design to lay a better framework for design research and design education. Artificial Intelligence (AI) provides a substantial body of material concerned with understanding and ...

To design and develop capable, dependable, and affordable intelligent systems, their performance must be measurable. Scienti?c methodologies for standardization and benchmarking are crucial for quantitatively evaluating the performance of eme- ing robotic and intelligent systems’ technologies. There is currently no accepted standard for quantitatively measuring the performance of these systems against user-de?ned requirements; and furthermore, there is no consensus on what obj- tive evalua...