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

DOI10.1134/S0081543812020137zbMATH Open1295.93057OpenAlexW2025156439MaRDI QIDQ742012FDOQ742012

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)

Cites Work

• Control packages: an approach to solution of positional control problems with incomplete information
• A Machine-Oriented Logic Based on the Resolution Principle
• Zur Deutung der intuitionistischen Logik
• Properties preserved under homomorphism
• Method of reduction and qualitative analysis of dynamic systems. I
• Limited resource strategy in resolution theorem proving
• A method for the synthesis of deducibility conditions for Horn and some other formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Complexity of the problem of being equivalent to Horn formulas
• On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
• Complexity of the problem of being equivalent to Horn formulas. II

Uses Software

• OTTER

   Recommendations

• Automating control for logic programs 👍 👎
• Logical control in automatic systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Logical equations with applications to automatic design and control 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications 👍 👎

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)