Minimizing Clutter Using Absence in Venn-ie
Minimizing Clutter Using Absence in Venn-ie
复制标题
使用 Venn-ie 中的缺席最大限度地减少混乱
DOI：
10.1007/978-3-319-42333-3_9
复制
发表时间：
2016
影响因子：
4.3
通讯作者：
Gem Stapleton
中科院分区：
文献类型：
--
作者：
Jim Burton;M. K. Chakraborty;Lopamudra Choudhury;Gem Stapleton
在过去的二十年里，我们对图解逻辑的理解取得了重大进展。这些逻辑中的许多具有一元一阶逻辑的表达性，有时具有相等性，并且配备了健全和完整的推理规则。一个特别的挑战是否定语句的表示。本文讨论的问题是如何表示否定语句涉及常数，从而断言缺乏特定的个人，在欧拉图为基础的逻辑的背景下。我们的第一个贡献是探索的潜在好处，明确表示不存在使用常数，在减少杂波，并突出本体论的问题出现。我们接着定义一个由常数引起的杂波的度量。通过定义一组语义保持推理规则，我们能够在算法上最大限度地减少图的混乱，部分原因是由于包含缺席。因此，关于个人的信息可以以最小混乱的方式表示。
Over the last two decades substantial advances have been made in our understanding of diagrammatic logics. Many of these logics have the expressiveness of monadic first-order logic, sometimes with equality, and are equipped with sound and complete inference rules. A particular challenge is the representation of negated statements. This paper addresses the problem of how to represent negated statements involving constants, thus asserting the absence of specific individuals, in the context of Euler-diagram-based logics. Our first contribution is to explore the potential benefits of explicitly representing absence using constants, in terms of clutter reduction, and to highlight ontological issues that arise. We go on to define a measure of clutter arising from constants. By defining a set of semantics-preserving inference rules, we are able to algorithmically minimize diagram clutter, in part made possible by the inclusion of absence. Consequently, information about individuals can be represented in a minimally cluttered way.