A temporal many-valued logic for real time control systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1904, Issue , 2000, Pages 91-100

  Escalada Imaz, Gonzalo ^a  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

Automated reasoning; Computational complexity; Control systems; Many valued logic; Real time; Temporal reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTER CIRCUITS; CONTROL SYSTEMS; CONTROLLERS; KNOWLEDGE BASED SYSTEMS; REAL TIME CONTROL;

AUTOMATED REASONING; CLASSICAL CONTROL; CONTROL SIGNAL; MULTI-VALUED; PHYSICAL VARIABLES; REAL TIME; REAL TIME CONTROLLERS; TEMPORAL REASONING;

MANY VALUED LOGICS;

EID: 84947915591     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45331-8_9     Document Type: Conference Paper

References (21)

1. Artificial Intelligence in Medicine, 10(1), 1997.
2. International Journal of Intelligent Sytems, 8(1-2), 1998.
3. M Boddy and T. Dean. Deliberation scheduling for problem solving in timeconstrained environments. Artificial Intelligence, 67:245-265,1994.
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.
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.
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.
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.
8. M. Gelfond and A Gabaldon. Building a knowledge base: an example. Annal of. Mathematics and Artificial Intelligence, 25(3-4): 165-169, 1999.
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.
10. R. Hahnie and G. Escalada-Imaz. Deductions in many-valued logics: A survey. Mathware and Soft Computing, 4(2):69-97, 1997.
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.
12. E. Kligerman and A. D. Stoyenko. Real-Time Euclid: A language for reliable realtime sytems. IEEE Trans. on Softw. Enginer., SE-12(9):941-949, 1986.
13. R. E. Korf. Depth-limited search for real-time problem solving. Real-Time Systems, 2(1-2):7-24, 1990.
14. R. E. Korf. Real-time heuristic search. Artificial Intelligence, 42(2-3):189-211, 1990.
15. R. Michalski and P. Winston. Variable pricision logic. Artificial Intelligence, 29(2):121-146, 1986.
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.
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.
18. P. P. Puschner and C. Koza. Calculating the maximum execution time of rela-time programs. Real-Time Systems, 1(2): 160-176, 1989.
19. D. Qian. Representation and use of imprecise temporal knowledge in dynamic systems. Fuzzy Sets and Systems, 50:59-77.
20. E. H. Ruspini, P. P. Bonissone, and W. Pedycz. Handboook of Fuzzy Computation.
21. J. A. Stankovic and K. Ramamritham. What is predictability for real-time sytems? Real Time Sytems, 2(4):247-254, 1990.