Escalada-Imaz, Gonzalo A temporal many-valued logic for real time control systems. (English) Zbl 0973.68562 Cerri, Stefano A. (ed.) et al., Artificial intelligence: methodology, systems, and applications. 9th international conference, AIMSA 2000, Varna, Bulgaria, September 20-23, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1904, 91-100 (2000). Summary: Control of systems in different real world fields such us Chemistry, Medicine, Robotics, etc. has been tackled for decades with approaches developed in the classical control systems field. In this paper, we propose a real time controller relying on a knowledge based system with a temporal multi-valued language. The proposed controller deals with the typical features of a real time framework such as imprecision produced by the sensors, smart and continue changes of the physical variables and it sends the required control signals in bounded time. This is a major restriction that must be fulfilled by a real time controller.For the entire collection see [Zbl 0947.00035]. MSC: 68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence 93C41 Control/observation systems with incomplete information 93C42 Fuzzy control/observation systems Keywords:automated reasoning; computational complexity; real time; temporal reasoning; many-valued logic; control systems PDFBibTeX XMLCite \textit{G. Escalada-Imaz}, Lect. Notes Comput. Sci. 1904, 91--100 (2000; Zbl 0973.68562)