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

Improving medical protocols by formal methods.

Annette ten Teije1, Mar Marcos, Michel Balser

  • 1Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081HV Amsterdam, The Netherlands. annette@cs.vu.nl

Artificial Intelligence in Medicine
|December 27, 2005
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

Computer-Interpretable Domain Knowledge for Drug-Induced Acute Kidney Injury: a Knowledge Graph Approach.

Scientific data·2026
Same author

Automatic versus manual control of oxygen and neonatal clinical outcomes in extremely preterm infants: a multicentre, parallel-group, randomised, controlled, superiority trial.

The Lancet. Child & adolescent health·2026
Same author

A declarative approach for interactive process discovery in the clinical domain.

Journal of biomedical informatics·2025
Same author

A framework for establishing shared, task-oriented understanding in hybrid open multi-agent systems.

Frontiers in artificial intelligence·2025
Same author

Empowering Communities: Tailored Pandemic Data Visualization for Varied Tasks and Users.

IEEE computer graphics and applications·2025
Same author

Visual Analytics Meets Process Mining: Challenges and Opportunities.

IEEE computer graphics and applications·2025
Same journal

Real-time EEG-based epileptic seizure prediction using artificial intelligence: A systematic review.

Artificial intelligence in medicine·2026
Same journal

R-peak detection and ECG data compression scheme based on empirical mode decomposition and wavelet transform.

Artificial intelligence in medicine·2026
Same journal

CastNet: A three-channel EEG-based deep learning model for cross-subject depression detection.

Artificial intelligence in medicine·2026
Same journal

State-of-the-art TinyML approaches for colorectal cancer detection: Current advances, challenges, and future directions.

Artificial intelligence in medicine·2026
Same journal

JRadiEvo: A Japanese radiology report generation model enhanced by evolutionary optimization of model merging.

Artificial intelligence in medicine·2026
Same journal

Causally-informed deep learning towards explainable and generalizable outcome prediction in critical care.

Artificial intelligence in medicine·2026
See all related articles

Formal methods can significantly improve the quality of medical protocols by identifying serious anomalies. This approach demonstrates feasibility for enhancing medical practice guidelines and ensuring patient safety through rigorous verification.

Area of Science:

  • Medical Informatics
  • Formal Methods
  • Evidence-Based Medicine

Background:

  • Medical practice guidelines and protocols are increasing due to evidence-based medicine.
  • Current quality assurance for medical protocols is insufficient, with frequent anomalies like ambiguity and incompleteness.
  • Existing protocol improvement efforts rely on informal processes, limiting their effectiveness.

Purpose of the Study:

  • To improve the quality of medical protocols by addressing issues of ambiguity and incompleteness.
  • To evaluate the feasibility of using formal methods for the quality improvement of medical protocols.
  • To demonstrate the practical application of formal methods in enhancing real-life medical protocols.

Main Methods:

  • Utilized formal methods for protocol quality improvement.

Related Experiment Videos

  • Developed a formal representation language for medical protocols.
  • Applied formal analysis techniques to real-life medical protocols, including formalization and verification.
  • Evaluated the approach by analyzing two reference protocols and identifying errors.

    • Main Results:

    • A consolidated formal language for modeling medical practice protocols was created.
    • Two real-life protocols were successfully modeled and formalized.
    • Verification proofs demonstrated the ability of formal methods to uncover serious errors in protocols.
    • Medical experts validated the significance of the detected protocol anomalies.

    Conclusions:

    • Formal methods are feasible and effective for improving the quality of medical protocols.
    • The approach successfully identified critical issues in medical protocols that require attention.
    • This work provides a foundation for more rigorous and reliable medical guideline development.