Temporal logics and real time expert systems

被引：8

作者：

Blom, JA

机构：

[1] Div. of Med. Electrical Engineering, Eindhoven University of Technology, 5600 MB Eindhoven

来源：

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE | 1996年 / 51卷 / 1-2期

关键词：

temporal logic; real time expert system; protocol; Petri net;

D O I：

10.1016/0169-2607(96)01761-0

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：35 / 49

页数：15

共 30 条

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].