Frontiers in Artificial Intelligence and Applications (IOS Press) – serie

Social robotics drives a technological revolution of possibly unprecedented disruptive potential, both at the socio-economic and the socio-cultural level. The rapid development of the robotics market calls for a concerted effort across a wide spectrum of academic disciplines to understand the transformative potential of human-robot interaction. This effort cannot succeed without the special expertise in the study of socio-cultural interactions, norms, and values that humanities research provides.This book contains the proceedings of the conference “What Social Robots Can and Should Do,” Robophilosophy 2016 / TRANSOR 2016, held in Aarhus, Denmark, in October 2016. The conference is the second event in the biennial Robophilosophy conference series, this time combined with an event of the Research Network for Transdisciplinary Studies in Social Robotics (TRANSOR). Featuring 13 plenaries and 74 session and workshop talks, the event turned out to be the world’s largest conference in Humanities research in and on social robotics. The book is divided into 3 sections: Part I and Part III contain the abstracts of plenary lectures and contributions to 6 workshops: Artificial Empathy; Co-Designing Children Robot Interaction; Human-Robot Joint Action; Phronesis for Machine Ethics?; Robots in the Wild; and Responsible Robotics. Part II contains short papers for presentations in 7 thematically organized sessions: methodological issues; ethical tasks and implications; emotions in human robot interactions; education, art and innovation; artificial meaning and rationality; social norms and robot sociality; and perceptions of social robots.The book will be of interest to researchers in philosophy, anthropology, sociology, psychology, linguistics, cognitive science, robotics, computer science, and art. Since all contributions are prepared for an interdisciplinary readership, they are highly accessible and will be of interest to policy makers and educators who wish to gauge the challenges and potentials of putting robots in society.

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion.This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter.This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work.Edmund Clarke, 2007 ACM Turing Award Recipient: ""SAT solving is a key technology for 21st century computer science.""Donald Knuth, 1974 ACM Turing Award Recipient:""SAT is evidently a killer app, because it is key to the solution of so many other problems.""Stephen Cook, 1982 ACM Turing Award Recipient:""The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?""

Neuro-symbolic AI is an emerging subfield of Artificial Intelligence that brings together two hitherto distinct approaches. ”Neuro” refers to the artificial neural networks prominent in machine learning, ”symbolic” refers to algorithmic processing on the level of meaningful symbols, prominent in knowledge representation. In the past, these two fields of AI have been largely separate, with very little crossover, but the so-called “third wave” of AI is now bringing them together.This book, Neuro-Symbolic Artificial Intelligence: The State of the Art, provides an overview of this development in AI. The two approaches differ significantly in terms of their strengths and weaknesses and, from a cognitive-science perspective, there is a question as to how a neural system can perform symbol manipulation, and how the representational differences between these two approaches can be bridged. The book presents 17 overview papers, all by authors who have made significant contributions in the past few years and starting with a historic overview first seen in 2016. With just seven months elapsed from invitation to authors to final copy, the book is as up-to-date as a published overview of this subject can be.Based on the editors’ own desire to understand the current state of the art, this book reflects the breadth and depth of the latest developments in neuro-symbolic AI, and will be of interest to students, researchers, and all those working in the field of Artificial Intelligence.