论文标题
寻找不一致的喇叭表达式
Finding Common Ground for Incoherent Horn Expressions
论文作者
论文摘要
在共享环境中运行的自治系统需要能够遵守他们所占领的社会的规则。尽管法律对于一个社会而言是独一无二的，但不同的人和机构可能会使用不同的规则来指导其行为。我们研究了可能不连贯的行为规则中达到共同基础的问题。我们正式定义了共同基础的概念，并讨论了该概念的主要特性。然后，我们确定了保证存在共同点的角表达式的三个足够条件。我们提供了在这些条件下计算共同基础的多项式时间算法。我们还表明，如果删除了三个条件中的任何一个，则可能不存在结果（较大）类的共同点。
Autonomous systems that operate in a shared environment with people need to be able to follow the rules of the society they occupy. While laws are unique for one society, different people and institutions may use different rules to guide their conduct. We study the problem of reaching a common ground among possibly incoherent rules of conduct. We formally define a notion of common ground and discuss the main properties of this notion. Then, we identify three sufficient conditions on the class of Horn expressions for which common grounds are guaranteed to exist. We provide a polynomial time algorithm that computes common grounds, under these conditions. We also show that if any of the three conditions is removed then common grounds for the resulting (larger) class may not exist.
