Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
复制标题
适用于安全工业产品的形式化方法 - 献给扬·佩莱斯卡 (Jan Peleska) 65 岁生日之际的论文
DOI：
10.1007/978-3-031-40132-9_1
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Akintunde M
中科院分区：
文献类型：
--
作者：
Akintunde M
我们提出了一个初步的建议，在自主代理的道德决策的测试框架，基于著名的感知-动作模型。我们确定了三个主要组成部分，在我们提出的框架测试用例生成，一致性分析，学习和适应的道德模型的基础上，从利益相关者的例子。我们定义了一些模板正式化的主要伦理理论的文献中，可以进一步实例化的具体系统，根据这些理论进行测试。
We present an initial proposal for a testing framework for ethical decisions in autonomous agents, based on the well-known perception-action model. We identify three main components in our proposed framework for test-case generation, conformance analysis, and learning and adaptation of ethical models based on examples from stakeholders. We define a number of templates formalising the main ethical theories in the literature that can be further instantiated for testing concrete systems according to such theories.