Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Diagnosing of a complex technical object in four-valued logic
View through CrossRef
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is described. A special feature of this system was its capability of inferring k at {k = 4, 3, 2}, in which case the logic {k = 4} is applied. An important part of this work was to present the theoretical foundations describing the essence of inference in the four-valued logic contemplated. It was also pointed out that the basis for classification of states in the multiple-valued logic of the diagnostic system (DIAG 2) was the permissible interval of changes in the values of diagnostic signal features. Four-valued logic testing was applied to a system of wind turbine equipment. Keywords: technical diagnostics, diagnostic inference, multiple-valued logic, artificial intelligence
Title: Diagnosing of a complex technical object in four-valued logic
Description:
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic.
To this end, an intelligent diagnostic system (DIAG 2) is described.
A special feature of this system was its capability of inferring k at {k = 4, 3, 2}, in which case the logic {k = 4} is applied.
An important part of this work was to present the theoretical foundations describing the essence of inference in the four-valued logic contemplated.
It was also pointed out that the basis for classification of states in the multiple-valued logic of the diagnostic system (DIAG 2) was the permissible interval of changes in the values of diagnostic signal features.
Four-valued logic testing was applied to a system of wind turbine equipment.
Keywords: technical diagnostics, diagnostic inference, multiple-valued logic, artificial intelligence.
Related Results
Differential Diagnosis of Neurogenic Thoracic Outlet Syndrome: A Review
Differential Diagnosis of Neurogenic Thoracic Outlet Syndrome: A Review
Abstract
Thoracic outlet syndrome (TOS) is a complex and often overlooked condition caused by the compression of neurovascular structures as they pass through the thoracic outlet. ...
Rationality and Logic
Rationality and Logic
An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutiv...
Greek and Roman Logic
Greek and Roman Logic
In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be...
On LM-Valued F-Transforms, LM-Valued Fuzzy Rough Sets and LM-Valued Fuzzy Transformation Systems
On LM-Valued F-Transforms, LM-Valued Fuzzy Rough Sets and LM-Valued Fuzzy Transformation Systems
The goal of this contribution is to propose [Formula: see text]-valued [Formula: see text]-transforms, which are essentially the many-valued generalizations of the notion of lattic...
THE PERFORMANCE OF GPRI, FIB-4 AND LIVER ELASTOGRAPHY FOR DIAGNOSING LIVER FIBROSIS IN PATIENTS WITH CHRONIC HEPATITIS B
THE PERFORMANCE OF GPRI, FIB-4 AND LIVER ELASTOGRAPHY FOR DIAGNOSING LIVER FIBROSIS IN PATIENTS WITH CHRONIC HEPATITIS B
After assessing liver fibrosis stages of 83 patients with chronic hepatitis B using GPRI, FIB-4 and ElastPQ, we have the following conclusions:
GPRI had a good accuracy for d...
Sample logic
Sample logic
Abstract
The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the fami...
Contour Tracking
Contour Tracking
Abstract
Object tracking is a fundamental problem in computer vision. It is generally required as a preprocessing step that is used to perform motion‐based object recogni...
A logic of defeasible argumentation: Constructing arguments in justification logic
A logic of defeasible argumentation: Constructing arguments in justification logic
In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a l...