Influence of premises truth values anomalous on the logical inference procedure for interval representation of the truth vector in V&lt;sup&gt;TF&lt;/sup&gt;-logics

Arshinskiy, Leonid; Nitezhuk, Marina Sergeevna

doi:10.26731/2658-3704.2020.3(8).61-70

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

Publication Types

Select...

Other1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The problem of knowledge bases anomalies detecting knowns for a long time [14][15][16][17][18][19][20]. In the works [21,22], this question was described for "point" values of the truth of premises, when the truth vector is a point in the square (Cartesian product) [0,1]×[0,1]. In contrast to previous works influence of abnormal interval truth values on the entire inference chain is discussed here.…”

Section: Introductionmentioning

confidence: 99%

Features of inference for abnormal truth values of premises in VTF-logics

Arshinskiy¹,

Arshinskiy²,

Dunaev³

et al. 2021

1st International Workshop on Advanced Information and Computation Technologies and Systems 2020

View full text Add to dashboard Cite

The article discusses the issues of logical inference for abnormal truth-values of premises in logics with vector semantics from the VTF-logic class. Such situations as strict lies, uncertainty, and complete contradiction are considered in this article. It is shown that the truth of the conclusion in this case can take an interval value and the nature of this interval is preserved throughout the inference. This feature can be used to detect knowledge base artefacts during dynamic verification of knowledge bases.

show abstract

Section: Introductionmentioning

confidence: 99%