Temporal logics and real time expert systems

Computer Methods and Programs in Biomedicine

Volumn 51, Issue 1-2, 1996, Pages 35-49

  Blom, J A ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Petri net; Protocol; Real time expert system; Temporal logic

Indexed keywords

FORMAL LOGIC; PETRI NETS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); THEOREM PROVING;

MEDICAL PROTOCOLS; PETRI NET THEORY; TEMPORAL LOGICS;

EXPERT SYSTEMS;

ARTICLE; EXPERT SYSTEM;

EID: 0030271828     PISSN: 01692607     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-2607(96)01761-0     Document Type: Article

References (30)

1. [1] A.N. Prior, Diodoran modalities, Philosophical Q. 5 (1955) 205-213.
2. [2] A.P. Galton, Temporal logic and computer science: an overview, in Temporal logics and their applications, ed. A.P. Galton (Academic Press, 1987).
3. [3] G.E.M. Anscombe, Before and after, Philosophical Rev. 73 (1964) 3-24.
4. [4] Z. Vendler, Linguistics and philosophy (Cornell University Press, Ithaca, 1967).
5. [5] B.C. Bruce, A model for temporal references and its application in a question-answering program, Artificial Intelligence 21 (1972) 293-320.
6. [6] K. Kahn and G.A. Gorry, Mechanizing temporal knowledge, Artificial Intelligence 9 (1977) 87-108.
7. [7] D. McDermott, A temporal logic for reasoning about processes and plans, Cognitive Sci. 6 (1982) 101-155.
8. [8] J.F. Allen, An interval-based representation of temporal knowledge, Proc. 7th Int. Conf. on AI (1981) 221-226.
9. [9] J.F. Allen, Maintaining knowledge about temporal intervals, Comm. ACM 26(11) (1983) 832-843.
10. [10] R.W. Floyd, Assigning meaning to programs, Proc. Symp. Applied Mathematics (American Mathematical Society, 1967) 19-32.
11. [11] C.A.R. Hoare, An axiomatic basis for computer programming, Comm. ACM 12 (1969) 576-583.
12. [12] S. Owicki and D. Gries, An axiomatic proof technique for parallel programs, Acta Informatica 6 (1976) 319-340.
13. [13] R.M. Burstall, Program proving as hand simulation with a little induction, Inf. Processing 74 (1974) 308-312.
14. [14] R.J. Brachman and H.J. Levesque (eds.), Readings in knowledge representation (Kaufmann, Los Altos, CA, 1985).
15. [15] E.H. Mamdani and J. Efstathiou, An analysis of formal logics as inference mechanisms in expert systems, in Principles of expert systems, eds. A. Gupta and B.E. Prasad (IEEE Press, New York, 1988).
16. [16] H.A. Simon, The theory of problem solving, Inf. Processing 71 (1972) 261-277.
17. [17] R. Davis, B. Buchanan and E.H. Shortliffe, Production rules as a representation for a knowledge-based consultation program, Artifical Intelligence 8 (1977) 15-45.
18. [18] M. Turner, Real time experts, Systems Int. 14(1) (1986) 55-57.
19. [19] M.G. Rodd and G.J. Suski (eds.), Artificial Intelligence in real-time control (Pergamon, 1989).
20. [20] T.A. Laffey, P.A. Cox, J.L. Schmidt, S.M. Kao and J.Y. Read, Reat time Knowledge-Based Systems, AI magazine (Spring, 1988) 27-45.
21. [21] C.A. O'Reilly and A.S. Cromarty, 'Fast' is not 'Real time' in designing effective real time AI systems, in Appl of Artif Intell, Vol. II, pp. 249-257 (Int. Soc. of Optical Engng, Bellingham, WA, 1985).
22. [22] W.H. Simmonds, Representation of real knowledge for real time use, in Artificial Intelligence in real-time control, eds. M.G. Rodd and G.J. Suski (Pergamon, 1989).
23. [23] J.A. Blom, The SIMPLEXYS experiment; real time expert systems in patient monitoring, Ph.D. thesis, Eindhoven University of Technology, May, 1990.
24. [24] J. Marsh and J. Greenwood, Guide to defense and aerospace systems (Pasha Publishers, Arlington, VA, 1986).
25. [25] L.M. Fagan, Ventilator manager: a program to provide on-line consultative advice in the intensive care unit, Report HPP-78-16, Computer Science Department, Stanford University, Stanford, CA, September, 1978.
26. [26] L.M. Fagan, J.C. Kunz and E.A. Feigenbaum, Representation of dynamic clinical knowledge: measurement interpretation in the intensive care unit, Proc. IJCAI-79 (1979) 260-262.
27. [27] L.M. Fagan, VM: representing time-dependent relations in a medical setting, Ph.D. thesis, Department of Computer Science, Stanford University, Stanford, CA, June, 1980.
28. [28] C.A. Petri, Concurrency theory, in Advances in Petri nets, Part 1, Lecture notes in computer science, Vol. 254, ed. G. Rozenberg, pp. 4-24 (Springer, Berlin, 1986).
29. [29] W. Reisig, Petri nets, EATCS Monographs on Theoretical Computer Science 4 (Springer, Berlin, 1985).
30. [30] J.J. van der Aa, Intelligent alarms in anesthesia, a real time expert system application, Ph.D. thesis, Eindhoven University of Technology, May, 1990.