Source-linked AI summary
Three Types of Negation of Triple and its Elements and an Extension of Triple
Zhenghua Pan
TL;DR
Classical triples are limited in representing the distinct forms of negation present in triples and their elements, restricting fine-grained negative knowledge representation. The paper proposes TCOI triples based on SCOI and LCOI+PLCOI, and demonstrates their expressive and reasoning capabilities through fuzzy counterfactual reasoning and a continuous-valued algorithm.
Problem
Classical triples and logics containing only classical negation lack inherent mechanisms to distinguish and express contradictory, opposite, and intermediary negation in triples and their elements.
Method
The paper develops TCOI triples from the set SCOI and logic LCOI+PLCOI, allowing three negations to act independently on triple elements and the whole triple, and defines implication reasoning with continuous-valued semantics.
Results
TCOI triples express the three negations and subject–object association degrees, while fuzzy counterfactual examples demonstrate corresponding TCOI implication reasoning and continuous-valued truth calculation.
Takeaways & Limitations
The TCOI triple extends classical triple representation and reasoning for complex negative information and fuzzy counterfactuals within the paper’s demonstrated settings.
Takeaways & Limitations
The paper reports that completeness for LCOI+PLCOI does not hold when the relation is R_o, and whether another relation yields completeness remains open.
Abstract
from arXiv · showhide
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.
1. Introduction
The paper argues that classical triples cannot distinguish the different negations occurring in triples and their elements. It proposes three negation types and the TCOI triple as a semantic and structural extension supporting representation and reasoning over complex negative information.
- Negation is treated as important for extending knowledge systems beyond describing what exists to expressing what does not exist.The paper links this capability to more complete logic, precise knowledge, and deeper reasoning.
- Classical triples express affirmative relationships but lack an inherent mechanism for distinguishing different negations at the triple and element levels.The paper identifies this limitation as a problem for precise knowledge representation and reasoning.
- The paper distinguishes contradictory, opposite, and intermediary negation within triples and their elements.Examples include non-positive, negative, and zero values as different negations of a positive-number triple, and dislikes, hates, and neither likes nor hates as distinct predicate negations.
- TCOI extends the classical <s, p, o> triple by allowing the three negations to apply independently to elements and to the whole triple.It retains affirmative assertions while adding three semantic dimensions for negative information.
- TCOI-entailment connects TCOI triple implication reasoning with inferences in LCOI+PLCOI.The paper states that formal inference properties proven in LCOI+PLCOI therefore apply to TCOI triple implication reasoning.
2. Related works
The related-work review identifies a gap: existing studies do not directly address negation in triples and their individual elements through a comprehensive extended triple. The paper positions its TCOI proposal as addressing this gap while differing from the closely related RDFCOI work.
- The paper proposes an extension based on SCOI and LCOI+PLCOI to distinguish and express three negations in triples and their elements.
- RDFCOI is the closest related work, but it does not specifically focus on negation of triples and their elements or their reasoning foundation.The paper distinguishes its purpose from RDFCOI despite RDFCOI expressing three negation types for its extended RDF triple.
- The review finds no direct studies specifically addressing negation of the whole triple.Existing work is described as demonstrating the practical role of negation rather than directly studying whole-triple negation.
- The review finds no explicit analytical studies comprehensively handling negation of the subject, predicate, and object separately.Existing research most directly addresses predicate negation, while subject and object negation are generally treated indirectly.
- The paper summarizes the literature as lacking an extension that separately handles negation of the triple and its individual elements.
3. Three types of negation in triple and its elements and their characteristics
The paper distinguishes contradictory, opposite, and intermediary negation by their conceptual meanings and extensional relationships. It applies these distinctions to clear and fuzzy concepts, grounding triple negation in atomic-concept negation.
- Conceptual foundation: Negation of triples and their elements is reduced to negation of atomic concepts or the compound concept represented by the whole triple.This provides the conceptual basis for transferring the three negation forms from concepts to triples and their elements.
- Three negation forms: Contradictory negation makes two species concepts mutually exclusive, with their extensions together covering the genus concept.For clear concepts, the alternatives are either one or the other; positive integer and non-positive integer illustrate this relation.
- Three negation forms: Opposite negation maximizes intension difference without mutual exclusion, so the two extensions together remain smaller than the genus extension.Positive integer and negative integer exemplify opposite negation among clear concepts.
- Three negation forms: Intermediary negation places a concept between opposing concepts, with the extensions of the opposing concepts and intermediary together covering the genus concept.Zero mediates between positive and negative integers, while dusk mediates between daytime and night.
- Clear and fuzzy concepts: The same three relations apply to fuzzy concepts, where extensions are not clear and may be contradictory, opposite, or intermediary.The paper illustrates these cases with daytime/non-daytime, daytime/night, and daytime/night/dusk, respectively.
4. Set and logic with three kinds of negation
The paper develops SCOI and LCOI+PLCOI to formalize contradictory, opposite, and intermediary negation using continuous-valued semantics. It defines the associated logical syntax, deduction systems, interpretations, and soundness result, while noting that completeness is not established for the chosen semantics.
- SCOI models contradictory, opposite, and intermediary negation for clear and fuzzy entities, providing the mathematical basis for LCOI+PLCOI.
- Continuous-valued semantics map formulas to truth values in [0, 1], with opposite negation defined as 1 − A(x) and intermediary negation defined through a parameterized mapping.
- The framework uses distinct symbols for the three negations and extends classical propositional and predicate logic with corresponding formulas, axioms, quantifiers, and deduction rules.
- The formal system defines derivability through finite axiom-and-rule proof sequences and extends propositional logic to predicate logic using individual symbols and quantifiers.
- The paper proves soundness for LCOI+PLCOI under the continuous-valued semantics, but completeness does not hold for the selected relation and remains unresolved for alternative relations.
5. Triple with three types of negation
The paper extends classical triples using SCOI and LCOI+PLCOI to distinguish contradictory, opposite, and intermediary negation in triples and their elements. The TCOI triple preserves affirmative expression while adding independent negation dimensions and markings for representing complex negative information.
- Based on SCOI and LCOI+PLCOI, the paper proposes the TCOI triple to express contradictory, opposite, and intermediary negation.
- The paper distinguishes triples into clear and fuzzy types according to whether their elements have clear or ambiguous meanings.A triple is fuzzy if any element is expressed fuzzily.
- Triple negation occurs at both the element level and the whole-triple level, with three distinct meanings rather than one generic negation.
- TCOI retains classical affirmative expression while independently applying three semantically heterogeneous negation dimensions to triple elements and the whole triple.
- The extension adds negation type labels to the classical atomic structure, changing an unmarked affirmative triple into a multivariate structure with negation markings.
6. Expression ability of TCOI triple
The TCOI triple expresses complex negative statements in everyday language and web-resource descriptions by representing contradictory, opposite, and intermediary negations, including fuzzy degrees. Examples show intermediary negation for “neither tall nor short” and four appearance-related TCOI triples for Li.
- Expression of different negations in everyday statements: TCOI represents “neither tall nor short” as intermediary negation of the triple expressing “S is tall.”The paper equates intermediary negation with the conjunction of contradictory negation and opposite negation, yielding “S is medium height.”
- Expression of different negations in everyday statements: The logic establishes that intermediary negation and the conjunction of the two other negations are logically equivalent.For the example, “S is neither tall nor short” has the same meaning as “S is medium height.”
- Expression of different negations in everyday statements: Complex negative statements in both clear and fuzzy triples can be expressed through intermediary negation of a TCOI triple.
- Expression of different negations and fuzziness in Web resource description statements: For Li’s appearance, TCOI represents beautiful, not beautiful, ugly, and ordinary as four values corresponding to positive, contradictory, opposite, and intermediary meanings.The example assigns correlation degrees 0.9, 0.275, 0.1, and 0.45, respectively.
- Expression of different negations and fuzziness in Web resource description statements: The four Li appearance triples form an RDF graph representation of the resource’s fuzzy appearance descriptions.
- Conventional triples make these everyday and web-resource statements more complex or difficult to express because they cannot distinguish the three negation types and their relationships.
7. TCOI triple reasoning
TCOI triple implication reasoning connects semantic entailment in TCOI triples to the formal inference system LCOI+PLCOI. The paper applies this framework to fuzzy counterfactual reasoning and proposes continuous truth-value calculations for three negations.
- TCOI-entailment defines when every LCOI+PLCOI interpretation satisfying premises also satisfies the conclusion.It treats the conclusion as a semantic consequence of the premise set.
- TCOI triples are atomic formulas that can be combined through LCOI+PLCOI connectives into compound formulas for implication reasoning.The relevant connectives include negation, implication, conjunction, disjunction, and quantifiers.
- LCOI+PLCOI axioms, deduction rules, and theorems transfer to valid inference relations in TCOI triple implication reasoning.The paper states both soundness and completeness connections between formal deduction and TCOI entailment.
- Three fuzzy TCOI implication rules correspond respectively to fuzzy counterfactual reasoning under contradictory, opposite, and intermediary negation.The correspondence is stated for T, T╕, T and CR, CR╕, CR.
8. Conclusions and future work
The paper proposes TCOI triples as an extension of classical triples that represents three distinct negations and supports implication-based reasoning. It demonstrates this expressive and reasoning capability through statements, Web resource descriptions, and fuzzy counterfactuals.
- The paper identifies contradictory, opposite, and intermediary negation as three distinct forms within triples and their elements.
- TCOI triples represent subject–object association degrees while distinguishing and expressing the three negations in everyday statements and Web resource descriptions.
- TCOI-entailment connects TCOI triple implication reasoning with LCOI+PLCOI inference, validating the logic’s proven formal inference laws for that reasoning.
- Three types of fuzzy counterfactual reasoning correspond to three types of fuzzy TCOI triple implication reasoning, illustrated through an example using a continuous-valued truth algorithm.
- TCOI triples extend classical triples by applying these three negations independently to triple elements and to the whole triple while retaining affirmative assertions.
- Future work will investigate applications of TCOI triples and their reasoning in RDF, the semantic web, and knowledge graphs.