Journal of Experimental & Theoretical Artificial Intelligence · 2014 · 82 citations · 10 references
EngineeringAutonomous SystemsComputer ScienceArtificial IntelligenceAutomationSafety EngineeringSafety DesignSafety-critical SystemsSystem SafetyArtificial Intelligence SafetyFormal Methods For SafetySafe System DesignSafety In Autonomous SystemsSafety-critical System DesignSelf-protection
AbstractMilitary and economic pressures are driving the rapid development of autonomous systems. We show that these systems are likely to behave in anti-social and harmful ways unless they are very carefully designed. Designers will be motivated to create systems that act approximately rationally and rational systems exhibit universal drives towards self-protection, resource acquisition, replication and efficiency. The current computing infrastructure would be vulnerable to unconstrained systems with these drives. We describe the use of formal methods to create provably safe but limited autonomous systems. We then discuss harmful systems and how to stop them. We conclude with a description of the 'Safe-AI Scaffolding Strategy' for creating powerful safe systems with a high confidence of safety at each stage of development.Keywords:: autonomous systemsAI safetyrationalityutility functionsrational drivesformal methods AcknowledgementsThanks to Nick Bostrom, Brad Cottel, Yoni Donner,Will Eden, Adam Ford, Ben Goertzel, Anders Sandberg, Carl Shulman, Jaan Tallinn, Michael Vassar and Rod Wallace for discussions of these issues.
10
Artificial intelligence: a modern approach
Choice Reviews Online · 1995 · 22.2K citations · Full text
Character strengths and virtues: a handbook and classification
Choice Reviews Online · 2004 · 5.2K citations
Ultimate physical limits to computation
Seth Lloyd · Nature · 2000 · 1.1K citations · Full text