Temporal logics and real time expert systems

J.A. Blom

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)

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

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

  • Cite this