Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Structure of Cadherins

Structure of Cadherins

The cadherins were one of the first cell adhesion molecules discovered; the term “cadherins” is based on their calcium-dependent adhering properties. The first cadherins discovered on the epithelial, neuronal, and placental cells were named E-cadherin, P-cadherin, and N-cadherin, respectively. These classical cadherins share sequence and structural similarities. Other cadherins, including those involved in cell signaling, are grouped into non-classical cadherins. This diversity of cadherins...

Constraints and Statical Determinacy

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...

Deductive Reasoning

Deductive Reasoning

Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction from inductive reasoning. It uses a general principle or law to predict specific results. From these general principles, a scientist can predict specific results that remain valid as long as the general principles are correct.For example, a researcher can make specific predictions from the hypothesis "butterflies are attracted...

Relation between Mathematical Equations and Block Diagrams

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.

Schemas

Schemas

A schema is a mental construct consisting of a cluster or collection of related concepts (Bartlett, 1932). There are many different types of schemata, and they all have one thing in common: schemata are a method of organizing information that allows the brain to work more efficiently. When a schema is activated, the brain makes immediate assumptions about the person or object being observed.

Block Diagram Reduction

Block Diagram Reduction

The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...

You might also read

Related Articles

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

Sort by

Same author

Event-Driven Clinical Decision Support: Securing Medical Logic Through Structural Fault Isolation.

Studies in health technology and informatics·2026

Same author

Beyond Forward Chaining: Logical Perspectives on Clinical Infection Monitoring of BSIs.

Studies in health technology and informatics·2026

Same author

Ask Not What Your Server Can Do For You: A Fast Query Compatibility Strategy for Navigating FHIR Implementation Gaps.

Studies in health technology and informatics·2026

Same author

Knowledge-Based Interpretation of Multi-Modal Clinical Findings: Evaluating a Local Agentic Bridge Between Worlds.

Studies in health technology and informatics·2026

Same author

Auto Ontology: Towards Automated Term-to-Concept Assignment in Microbiology Analytics.

Studies in health technology and informatics·2026

Same author

Automated Differential Time to Positivity Analysis for CRBSIs Using Historical Microbiological Data.

Studies in health technology and informatics·2026

Same journal

A GenAI Pipeline for Violinist Kinematic Data Management.

Studies in health technology and informatics·2026

Same journal

AMAL-For-Qatar: A Comprehensive AI Ecosystem for Fetal Ultrasound Analysis - Project Overview and Achievements.

Studies in health technology and informatics·2026

Same journal

Longitudinal Treatment-Aware Multimodal AI for Dermatology: A Scoping Review.

Studies in health technology and informatics·2026

Same journal

Predicting Postpartum Depression Using Imbalance-Aware Machine Learning.

Studies in health technology and informatics·2026

Same journal

Validation of Deep-Learning Models for Autosegmentation of Brain Metastases.

Studies in health technology and informatics·2026

Same journal

Delay-Dependent Gating in Modular RNNs.

Studies in health technology and informatics·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Jun 20, 2026

Operation of the Collaborative Composite Manufacturing (CCM) System

Operation of the Collaborative Composite Manufacturing (CCM) System

Published on: October 1, 2019

A formal logical framework for Cadiag-2.

Agata Ciabattoni¹, Thomas Vetterlein, Klaus-Peter Adlassnig

¹Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Austria.

Studies in Health Technology and Informatics

|September 12, 2009

Summary

This summary is machine-generated.

Cadiag-2, a computer-assisted diagnosis system, uses fuzzy logic for internal medicine differential diagnosis. This paper formalizes its inferential mechanism for consistency checking and improved medical knowledge base.

More Related Videos

Structural Design and Manufacturing of a Cruiser Class Solar Vehicle

Structural Design and Manufacturing of a Cruiser Class Solar Vehicle

Published on: January 30, 2019

Related Experiment Videos

Last Updated: Jun 20, 2026

Operation of the Collaborative Composite Manufacturing (CCM) System

Operation of the Collaborative Composite Manufacturing (CCM) System

Published on: October 1, 2019

Structural Design and Manufacturing of a Cruiser Class Solar Vehicle

Structural Design and Manufacturing of a Cruiser Class Solar Vehicle

Published on: January 30, 2019

Area of Science:

Medical Informatics
Artificial Intelligence in Medicine
Fuzzy Logic Systems

Background:

Expert systems aid medical diagnosis by processing complex patient data.
Fuzzy logic offers a framework for handling vague and uncertain medical information.
Cadiag-2 is a computer-assisted diagnosis system designed for internal medicine.

Purpose of the Study:

To provide a mathematical formalization of the Cadiag-2 inferential mechanism.
To develop a formal logical calculus mirroring Cadiag-2's operation.
To enable consistency checking of Cadiag-2's medical knowledge base.

Main Methods:

Mathematical formalization of fuzzy logic-based inference.
Development of a formal logical calculus.
Application of formal methods for knowledge base validation.

Main Results:

A precise mathematical model of Cadiag-2's reasoning process has been established.
The formal calculus accurately represents the system's inferential capabilities.
The formalization facilitates rigorous consistency checks of the medical knowledge base.

Conclusions:

The mathematical formalization enhances the understanding and reliability of Cadiag-2.
This work provides a foundation for improving the accuracy and consistency of computer-assisted diagnosis systems.
Formalizing expert systems is crucial for their validation and clinical implementation.