三元组及其元素的三类否定与三元组的扩展
Three Types of Negation of Triple and its Elements and an Extension of Triple
浏览论文内容
中文总结 AI 辅助
针对经典三元组无法表达否定信息的问题，本文提出TCOI三元组，引入矛盾、对立和中间三类否定，并给出蕴含推理真值算法，增强复杂否定信息的表示与推理能力。
中文摘要 AI 辅助
在各种数据模型中，经典三元组是一种典型的语义数据模型。然而，由于三元组被设计为表示肯定断言的简单结构，它无法充分表达三元组及其元素中存在的不同形式的否定。本文在概念上提出，三元组及其元素中存在三种不同形式的否定：矛盾否定、对立否定和中间否定。基于集合SCOI和具有三种否定的逻辑LCOI+PLCOI，我们提出了一种三元组的扩展，能够区分并表达三元组及其元素中的这三种不同否定，称为具有矛盾否定、对立否定和中间否定的TCOI三元组。TCOI三元组是经典三元组的语义和结构扩展。在保留表达肯定断言能力的同时，它系统地引入了三种否定的三个语义维度，使得这些否定能够独立作用于三元组的元素以及整个三元组。这显著增强了三元组模型表示和推理复杂否定信息的能力。本文还探讨了TCOI三元组的表达能力和推理，以及TCOI三元组蕴含推理在反事实和反事实推理中的应用。我们提出了一种用于TCOI三元组蕴含推理的真值（连续值）算法，并通过一个反事实和反事实推理的示例进行了计算。
英文摘要
In various data models, the classical triple is a typical semantic data model. However, due to the design of the triple as a simple structure for representing positive assertions, it cannot sufficiently express different forms of negation present in the triple and its elements. This paper conceptually proposes that there are three distinct forms of negation within triples and their elements: contradictory negation, opposite negation and intermediary negation. Based on the the set SCOI and the logic LCOI+PLCOI with three kinds of negation, we propose an extension of triple that can distinguish and express these three different negations in the triple and its elements, called the TCOI triple with contradictory negation, opposite negation and intermediary negation. The TCOI triple is a semantic and structural extension of the classical triple. While retaining the ability to express positive assertions, it systematically introduces the three semantic dimensions of three negations, allowing these negations to independently act on the elements of the triple and on the whole triple. This significantly enhances the triple model capability to represent and reasoning about complex negative information. This paper also explores the expressive power and reasoning of the TCOI triple, as well as the application of TCOI triple implication reasoning in counterfactuals and counterfactual reasoning. We propose a truth-value (continuous value) algorithm for TCOI triple implication reasoning and perform its calculation through an example of the counterfactuals and counterfactual reasoning.
发表机构
- Jiangnan University（江南大学）
机构由 AI 辅助整理，请以论文原文为准。
