UDC 007:681.512.2
FORMAL RESEARCH PECULIARITIES OF INELLIGENT PROGRAMMING TOOLS
I. Yu. Kashirin, PhD (technical sciences), full professor, RSREU, Ryazan, This email address is being protected from spambots. You need JavaScript enabled to view it.
O. I. Kashirina, student, RSREU, Ryazan, This email address is being protected from spambots. You need JavaScript enabled to view it.
The problem of formal research peculiarities of intelligent programming tools is studied. The aim is to find main features of programming tools of artificial intelligence systems revealing the possibilities to optimize corresponding formal programming tools. In the article the analysis of programming tools research is proposed, distinctive features which determine its applicability for resolving different classes of formal research problems are considered.
The most attention is devoted to optimization problem in formal expression of source programming code of intelligent soft systems. The following concepts of intelligent systems such as simplification of subject domain, logical programming, production systems, training and self-training, meta-level language tools, knowledge level, inductive reasoning are considered. First experiments of new formal approach to this problem showed efficiency in optimization expression of source programming code of intelligent soft systems.This approach is based on universal algebra sets called as programming machines.
Key words: artificial intelligence, program analysis, algorithmic algebras, programming tools, formal programming machines, program optimization, knowledge level, training and self-training, meta-level language tools.