Library Subscription: Guest
Home Begell Digital Library eBooks Journals References & Proceedings Research Collections
Journal of Automation and Information Sciences

Impact factor: 0.040

ISSN Print: 1064-2315
ISSN Online: 2163-9337

You have access to:
Volume 46, 2014 Volume 45, 2013 Volume 44, 2012 Volume 43, 2011 Volume 42, 2010 Volume 41, 2009 Volume 40, 2008 Volume 39, 2007 Volume 38, 2006 Volume 37, 2005 Volume 36, 2004 Volume 35, 2003 Volume 34, 2002 Volume 33, 2001 Volume 32, 2000 Volume 31, 1999 Volume 30, 1998 Volume 29, 1997 Volume 28, 1996

Journal of Automation and Information Sciences


12 pages

Expanding Control Potential by New Means of Representation and Processing of Knowledge

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

ABSTRACT

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.