不协调 Horn 表达式的共同基础求解
人工智能
2022-09-15 v1 计算机科学中的逻辑
摘要
在与人类共享环境中运行的自主系统需要能够遵循其所处社会的规则。虽然法律对某一社会是唯一的，但不同的人和机构可能使用不同的规则来指导其行为。我们研究在可能不协调的行为规则之间达成共同基础的问题。我们形式化地定义了共同基础的概念并讨论该概念的主要性质。随后，我们识别出 Horn 表达式类上保证共同基础存在的三个充分条件。在这些条件下，我们提供了一种计算共同基础的多项式时间算法。我们还表明，若移除这三个条件中的任意一个，则所得（更大）类上的共同基础可能不存在。
引用
@article{arxiv.2209.06455,
title = {Finding Common Ground for Incoherent Horn Expressions},
author = {Ana Ozaki and Anum Rehman and Philip Turk and Marija Slavkovik},
journal= {arXiv preprint arXiv:2209.06455},
year = {2022}
}