标题： 基于风险的伦理决策模型的规范、验证和验证的模糊方法 显示英文标题

标题： A Fuzzy Approach to the Specification, Verification and Validation of Risk-Based Ethical Decision Making Models

摘要： 本体论和认识论的复杂性存在于道德领域，这使得建立明确的标准来评估道德机器的性能变得具有挑战性。 在本文中，我们提出了一种形式化方法，基于伦理风险评估来描述伦理决策模型。 然后，我们展示了如何使用模糊Petri网对指定为模糊规则的这些模型进行验证和确认。 考虑了一个来自医疗领域的案例研究，以说明所提出的方法。 显示英文摘要

摘要： The ontological and epistemic complexities inherent in the moral domain make it challenging to establish clear standards for evaluating the performance of a moral machine. In this paper, we present a formal method to describe Ethical Decision Making models based on ethical risk assessment. Then, we show how these models that are specified as fuzzy rules can be verified and validated using fuzzy Petri nets. A case study from the medical field is considered to illustrate the proposed approach.