尼古拉·安吉乌斯;朱塞佩·普里米埃罗 复制计算人工制品的安全性和活性属性。 （英语） Zbl 07722226号 J.日志。计算。 33，第5期，1089-1117（2023）. 摘要：本文展示了如何安全和活力属性不一定由不同类型的计算人工制品副本来保存，并提出了保存它们的程序，这与软件产权侵权的伦理分析是一致的。安全性和活性是二阶属性，在计算人工制品的形式本体定义中至关重要。软件副本在其正式模型的层次上进行分析准确的，不精确的和近似副本，根据[3]中的分类。首先，它解释了精确副本是如何保持安全性和活性属性的唯一类型的副本，以及不精确和近似副本如何不一定保持它们。其次，提出了两种模型检测算法来验证不精确副本和近似副本是否真正保持了安全性和活性。证明了这些算法的终止性、正确性和复杂性的基本性质。最后，定义了收缩和扩展算法操作，允许自动设计安全和活性的近似副本。最后，本文强调了当前逻辑分析与错误计算和计算机伦理学正在进行的辩论的相关性。 MSC公司： 03年XX月 数学逻辑和基础 68倍 计算机科学 关键词：计算哲学;信息哲学;人工复制品;时序逻辑;模型检查;软件理论变革 PDF格式BibTeX公司 XML格式引用 \textit{N.Angius}和\textit{G.Primiero}，J.Log。计算。33，编号5，1089--1117（2023；Zbl 07722226） 全文： 内政部 链接