Journal of Automation and Information Sciences

ISSN for PRINT: 1064-2315

For Online Access

Best Paper Award Selection - Editorial Board Site

2002, Volume34

Issue 7

77 pages

Issue price - $221.00

Stanislav N. Vassilyev
Institute of System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk, Russia

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.

Download article, 12 pages

Article price - $35.00

<< Previous article   Next article >>