Abstract
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 pa- per, we will 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 impreci- sion 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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Artificial Intelligence in Medicine, 10(1), 1997.
International Journal of Intelligent Sytems, 8(1-2), 1998.
M Boddy and T. Dean. Deliberation scheduling for problem solving in time-constrained environments. Artificial Intelligence, 67:245–265, 1994.
P. Bonissone, Y. Chen, K. Goebel, and P. S. Khedkar. Hybrid soft computing systems: Industrial and comercial applications. In Proceedings of the IEEE International Conference on Fuzzy Systems, September 1999.
W. F. Dowling and J. H. Gallier. Linear-time algorithms for testing the satisfiability of horn propositional formulae. Journal of Logic Programming, 3:267–284, 1984.
D. Dubois, H. Fargier, and H. Prade. Possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty. Applied Intelligence, 6:287–309, 1996.
P. Felix, S. Fraga, R. Marin, and S. Barro. Linguistic representation of fuzzy temporal profiles. International Journal of Uncertainty. Fuziness and Knowledge Based Systems, 7(3): 243–257.
M. Gelfond and A Gabaldon. Building a knowledge base: an example. Annal of Mathematics and Artificial Intelligence, 25(3–4): 165–169, 1999.
L. Godo and L. Vila. Possibilistic temporal reasoning based on fuzzy temporal constraints. In Chris S. Mellish, (editor), Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence., volume 2, pages 1916–1922, 1995.
R. Hahnie and G. Escalada-Imaz. Deductions in many-valued logics: A survey. Mathware and Soft Computing, 4(2):69–97, 1997.
M. H. Klein, T. Ray, B. Pollack, R. Obenza, and M. Gonzalez-Harbour. A prac-Honor’s handbook for real-time analysis. Guide to Rate Monotonic Analysis for real-time systems. Kluwer Academic Publisher, 1993.
E. Kligerman and A. D. Stoyenko. Real-Time Euclid: A language for reliable real-time sytems. IEEE Trans. on Softw. Enginer., SE-12(9):941–949, 1986.
R. E. Korf. Depth-limited search for real-time problem solving. Real-Time Systems, 2(1-2):7–24, 1990.
R. E. Korf. Real-time heuristic search. Artificial Intelligence, 42(2-3):189–211, 1990.
R. Michalski and P. Winston. Variable pricision logic. Artificial Intelligence, 29(2):121–146, 1986.
D. J. Mulsliner, E. H. Durfee, and K. G. Shin. CIRCA: A cooperative intelligent real-time control architecture. Trans. on Sytems, Man and Cybernetics, 23(6): 1561–1574, 1993.
D. J. Mulsliner, J. A. Handler, E. H. Durfee, J. K. Strosnider, and C. Paul. The challanges of real-time artififcial intelligence. Computer IEEE, 28(1):58–66, 1995.
P. P. Puschner and C. Koza. Calculating the maximum execution time of rela-time programs. Real-Time Systems, 1(2): 160–176, 1989.
D. Qian. Representation and use of imprecise temporal knowledge in dynamic systems. Fuzzy Sets and Systems, 50:59–77.
E. H. Ruspini, P. P. Bonissone, and W. Pedycz. Handboook of Fuzzy Computation.
J. A. Stankovic and K. Ramamritham. What is predictability for real-time sytems? Real Time Sytems, 2(4):247–254, 1990.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Escalada-Imaz, G. (2000). A Temporal Many-Valued Logic for Real Time Control Systems. In: Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2000. Lecture Notes in Computer Science, vol 1904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45331-8_9
Download citation
DOI: https://doi.org/10.1007/3-540-45331-8_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41044-7
Online ISBN: 978-3-540-45331-4
eBook Packages: Springer Book Archive