Abo Bibliothek: Guest
Digitales Portal Digitale Bibliothek eBooks Zeitschriften Referenzen und Berichte Forschungssammlungen
Journal of Automation and Information Sciences
SJR: 0.232 SNIP: 0.464 CiteScore™: 0.27

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

Volumes:
Volumen 51, 2019 Volumen 50, 2018 Volumen 49, 2017 Volumen 48, 2016 Volumen 47, 2015 Volumen 46, 2014 Volumen 45, 2013 Volumen 44, 2012 Volumen 43, 2011 Volumen 42, 2010 Volumen 41, 2009 Volumen 40, 2008 Volumen 39, 2007 Volumen 38, 2006 Volumen 37, 2005 Volumen 36, 2004 Volumen 35, 2003 Volumen 34, 2002 Volumen 33, 2001 Volumen 32, 2000 Volumen 31, 1999 Volumen 30, 1998 Volumen 29, 1997 Volumen 28, 1996

Journal of Automation and Information Sciences

DOI: 10.1615/JAutomatInfScien.v34.i7.20
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

ABSTRAKT

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.


Articles with similar content:

RECENT FOCUSES AND FUTURE RESEARCHES IN SMART ENGINE TECHNOLOGY
Proceedings of Symposium on Energy Engineering in the 21st Century (SEE2000) Volume I-IV, Vol.0, 2000, issue
Feng Lin, Zhongwei Li
MODERN CONTROL OF ELECTRO-STATIC PRECIPITATOR
Energy and Environment, 1995, Vol.0, 1995, issue
Qiang Zhang, JiuBin Liu
Seawater Flow Control: Wall Normal ElectroMagnetic Actuators
TSFP DIGITAL LIBRARY ONLINE, Vol.2, 2001, issue
Jean Paul Thibault, Lionel Rossi
ADVANCED LIQUID AND GELLED PROPELLANTS FOR ROCKET AND RAMJET PROPULSION
International Journal of Energetic Materials and Chemical Propulsion, Vol.14, 2015, issue 2
Andreas Gernoth, Michele Negri, Helmut K. Ciezki
AERODYNAMIC SUPPRESSION OF COMBUSTION-DRIVEN PRESSURE OSCILLATIONS IN TECHNICAL PREMTXED COMBUSTORS
Proceedings of Symposium on Energy Engineering in the 21st Century (SEE2000) Volume I-IV, Vol.0, 2000, issue
Horst Buchner, Stefan Hoffmann, Henning Bockhorn