Related Experiment Video
Updated: Jun 20, 2026

Operation of the Collaborative Composite Manufacturing (CCM) System
Published on: October 1, 2019
A formal logical framework for Cadiag-2
Agata Ciabattoni1, Thomas Vetterlein, Klaus-Peter Adlassnig
1Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Austria.
Abstract:
Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematical formalization of the inferential mechanism of Cadiag-2. The aim is to have a formal logical calculus at hand which corresponds to the mode of operation of Cadiag-2 and which is among others needed to perform consistency checking of Cadiag-2's medical knowledge base.
Related Concept Videos
Structure of Cadherins
Constraints and Statical Determinacy
Deductive Reasoning
Relation between Mathematical Equations and Block Diagrams
Schemas
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
