Skip to main content
SpringerLink
Log in

A Temporal Many-Valued Logic for Real Time Control Systems

  • Conference paper
  • First Online:
Book cover Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1904))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artificial Intelligence in Medicine, 10(1), 1997.

    Google Scholar 

    Google Scholar 

  2. International Journal of Intelligent Sytems, 8(1-2), 1998.

    Google Scholar 

    Google Scholar 

  3. M Boddy and T. Dean. Deliberation scheduling for problem solving in time-constrained environments. Artificial Intelligence, 67:245–265, 1994.

    Article  MATH  Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Article  MathSciNet  Google Scholar 

  6. D. Dubois, H. Fargier, and H. Prade. Possibility theory in constraint satisfaction problems: handling priority, preference and uncertainty. Applied Intelligence, 6:287–309, 1996.

    Article  Google Scholar 

  7. 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.

    Google Scholar 

  8. M. Gelfond and A Gabaldon. Building a knowledge base: an example. Annal of Mathematics and Artificial Intelligence, 25(3–4): 165–169, 1999.

    Article  MATH  MathSciNet  Google Scholar 

  9. 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.

    Google Scholar 

  10. R. Hahnie and G. Escalada-Imaz. Deductions in many-valued logics: A survey. Mathware and Soft Computing, 4(2):69–97, 1997.

    MathSciNet  Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. R. E. Korf. Depth-limited search for real-time problem solving. Real-Time Systems, 2(1-2):7–24, 1990.

    Article  Google Scholar 

  14. R. E. Korf. Real-time heuristic search. Artificial Intelligence, 42(2-3):189–211, 1990.

    Article  MATH  Google Scholar 

  15. R. Michalski and P. Winston. Variable pricision logic. Artificial Intelligence, 29(2):121–146, 1986.

    Article  MATH  Google Scholar 

  16. 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.

    Article  Google Scholar 

  17. 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.

    Google Scholar 

  18. P. P. Puschner and C. Koza. Calculating the maximum execution time of rela-time programs. Real-Time Systems, 1(2): 160–176, 1989.

    Article  Google Scholar 

  19. D. Qian. Representation and use of imprecise temporal knowledge in dynamic systems. Fuzzy Sets and Systems, 50:59–77.

    Google Scholar 

  20. E. H. Ruspini, P. P. Bonissone, and W. Pedycz. Handboook of Fuzzy Computation.

    Google Scholar 

  21. J. A. Stankovic and K. Ramamritham. What is predictability for real-time sytems? Real Time Sytems, 2(4):247–254, 1990.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Research Institute IIIA, Spanish Scientific Research Council (CSIC), Campus UAB, s/n, 08193, Bellaterra, Barcelona, Spain

    Gonzalo Escalada-Imaz

Authors
  1. Gonzalo Escalada-Imaz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation