×

使用图对不一致性度量进行分类。 (英语) Zbl 1446.68146号

小结:衡量不一致性的目的是对一组公式中的缺陷进行评估,然后可以使用此评估来帮助决定某种行动方案(例如拒绝某些公式、解决不一致性、寻求更好的信息来源等)。已经提出了一些建议,以界定不一致的衡量标准。每一种都有其理由。但迄今为止,尚不清楚如何界定措施的选择空间,也不清楚我们如何对措施进行系统分类。为了解决这些问题,我们引入了一个比较句法不一致度量的通用框架。它基于每个知识库的不一致图的概念(一个二部图,其中一组顶点表示知识库中的公式,一组顶点代表知识库的最小不一致子集,以及一个公式属于最小不一致子集的边)。然后,我们证明可以使用不一致图计算各种度量。然后,我们引入了不一致图的抽象,并用它们来构造句法不一致度量的层次结构。此外,我们扩展了不一致图的概念,并用一个标签扩展了层次结构,以包括其他类型的不一致度量。

MSC公司:

68T27型 人工智能中的逻辑
68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用
全文: DOI程序