Des spécialistes de l'intelligence artificielle travaillent au développement de formalismes logiques qui simulent des raisonnements "non monotones". Ceci permettrait d'introduire des valeurs humaines dans le processus de prise de décision des machines autonomes, afin de leur interdire d'accomplir des actions contraires à la morale.