Temporal logics and real time expert systems
Related Experiment Video
Updated: Nov 3, 2026

Temporal Ordering of Dynamic Expression Data from Detailed Spatial Expression Maps
Published on: February 9, 2017
1Division of Medical Electrical Engineering, Eindhoven University of Technology, The Netherlands.
Abstract:
This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert systems, where a fixed (and usually small) response time must be guaranteed. One such expert system, Fagan's VM, is reviewed, and a delineation is given of how to formally describe and reason with time in medical protocols. It is shown that Petri net theory is a useful tool to check the correctness of formalised protocols.
Related Concept Videos
Reason and Intuition
State Space Representation
Consider an RLC circuit, a...
Linear time-invariant Systems
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be calculated...
Preoperational Thought II: Object Space and Causality
Classification of Systems-I
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Classification of Systems-II