Abonnement à la biblothèque: Guest
Journal of Automation and Information Sciences

Publication de 12  numéros par an

ISSN Imprimer: 1064-2315

ISSN En ligne: 2163-9337

SJR: 0.173 SNIP: 0.588 CiteScore™:: 2

Indexed in

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

Volume 34, Numéro 7, 2002, 12 pages
DOI: 10.1615/JAutomatInfScien.v34.i7.20
Get accessGet access

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.

Portail numérique Bibliothèque numérique eBooks Revues Références et comptes rendus Collections Prix et politiques d'abonnement Begell House Contactez-nous Language English 中文 Русский Português German French Spain