The paper discusses the general issues of automated search of artifacts in rule-based knowledge bases (KB) based on logic with vector semantics in the VTF-logic variant. Cases of falsity of antecedent of rules at all admissible values of truth of input premises, existence of terms which are not used anywhere and generation of uncertain values of truth, emergence of contradictions are considered. Automation is considered as the organization of the direct attached logical inference opening artifacts of KB. The first two cases are identified by counting the number of each rule triggering and identifying terms that are not tied to the rules. The contradiction is revealed by the verification of the truth of the conclusions-hypotheses. The presence of a conclusion with truth (1; 1) (complete contradiction) signals a contradiction at one of the stages of reasoning, which is set by the back trace of the logical chain. A necessary stage of inference is to combine the evidence using 11-composition (the second form of disjunction). The paper also presents the principle of calculating the truth of the conclusion based on the truth of the premises, the strategy of combining evidence, numerical measures that can be used in the conclusion.
The article presents an overview of research related to the application of vector formalism in logical investigations. Three directions of research in this area are discussed. The first area has to deal with the complication of formalism of classical mathematical logic. It is based on the vectorization of the categories of Truth and Falsehood. This line of research is represented by a vector logic of E. Mizrahi and matrix logic of A. Stern. The second one is the vectorization of logical semantics. This approach is represented by the logic of K.I. Bakhtiyarov, neutrosophy logic of F. Smarandache and in the logics with vector semantics. The third area is devoted to vectorization syllogistics of Aristotle. Here vector representation is used for partial visualization and automation of building syllogisms. All three areas are of practical importance and can be used for the solution of applied problems, in particular, in computer science and artificial intelligence.
In the article are examined the mathematical models of the electric drive of direct and alternating current with the universal power semiconductor converter. The functional diagram of electrical power semiconductor converter is described. Are given the oscillograms of the output voltage of power semiconductor converter, obtained with the aid of the model of converter. Are determined the static and dynamic characteristics of the electric drive of direct and alternating current with the universal power semiconductor converter, which make it possible to positively estimate fitness for work and accuracy of the systems of electric drive in the steady-state and dynamic behaviors of work. The experimental studies, carried out in the laboratory mock-up of the electric drive of direct and alternating current with the universal power semiconductor converter, testify about the sufficiently high adequacy of the developed models and confirm the practical possibility of designing of the class of universal semiconductor converters for regulating the angular velocity of the electric motors of direct and alternating current.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.