Resumen: Las complejidades ontológicas y epistémicas inherentes al dominio moral hacen que sea difícil establecer estándares claros para evaluar el desempeño de una máquina moral. En este artículo, presentamos un método formal para describir modelos de toma de decisiones éticas basados en la evaluación de riesgos éticos. Luego, mostramos cómo estos modelos que se especifican como reglas difusas se pueden verificar y validar mediante redes difusas de Petri. Se considera un estudio de caso del campo médico para ilustrar el enfoque propuesto.
Publicado Originalme en export.arxiv.org El 2 de julio de 2025.
Ver Fuente Original
