Papers for

ai reasoning system builders

Papers whose findings have a practical use for this group, as judged from the abstract. Open a paper to read what it means in practice.

Extended triple model expresses three types of negation clearly

Three Types of Negation of Triple and its Elements and an Extension of Triple

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.

Tue 8 SeptArtificial Intelligence
The gist
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.
Open → 2609.08271v1