证明法规遵从性：针对具有表达力的无条件义务的全遵从性是 coNP-完全的
计算复杂性
2022-12-13 v2
摘要
组织需要证明其流程与过程满足相关法规要求。证明法规遵从性的计算复杂性已知一般是困难的。然而，对于其中某些较简单变体，其计算复杂性仍属未知。我们关注可由以下二元属性辨识的八个问题变体：要求由单一还是多个义务构成、义务是有条件还是始终生效、以及描述义务仅可用命题文字还是可用公式。本文特别证明，针对可用公式描述其要素的单条无条件义务，证明模型的全遵从性是 coNP-完全的。最后我们展示该结果如何使得这些变体在证明全遵从与非遵从方面的计算复杂性得以完整刻画，而对于部分遵从，仍缺失其中一个变体的复杂性结果。
引用
@article{arxiv.2105.05431,
title = {Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete},
author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest},
journal= {arXiv preprint arXiv:2105.05431},
year = {2022}
}
备注
Replacing previous arXiv submission with a revised version removing a disproven result