Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Temporal logics and real time expert systems

J A Blom1

  • 1Division of Medical Electrical Engineering, Eindhoven University of Technology, The Netherlands.

Computer Methods and Programs in Biomedicine
|October 1, 1996
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A strategy for developing practice guidelines for the ICU using automated knowledge acquisition techniques.

Journal of clinical monitoring and computing·2003
Same author

Evaluation of two cortical fraction estimation algorithms for the calculation of dynamic magnetic resonance renograms.

Computer methods and programs in biomedicine·2002
Same author

Movement correction of the kidney in dynamic MRI scans using FFT phase difference movement detection.

Journal of magnetic resonance imaging : JMRI·2001
Same author

Design and implementation of a framework to support the development of clinical guidelines.

International journal of medical informatics·2001
Same author

Computer control versus manual control of systemic hypertension during cardiac surgery.

Acta anaesthesiologica Scandinavica·2001
Same author

The application of ontologies and problem-solving methods for the development of shareable guidelines.

Artificial intelligence in medicine·2001
Same journal

A novel Milstein-stochastic epidemiologically-informed neural network for approaching epidemic dynamics: Application to Mpox disease.

Computer methods and programs in biomedicine·2026
Same journal

Accounting for approximation errors using surrogate-based parameter estimation of cardiac mechanics digital twins.

Computer methods and programs in biomedicine·2026
Same journal

Facial iPPG heatmap patterns based on period-aware autoencoder show association with carotid atherosclerosis towards non-contact hemodynamic assessment.

Computer methods and programs in biomedicine·2026
Same journal

Explainable machine learning models predict liver fibrosis risk and outcome in the general population: Development and multi-cohort external validation.

Computer methods and programs in biomedicine·2026
Same journal

Evaluation of surrogate endpoints for survival outcomes using the surrogate package in R.

Computer methods and programs in biomedicine·2026
Same journal

Relative spectral and frication-based descriptors as numerical indicators of place of articulation shifts in fricatives produced by Polish children.

Computer methods and programs in biomedicine·2026
See all related articles

This paper explores temporal logics for real-time expert systems. Petri net theory offers a viable method for verifying medical protocols, balancing expressiveness and efficiency.

Area of Science:

  • Computer Science
  • Logic
  • Artificial Intelligence

Background:

  • Temporal logics offer expressive power for reasoning about time.
  • Full temporal logics (first-order or modal) often lack the efficiency required for real-time systems.
  • Real-time expert systems demand guaranteed, small response times.

Purpose of the Study:

  • To introduce temporal logics suitable for real-time expert systems.
  • To address the trade-off between expressiveness and reasoning efficiency in temporal logic applications.
  • To formally describe and reason with time in medical protocols.

Main Methods:

  • Review of Fagan's VM, a real-time expert system.
  • Formal methods for describing and reasoning about time in medical protocols.

Related Experiment Videos

  • Application of Petri net theory for protocol correctness checking.

    • Main Results:

    • Full temporal logics are often unsuitable for real-time expert systems due to efficiency constraints.
    • Petri net theory provides a useful framework for verifying the correctness of formalized medical protocols.
    • A method is presented for formally reasoning with time in medical protocols.

    Conclusions:

    • Petri net theory is an effective tool for ensuring the correctness of formalized medical protocols.
    • The study highlights the importance of balancing expressiveness and efficiency in temporal logic design for real-time applications.
    • The proposed approach facilitates formal reasoning about time within medical protocols.