A social robot is a robot that interacts and communicates with humans or other autonomous physical agents by following social behaviors and rules attached to its role. We seem to accept the use of robots that perform dull, dirty, and dangerous jobs. But how far do we want to go with the automation of care for children and the elderly, or the killing of terrorists? Would we be setting humanity aside if we accepted such automation? Just Ordinary Robots: Automation from Love to War provides a socially involved, yet sober, view into the new age of robots. It supplies a cutting-edge look at robot technologies, including what these technologies are capable of and the ethical and regulatory questio...

Featuring a wide range of international case studies, Ethics, Technology, and Engineering presents a unique and systematic approach for engineering students to deal with the ethical issues that are increasingly inherent in engineering practice. Utilizes a systematic approach to ethical case analysis -- the ethical cycle -- which features a wide range of real-life international case studies including the Challenger Space Shuttle, the Herald of Free Enterprise and biofuels. Covers a broad range of topics, including ethics in design, risks, responsibility, sustainability, and emerging technologies Can be used in conjunction with the online ethics tool Agora (http://www.ethicsandtechnology.com) Provides engineering students with a clear introduction to the main ethical theories Includes an extensive glossary with key terms

When many people are involved in an activity, it is often difficult, if not impossible, to pinpoint who is morally responsible for what, a phenomenon known as the ‘problem of many hands.’ This term is increasingly used to describe problems with attributing individual responsibility in collective settings in such diverse areas as public administration, corporate management, law and regulation, technological development and innovation, healthcare, and finance. This volume provides an in-depth philosophical analysis of this problem, examining the notion of moral responsibility and distinguishing between different normative meanings of responsibility, both backward-looking (accountability, blameworthiness, and liability) and forward-looking (obligation, virtue). Drawing on the relevant philosophical literature, the authors develop a coherent conceptualization of the problem of many hands, taking into account the relationship, and possible tension, between individual and collective responsibility. This systematic inquiry into the problem of many hands pertains to discussions about moral responsibility in a variety of applied settings.

Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.

This volume is an attempt to capture the essence of the state-of-the-art of intelligent agent technology and to identify the new challenges and opportunities that it is or will be facing. The most important feature of the volume is that it emphasizes a multi-faceted, holistic view of this emerging technology, from its computational foundations OCo in terms of models, methodologies, and tools for developing a variety of embodiments of agent-based systems OCo to its practical impact on tackling real-world problems. Contents: Formal Agent Theories; Computational Architecture and Infrastructure; Learning and Adaptation; Knowledge Discovery and Data Mining Agents; Distributed Intelligence; Agent Based Applications. Readership: Graduate students in computer science and engineering, academics/lecturers, researchers, software/systems engineers, IT engineers and industrialists."

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.

This book constitutes the refereed proceedings of the 11th International Conference on Database and Expert Systems Applications, DEXA 2000, held in London in September 2000. The 92 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 183 submissions. The book offers topical sections on object-oriented and relational databases, multimedia databases, fundamentals, workflow management systems, database security, XML, advanced databases, queries, knowledge-based systems, data warehouses, database design and analysis, data mining and knowledge discovery, web database systems, indexing, and distributed database systems.

This is the latest volume in the Workshops in Computing series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed, to studies of various applications. The resulting volume will be of interest to researchers working in a variety of fields from philosophy, logic and legal theory, through to artificial intelligence and computer/management sciences.