不确定性下处理程序性目标间的不兼容性

通过考量理性智能体，我们聚焦于从一组互不兼容的目标中选取目标的问题。我们考虑由 Castelfranchi 与 Paglieri 提出的三种不兼容形式，即终结性、工具性（或基于资源）以及冗余性。我们以结构化论证表示智能体的计划，其前提充满不确定性。我们度量这些论证的强度以确定兼容目标集合。根据论证间存在的不兼容类型，我们提出两种计算论证强度的新方法。第一种是逻辑强度值，由一个三维向量表示，由与每个论证相关联的概率区间计算得出。该向量代表区间的精度、区间的位置，以及精度与位置的组合。此类结构化论证强度的表示与处理尚未被现有研究定义过。计算论证强度的第二种方式基于计划的成本（关于必要资源）以及与计划相关联的目标的偏好。考量我们这种度量结构化论证强度的新方法，我们提出了一种基于 Dung 抽象论证理论的计划与目标选择语义。最后，我们对我们的方案进行了理论评估。