Extended triple model expresses three types of negation clearly
Three Types of Negation of Triple and its Elements and an Extension of Triple
Artificial Intelligence
Summary
Traditional triple data models can only state positive facts but struggle to express different kinds of negation or ‘‘not’’ statements. The authors identify three types of negation that can occur in these triples and propose a new extended triple model called TCOI that distinguishes these negations. This model helps represent more complex negative information and allows reasoning about hypothetical or counterfactual situations. They also introduce a method to calculate implications involving these negations using a continuous truth-value approach and demonstrate it with examples.
What this means in practice
- •For knowledge graph engineers: Create knowledge graphs that represent nuanced negative information through distinguishing multiple forms of negation in data relationships.
- •For ai reasoning system builders: Implement counterfactual reasoning in AI systems by using the TCOI triple model for representing and calculating nuanced negative conditions.
Authors
Zhenghua Pan
Abstract
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.