Problems of Artificial Intelligence №2018'2(9)

V. I. Levin

CONTINUOUS LOGIC AND ITS APPLICATION TO RESEARCH OF SYSTEMS WITH UNCERTAINTY

Summary: Continuous logic (СL) is introduced as a natural generalization of discrete logic (DL). At the same time, most of the DL laws remain in force for СL. However, the operation of negating of СL can not be defined so that it is a complement, as, for example, in two-valued logic, i.e. that the laws of the excluded third and the contradictions are fulfilled. Therefore, structurally continuous logic essentially differs from two-valued discrete logic. This and the continuity of the variables leads to certain differences between the CL and DL in the nomenclature of the problems being solved and the methods for their solution. The purpose of the article is to give a detailed review of the theory of CL, its history, methods, results and applications in various fields of science and technology.

Keywords: continuous logic, laws of logic, logical function, problem of completeness, applications of continuous logic.

V. N. Pavlysh, G.B. Peretolchina

THE MATHEMATICAL MODELING OF NON-STATIONARY PROCESSES IN ENVIRONMENT WITH LEFT CERTAIN PARAMETERS

Summary: In the article the task of construction and investigation of determine mathematical model of liquid moving processes in coal seam regards as crack-porous continuous environment with slipshod defined filtration parameters is considered. The model based on particular derivatives equations, describes nonlinear-elastic filtration regime of compress-resist liquid in strength continuous environment, filtration parameters are given as random quantities with fixed variation interval, computer realization made by ending-difference approximation.

Keywords: the mathematical model, process, parameter, equation, algorithm.

Ya. S. Pikalyov, A. S. Vovnyanko, I. Ya. Denishenko

ANALYSIS OF AUTOMATIC VERIFICATION SYSTEMS SPELLING OF THE RUSSIAN LANGUAGE

Summary: This work is devoted to the research of automatic spelling checkers of the Russian language. The technique of estimation of automatic spelling check systems developed by the authors is considered. A description is given to the selected systems. On the basis of the research carried out by the authors, the best system is singled out, and a conclusion is made about the further relevance of the development in this field.

Keywords: natural language processing; automatic spelling systems for the Russian language; method of assessment; method of analyzing hierarchies.

S. A. Izosimova, S. B. Ivanova, I. S. Salnikov, R. I. Salnikov

PROBLEMS OF COMPUTER BIBLIOTHERAPY

Summary: The article deals with features and characteristics of bibliotherapy as a psychotherapeutic method and means of influence on a person's psychophysiological condition. On the basis of the analysis of historical sources, the path of origin and development of this method is given. The ways of its further improvement using modern computer facilities and technologies are suggested.

Keywords: bibliotherapy, features of the method, psychotherapeutic technique, literature and texts of different genres, possibilities of computerization, development prospects, actual problems.

V. Y. Shelepov, A. V. Nicenko

ANTI-TEMPLATES AND SERCHING OF KEYWORDS WITH DTW-RECOGNITION METHODS

Summary: The paper describes authors' methods of keyword searching in a continuously spoken Russian phrase. The method consists of DTW-recognition of all speech segments of the recorded phrase containing as many unvoiced fragments as there are in the keyword. The keyword template is created by voice, for non-key words it is suggested to use a small amount of averaged anti-templates. Due to the small number of anti- templates, a significant acceleration in the keyword searching process is achieved.

Keywords: speech template averaging, anti-template, speech segmentation, unvoiced fragment, diphone DTW-recognition.

Ya. S. Pikalyov, A. S. Vovnyanko, I. Ya. Denishenko

ANALYSIS OF AUTOMATIC VERIFICATION SYSTEMS SPELLING OF THE RUSSIAN LANGUAGE

Summary: This work is devoted to the research of automatic spelling checkers of the Russian language. The technique of estimation of automatic spelling check systems developed by the authors is considered. A description is given to the selected systems. On the basis of the research carried out by the authors, the best system is singled out, and a conclusion is made about the further relevance of the development in this field.

Keywords: natural language processing; automatic spelling systems for the Russian language; method of assessment; method of analyzing hierarchies.

I. A. Tarasova

DEVELOPMENT OF THE ALGORITHM OF SPECIFYING THE MULTIDIMENSIONAL MEMBERSHIP FUNCTIONS OF LINGUISTIC VARIABLES TERMS BASED ON STATISTICAL DATA

Summary: The article is devoted to algorithm of specifying the multidimensional membership functions of linguistic variables terms based on statistical data has been done. Application of the developed algorithm improves the efficiency of fuzzy control of badly formalized objects with the complicated structure of intercommunications of entrance and output variables.

Keywords: fuzzy control, multidimensional membership function, term of the linguistic variable, automation of the process.

Print