Publication de 12 numéros par an
ISSN Imprimer: 1064-2315
ISSN En ligne: 2163-9337
Indexed in
Expanding Control Potential by New Means of Representation and Processing of Knowledge
RÉSUMÉ
The paper presents a survey of some results obtained in Institute of System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences in development of some new methods for logical control of dynamical systems. This scientific direction was founded in sixties, however some fundamental difficulties of deduction problem prevented development of automatic deduction in the control loop. The main goal of this paper is to demonstrate, that technique of automatic theorem proving even now has been developed to the state of applicability in intelligent control of complex systems. There are two basic reasons for that. The first one is that modern intelligent control systems are yet lacking the necessary intelligence level. The second reason is conditioned by possibilities and advantages of some new logical tools, which allow one to overcome difficulties in application of first-order and other powerful logics in problems of real-time control. This logical tool is described in the paper. We present information of its applications with reference to more detailed publications. The major applications are related to control of moving objects.