Temporal logics and real time expert systems

J.A. Blom

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)


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.
Original languageEnglish
Pages (from-to)35-49
Number of pages15
JournalComputer Methods and Programs in Biomedicine
Issue number1-2
Publication statusPublished - 1996


Dive into the research topics of 'Temporal logics and real time expert systems'. Together they form a unique fingerprint.

Cite this