A Legal Theory for Autonomous Artificial Agents