Logical-Mathematical Modeling of Complex Subject Areas Based on  the Logics Vector Semantics

Arshinskiy, Leonid; Arshinskiy, V L; Khomenko, A. P.; Kargapol’tcev, S. K.; Korol’kov, B. P.; Aslamova, V. S.

doi:10.17654/ms101040813

Cited by 5 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The methodology of logicoaxiological evaluation of the quality of technical systems was first presented in [9,10]. The possibilities of this approach are described in more detail in [10,11]. We will apply this approach to assess the level of industrial safety at the GCO.…”

Section: Methodology Of the Logico-axiological Evaluationmentioning

confidence: 99%

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Aslamova¹,

Aslamova²

2017

Proceedings of the IV International Research Conference "Information Technologies in Science, Management, Social Sphere and Med

View full text Add to dashboard Cite

Abstract-The work presents the knowledge base of the expert system of the aggregate assessment of the level of industrial safety at a hazardous production facility, based on the use of the logico-axiological approach. The fundamental hypothesis: the reduction in production safety is due to the presence of "NE-factors": poor implementation of organizational measures, improper working conditions, inadequate personal protective equipment and so on. Failure to take measures to provide protection against industrial accidents leads to a reduction in the level of industrial safety. According to the approach used, the influence of "NOT-factors" on the level of "non-safety" of production is formalized by products of the type: АВ.

show abstract

Section: Methodology Of the Logico-axiological Evaluationmentioning

confidence: 99%

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Aslamova¹,

Aslamova²

2017

Proceedings of the IV International Research Conference "Information Technologies in Science, Management, Social Sphere and Med

View full text Add to dashboard Cite

show abstract

Influence of anomalous truth values on logical inference in V^TF-logics as a basis for verification of rule-based systems

Arshinskiy

Dunaev

et al. 2021

IOP Conf. Ser.: Mater. Sci. Eng.

View full text Add to dashboard Cite

The paper is devoted to the problem of expert systems knowledge bases verification. The methodological basis of verification is logics with vector semantics in the VTF-logics form. The knowledge model is a rule-based system. The issues of algorithmization of contradictions and other problems detection are considered in the paper. Algorithmization is based on the characteristic features of in VTF-logics inference. It is shown that in the formalism under consideration, the anomalous truth of a small premise generates the same conclusion (a large premise is considered strictly true). Anomalies such as falsity, uncertainty, and contradiction are considered. The problems of reducing the computational complexity of algorithms are considered.

show abstract

Verification of knowledge models by means of logic with vector semantics

Arshinskiy

Nitezhuk

Dunaev

2020

IOP Conf. Ser.: Mater. Sci. Eng.

View full text Add to dashboard Cite

The paper highlights the method of verification and identification of contradictions in the production knowledge bases using one class of logic with vector semantics, namely VTF-logic. The general verification algorithm is described. It is noted that the use of such logics, while maintaining the need to iterate over the input facts, offers a procedure of direct inference and analysis of the inconsistency only in the case of conclusions-hypotheses, characterized by the value of truth named “complete contradiction”. Tracing back the appropriate chain will identify and resolve the cause of the conflict.

show abstract

Logical-Mathematical Modeling of Complex Subject Areas Based on the Logics Vector Semantics

Cited by 5 publications

References 0 publications

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Influence of anomalous truth values on logical inference in V^TF-logics as a basis for verification of rule-based systems

Verification of knowledge models by means of logic with vector semantics

Contact Info

Product

Resources

About

Logical-Mathematical Modeling of Complex Subject Areas Based on the Logics Vector Semantics

Cited by 5 publications

References 0 publications

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Aggregated evaluation of industrial safety level of a dangerous production objectBased on knowledge technologies

Influence of anomalous truth values on logical inference in VTF-logics as a basis for verification of rule-based systems

Verification of knowledge models by means of logic with vector semantics

Contact Info

Product

Resources

About

Influence of anomalous truth values on logical inference in V^TF-logics as a basis for verification of rule-based systems