阿西莫夫在1942年短篇小说《环舞》中提出了机器人三定律。