Automation methods for logical derivation and their application in the control of dynamic and intelligent systems

DOI10.1134/S0081543812020137MaRDI QIDQ742012zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 17 September 2014

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0081543812020137

zbMATH Keywords

artificial intelligencecontrol theorycontrollabilityLyapunov functionsdynamic systemsmathematical logicintelligent systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Application models in control theory (93C95)

Recommendations

• Automating control for logic programs
• Logical control in automatic systems
• scientific article; zbMATH DE number 3972241
• Logical equations with applications to automatic design and control
• scientific article; zbMATH DE number 603377
• scientific article; zbMATH DE number 3884003
• scientific article; zbMATH DE number 4104410
• scientific article; zbMATH DE number 4070743
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

Cites work

• scientific article; zbMATH DE number 3113030 (Why is no real title available?)
• scientific article; zbMATH DE number 1745890 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• scientific article; zbMATH DE number 3062713 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Control packages: an approach to solution of positional control problems with incomplete information
• Limited resource strategy in resolution theorem proving
• Method of reduction and qualitative analysis of dynamic systems. I
• Properties preserved under homomorphism
• Zur Deutung der intuitionistischen Logik

Cited in

(6)

• Complexity of the problem of being equivalent to Horn formulas
• Dynamic intelligent systems. II. Computer simulation of task-oriented behavior
• scientific article; zbMATH DE number 3892616 (Why is no real title available?)
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• Formalization of methods for the development of autonomous artificial intelligence systems
• Complexity of the problem of being equivalent to Horn formulas. II

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Automation methods for logical derivation and their application in the control of dynamic and intelligent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q742012)