Search PubMed⌕ Search

SEARCH · Search PubMed

Results for “Deep generative models”

Search indexed PubMed citations on genomics, clinical trials, systematic reviews and public health. Explore titles, authors and supplied subject terms, then open the PubMed record.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 recordsLinked to original sources

Deep generative models in biological sequence and structure analysis and design.

Deep generative models have transformed biological sequence modeling from predictive analysis toward increasingly controllable design. Early biological applications of Variational Autoencoders (VAEs) and Generative Adversarial Networks (GANs) established latent representation learning and sequence synthesis, while recent advances in transformer-based language models, discrete diffusion, flow-matching, and multimodal generative frameworks have substantially expanded the scope of biological design. This review examines generative models for DNA, RNA, and protein sequence design, emphasizing how different model classes represent biological constraints, operate over discrete and continuous spaces, and integrate sequence, structure, and function. We compare VAEs, GANs, autoregressive and masked language models, diffusion models, and flow-based approaches across genomics, transcriptomics, and proteomics, with particular attention to controllability, long-range dependency modeling, structural grounding, generalization, and experimental utility. We further examine evaluation strategies, out-of-distribution generalization, and closed-loop design-build-test-learn workflows that connect in silico generation with empirical validation. We distinguish fundamental modality-dependent constraints including sequence discreteness, context length, structural coupling, and physical or thermodynamic requirements from architecture-dependent advantages that reflect the current state of the field. Current studies suggest that long-context models are particularly useful for genome-scale representation and sequence modeling, whereas structure-aware diffusion, flow-based, and inverse-folding approaches provide better frameworks for geometry-constrained RNA and protein design. This perspective provides a critical framework for understanding the present capabilities, limitations, and convergence of generative approaches toward reliable and experimentally grounded biological design.

Biological sequence analysis↗

scSurv: a deep generative model for single-cell survival analysis.

MOTIVATION: Single-cell omics analysis has unveiled the heterogeneity of various cell types within tumors. However, no methodology currently reveals how this heterogeneity influences cancer patient survival at single-cell resolution. Here, we introduce scSurv, combining a Cox proportional hazards model with a deep generative model of single-cell transcriptome, to estimate individual cellular contributions to clinical outcomes. RESULTS: The accuracy of scSurv was validated using both simulated and real datasets. This method identifies cells associated with favorable or adverse prognoses and extracts genes correlated with their contribution levels. In melanoma, scSurv reproduces known prognostic macrophage classifications and facilitates hazard mapping through spatial transcriptomics in renal cell carcinoma. We also identified genes consistently associated with prognosis across multiple cancers and demonstrated the applicability of this method to infectious diseases. scSurv is a novel framework for quantifying the heterogeneity of individual cellular effects on clinical outcomes. AVAILABILITY: The implementation of scSurv is available on GitHub (https://github.com/3254c/scSurv) and Zenodo (https://doi.org/10.5281/zenodo.17793054).

Humans↗

Preoperative risk-of-death prediction model in heart surgery with deep hypothermic circulatory arrest in the neonate.

OBJECTIVE: Our goal was to generate a preoperative risk-of-death prediction model in selected neonates with congenital heart disease undergoing surgery with deep hypothermic circulatory arrest. METHODS: We completed a single-center, prospective, randomized, double-blind, placebo- controlled neuroprotection trial in selected neonates with congenital heart disease requiring operations for which deep hypothermic circulatory arrest was used. An extensive database was generated that included preoperative, intraoperative, and postoperative variables. Variables (delivery, maternal, and infant related) were evaluated to produce a preoperative risk-of-death prediction model by means of logistic regression. An operative risk-of-death prediction model including duration of deep hypothermic circulatory arrest was also generated. RESULTS: Between July 1992 and September 1997, 350 (74%) of 473 eligible infants were enrolled with 318 undergoing deep hypothermic circulatory arrest. The mortality was 52 of 318 (16.4%), unaffected by investigational drug. The resulting preoperative risk model contained 4 variables: (1) cardiac anatomy (two-ventricle vs single ventricle surgery, with/without arch obstruction), (2) 1-minute Apgar score (</=5 vs >5), (3) presence of genetic syndrome, and (4) age at hospital admission for surgery (</=5 or >5 days). Mortality for two-ventricle repair was 3.2% (4/130). Mortality for single ventricle palliation was 25.5% (48/188) and was significantly influenced by Apgar score, genetic diagnosis, and admission age. The preoperative model had a prediction accuracy of 80%. The operative risk model included duration of deep hypothermic circulatory arrest, which significantly (P =.03) increased risk of death, with a prediction accuracy of 82%. CONCLUSIONS: In this selected population, postoperative mortality risk is significantly affected by preoperative conditions. Identification of infants with varying mortality risks may affect family counseling, therapeutic intervention, and risk stratification for future study designs.

Cardiac Surgical Procedures↗

Motor cortical potentials precede long-latency EMG activity evoked by imposed displacements of the human wrist.

Rapid angular displacements of the wrist evoke cerebral potentials that precede the onset of the long-latency electromyographic (EMG) activity generated in muscles stretched by the displacement. The initial segment of the long-latency EMG activity (termed the M2 response) is thought to be mediated by a transcortical reflex. We used dipole source analysis to examine the source generators of the early components of the cerebral potentials and their relationship to the timing and magnitude of the M2 response. Subjects (n=10) were presented with instructions to either actively flex or extend the wrist in response to a torque motor-imposed extensor displacement or allow the wrist to be passively extended. Electroencephalographic (EEG) recordings were obtained from 32 scalp-surface electrodes, and EMG was recorded from the wrist flexors and extensors. For all three tasks, the M2 response was preceded by cerebral potentials that could be explained by a three-dipole model. One source generator localised to deep within the cerebrum, and the other two localised to the region of the contralateral sensorimotor cortex. We used the P20-N20 dipole evoked by electrical stimulation of the median nerve at the wrist, corresponding to synaptic activity within cortical area 3b, as a local spatial reference to examine the contributions of the pre- and postcentral cortex. This analysis showed that one of the sensorimotor dipoles was consistently located anterior to the P20-N20 dipole at a displacement (average 11.5 mm) appropriate for a generator originating within the deep layers of area 4 on the anterior bank of the central sulcus. The orientation of this dipole was also consistent with a precentral generator and not a reversal of the potentials generated by input to area 3b. The time course of the area-4 dipole moment (onset =35 ms, peak =54 ms) was appropriate to reflect synaptic activity onto corticospinal neurons whose descending volleys mediate the M2 response. Comparisons across tasks showed that the magnitude of the M2 was modulated with task instruction, being largest with active and smallest with passive resistance. In contrast, the magnitude of the early evoked potentials (up to 75 ms) did not grade across tasks. We interpret these results as suggesting that instruction-dependent modulation of the M2 response occurs downstream from inputs to the primary motor cortex.

Adult↗

CRISPGen: A deep generative framework for multi-objective CRISPR/Cas9 guide RNA design via Conditional Latent Diffusion and Dual-Critic Reinforcement Learning.

MOTIVATION: The CRISPR-Cas9 system offers transformative potential for precision genome editing, yet its clinical translation remains constrained by the risk of unintended off-target double-strand breaks. While current discriminative models excel at evaluating pre-specified candidate guides, resolving the fundamental antagonism between on-target cleavage efficiency and off-target specificity within a fixed sequence search space remains a major challenge. RESULTS: We present CRISPGen, a unified deep generative framework that reframes sgRNA design as a multi-objective constrained sequence synthesis problem. It integrates (i) DNABERT-2 genomic-language embeddings, (ii) a conditional latent diffusion generator conditioned on a user-specified on-target efficiency target, and (iii) a dual-critic reinforcement-learning (RL) stage that couples a frozen on-target efficiency critic with a cross-attention off-target discriminator (validation Pearson R=0.8157) trained on a unified corpus of experimental off-target events from six detection platforms. Across 1000 generated sgRNAs, CRISPGen reduces the mean off-target discriminator score by 99.7% relative to the pre-RL baseline and, under an exhaustive whole-genome screen of all 302,631,056 NGG PAM sites in GRCh38, yields zero perfect-match and only 55 one-mismatch genomic hits. We further show, transparently, that the internal on-target critic saturates under RL optimization - an instance of Goodhart's Law - and therefore assess on-target viability using an independent external CRISPRon screen (mean 47.10/100). Repeating the RL fine-tuning stage under three random seeds (with the diffusion generator, DNABERT-2 embeddings, and off-target discriminator held fixed) yields a stable operating point across seeds. Full diversity, per-mismatch, and reproducibility statistics are reported in the Results. AVAILABILITY: Source code is available at https://github.com/malekpouri/CRISPGen; the pre-trained checkpoints and the 3,000,000-sequence library are hosted on Hugging Face (https://huggingface.co/malekpouri/CRISPGen-Checkpoints) and archived on Zenodo under DOI 10.5281/zenodo.21428641.

CRISPR-Cas9↗

Realistic modeling of entorhinal cortex field potentials and interpretation of epileptic activity in the guinea pig isolated brain preparation.

Mechanisms underlying epileptic activities recorded from entorhinal cortex (EC) were studied through a computational model based on review of cytoarchitectonic and neurobiological data about this structure. The purpose of this study is to describe and use this model to interpret epileptiform discharge patterns recorded in an experimental model of ictogenesis (guinea pig isolated brain perfused with bicuculline). A macroscopic modeling approach representing synaptic interactions between cells subpopulations in the EC was chosen for its adequacy to mimic field potentials reflecting overall dynamics rising from interconnected cells populations. Therefore intrinsic properties of neurons were not included in the modeling design. Model parameters were adjusted from an identification procedure based on quantitative comparison between real and simulated signals. For both EC deep and superficial layers, results show that the model generates very realistic signals regarding temporal dynamics, spectral features, and cross-correlation values. These simulations allowed us to infer information about the evolution of synaptic transmission between principal cell and interneuronal populations and about connectivity between deep and superficial layers during the transition from background to ictal activity. In the model, this transition was obtained for increased excitation in deep versus superficial layers. Transitions between epileptiform activities [interictal spikes, fast onset activity (25 Hz), ictal bursting activity] were explained by changes of parameters mainly related to GABAergic interactions. Notably, the model predicted an important role of GABAa,fast- and GABAb-receptor-mediated inhibition in the generation of ictal fast onset and burst activities, respectively. These findings are discussed with respect to experimental data.

Action Potentials↗

Bursting-induced epileptiform EPSPs in slices of piriform cortex are generated by deep cells.

Previous study revealed that bursting activity generated by a variety of means in slices of piriform cortex induces persistent epileptiform EPSPs in superficial pyramidal cells by an NMDA-dependent process. The present study was undertaken to test the hypothesis that the observed epileptiform EPSPs in superficial pyramidal cells are driven by deep cells. This hypothesis was suggested by recent findings from in vitro studies of the properties of deep cells and in vivo studies indicating that the deep part of the piriform cortex or neighboring deep structures are involved in the generation of seizure activity in animal models of epilepsy. Results from simultaneous cell-pair recordings, examination of subdivided slices, and local application of excitatory and inhibitory agents provided strong evidence in support of this hypothesis. It was concluded that the endopiriform nucleus, a collection of cells immediately deep to the piriform cortex, plays a central role in generation, but that cells in the deep part of layer III and the claustrum may also contribute. Furthermore, it was found that generation of prolonged ictal-like activity only occurs in slices of piriform cortex in which the endopiriform nucleus is present. Implications of these findings for epileptogenesis are discussed.

Animals↗

Statistical models for cancer screening.

This paper reviews the application of statistical models to planning and evaluating cancer screening programmes. Models used to analyse screening strategies can be classified as either surface models, which consider only those events which can be directly observed such as disease incidence, prevalence or mortality, or deep models, which incorporate hypotheses about the disease process that generates the observed events. This paper focuses on the latter type. These can be further classified as analytic models, which use a model of the disease to derive direct estimates of characteristics of the screening procedure and its consequent benefits, and simulation models, which use the disease model to simulate the course of the disease in a hypothetical population with and without screening and derive measures of the benefit of screening from the simulation outcomes. The main approaches to each type of model are described and an overview given of their historical development and strengths and weaknesses. A brief review of fitting and validating such models is given and finally a discussion of the current state of, and likely future trends in, cancer screening models is presented.

Computer Simulation↗

Carafe enables high quality in silico spectral library generation for data-independent acquisition proteomics.

Data-independent acquisition (DIA)-based mass spectrometry is becoming an increasingly popular mass spectrometry acquisition strategy for carrying out quantitative proteomics experiments. Most of the popular DIA search engines make use of in silico generated spectral libraries. However, the generation of high-quality spectral libraries for DIA data analysis remains a challenge, particularly because most such libraries are generated directly from data-dependent acquisition (DDA) data or are from in silico prediction using models trained on DDA data. In this study, we developed Carafe, a tool that generates high-quality experiment-specific in silico spectral libraries by training deep learning models directly on DIA data. We demonstrate the performance of Carafe on a wide range of DIA datasets, where we observe improved fragment ion intensity prediction and peptide detection relative to existing pretrained DDA models. To make Carafe more accessible to the community, we have integrated Carafe into the widely used Skyline tool.

Journal Article↗

A viscoelastic analysis of the tensile weakening of deep femoral head articular cartilage.

Articular cartilage from below the surface of the femoral head of the hip joint shows a profound age-dependent weakening in its tensile mechanical properties. This ageing is also associated with a reduced viscoelastic response in the older tissue. A constitutive model of the viscoelastic behaviour of deep articular cartilage (as discussed by Egan in 1988) is used to generate a graphical pattern which represents the mechanical behaviour. This constitutive approach suggests that the tensile weakening of the older cartilage is due to an age-related reduction in the recruitment of load-carrying structures as the tissue is deformed. The viscoelastic constitutive model also predicts a reduction in the tensile strength of deep articular cartilage with rate of deformation. This prediction is supported by experimental fracture stress data. A weakening of the tensile integrity of the microstructure of articular cartilage could make the tissue less able to sustain normal compressive physiological loading without damage and thus make the tissue more susceptible to osteoarthritic degeneration. The constitutive approach indicates that the weakening of the older tissue may be related to changes within the microstructure which determine how applied mechanical energy is stored and dissipated.

Age Factors↗

Morphology, architecture, and biomechanics of human cervical multifidus.

STUDY DESIGN: Cadaveric dissections and biomechanical modeling were used to study the human cervical multifidus muscle. OBJECTIVES: To describe attachment patterns of the multifidus in the cervical region, to quantify the muscle's architecture, and to use a biomechanical model to calculate the moment-generating capacity of the cervical multifidus. SUMMARY OF BACKGROUND DATA: Deep neck muscles such as the multifidus may play an important role in cervical spine stability and neck pain. However, there are limited data regarding the fascicular attachments or architecture parameters necessary to calculate force and moment. METHODS: The multifidus spinae was studied by dissection of nine cadaveric specimens. Fascicles were grouped according to attachment, and architecture parameters (musculotendon length, fascicle length, and physiologic cross-sectional area) were quantified. The data were used in a biomechanical model to calculate moment arm, force-, and moment-generating capacity of the multifidus. RESULTS: The multifidus originates from the facet capsules of lower cervical vertebrae and the transverse processes of upper thoracic vertebrae. The fascicles span 2 to 5 vertebral segments from origin to insertion, and they insert on the spinous processes and laminae of superior cervical vertebrae. For each fascicular subgroup, musculotendon lengths ranged from 2.0 to 6.9 cm, fascicle lengths ranged from 1.2 to 3.7 cm, and physiologic cross-sectional area ranged from 0.1 to 1.0 cm2. The total moment-generating capacity of the cervical multifidus in the neutral posture was predicted to be approximately 0.7 Nm for extension and lateral bending and 0.3 Nm for axial rotation. CONCLUSIONS: The fascicular attachment pattern of the multifidus spinae in the cervical region appears to be unique to that region. The direct attachment to cervical facet capsules supports a possible role in neck pain and injury. Characterizing the biomechanical function of the multifidus is important for the analysis of normal and pathologic conditions.

Adult↗

Implantable stimulator for selective stimulation of the common peroneal nerve: a preliminary report.

We present details of the modelling, design, and experimental testing of an implantable system with a monopolar half-cuff electrode for selective stimulation of fibres within certain superficial regions of the human common peroneal nerve which is capable of making a selective activation of muscles, thus contributing to strong dorsal flexion and moderate eversion of the hemiplegic foot. The development of the cuff electrode was based partly on data obtained from histological examination of human common peroneal nerves, and from previously described models of excitation of myelinated nerve fibres. The modelling objectives were to determine the electric field that would be generated within the deep peroneal branch of the nerve by a monopolar half-cuff electrode installed on the nerve behind the lateral head of the fibula. The extent of initial excitation of the nerve fibres within the superficial region of the deep peroneal branch elicited by a monopolar half-cuff electrode was predicted. In the past 6 months two systems were implanted. In both patients significant improvements of gait dynamics were observed.

Action Potentials↗

Prediction of bacterial protein-compound interactions with only positive samples.

MOTIVATION: Prediction of Compound-Protein Interactions (CPI) in bacteria is crucial to advance various pharmaceutical and chemical engineering fields, including biocatalysis, drug discovery, and industrial processing. However, current CPI models cannot be applied for bacterial CPI prediction due to the lack of curated negative interaction samples. RESULTS: We propose a novel Positive-Unlabeled (PU) learning framework, named BIN-PU, to address this limitation. BIN-PU generates pseudo positive and negative labels from known positive interaction data, enabling effective training of deep learning models for CPI prediction. We also propose a weighted positive loss function that weights to truly positive samples. We have validated BIN-PU coupled with multiple CPI backbone models, comparing the performance with the existing PU models using bacterial cytochrome P450 (CYP) data. Extensive experiments demonstrate the superiority of BIN-PU over the benchmark models in predicting CPIs with only truly positive samples. Furthermore, we have validated BIN-PU on additional bacterial proteins obtained from literature review, human CYP datasets, and uncurated data for its reproducibility. We have also validated the CPI prediction for the uncurated CYP data with biological and biophysical experiments. BIN-PU represents a significant advancement in CPI prediction for bacterial proteins, opening new possibilities for improving predictive models in related biological interaction tasks. AVAILABILITY AND IMPLEMENTATION: The source code and data are available at https://github.com/datax-lab/CYP.

Bacterial Proteins↗

Artificial Intelligence for Natural Products Discovery and Development.

Natural products (NPs) remain a cornerstone of modern drug discovery, offering stereochemical complexity and diverse bioactivities that precisely modulate therapeutic targets, refined through billions of years of evolution. However, their research has long been hindered by inefficient, empirical workflows, high resource consumption, structural complexity, and the "multicomponent, multi-target" nature of their mechanisms. The exponential growth of genomic, metabolomic, and spectral data has overwhelmed conventional analytical methods, exposing critical bottlenecks in handling high-dimensional, heterogeneous datasets that exceed human interpretive capacity. Artificial intelligence (AI) is emerging as a transformative paradigm to address these challenges, integrating multi-omics and chemical data to shift NP research from fragmented empiricism toward mechanism-driven, precision-oriented development. By leveraging deep learning architectures- including graph neural networks, Transformers, and diffusion-based generative models-AI enables systematic decoding of NP biosynthesis, automated structure elucidation, rational target identification, knowledge extraction from vast unstructured scientific literature, and de novo molecular design. This review comprehensively surveys recent advances in AI applications across the full NP discovery and development pipeline, encompassing genome mining, structure-based and ligand-based virtual screening, multimodal structural characterization, lead optimization, and biosynthetic pathway engineering. We further examine the emerging roles of protein-centric, molecule- centric, and multimodal foundation models, as well as large language models, in bridging genotype-to-chemotype gaps and unlocking unstructured scientific knowledge. Finally, we discuss critical challenges including data scarcity, representational limitations for complex stereochemistry, physical plausibility in generative models, and the urgent need for experimental validation, while outlining future directions toward autonomous experimentation, closed-loop optimization, and human-AI collaborative discovery.

Artificial intelligence↗

Effect of cooling on alpha-1 and alpha-2 adrenergic responses in canine saphenous and femoral veins.

Experiments were designed to determine the effects of cooling on alpha-1 and alpha-2 adrenergic responses in isolated canine veins. Rings of saphenous and femoral veins were suspended for isometric tension recording in modified Krebs-Ringer bicarbonate solution, gassed with 95% O2 and 5% CO2. Cooling (from 37-24 degrees C) augmented contractions to norepinephrine in saphenous but caused depression in femoral veins. Cooling (to 24 degrees C) had no effect on alpha-1 adrenergic responses evoked by phenylephrine in saphenous veins but caused depression in femoral veins. Alpha-2 adrenergic responses produced by UK 14,304 were augmented by cooling in the saphenous but were virtually abolished by cooling in femoral veins. Cooling decreased the dissociation constant (i.e., increased affinity) of corynanthine for alpha-1 adrenoceptors in saphenous and femoral veins (approximately 3-fold), and the dissociation constant of rauwolscine for alpha-2 adrenoceptors in saphenous veins (approximately 7.5-fold). The influence of cooling on alpha adrenoceptor responsiveness was analyzed using computer-generated receptor-models. The results suggest that the differential sensitivity of cutaneous and deep blood vessels to cooling results from differences in efficiency of alpha-1 and alpha-2 adrenoceptor response coupling. In the saphenous vein, there is a large alpha-1 adrenoceptor reserve which buffers the alpha-1 adrenergic response from the inhibitory influence of cooling. This coupled with a cooling-induced increase in alpha-2 adrenoceptor affinity ensures that cooling augments the response to norepinephrine. In the femoral vein, there is no alpha-1 adrenoceptor reserve and cooling therefore depresses alpha-1 adrenergic responses.(ABSTRACT TRUNCATED AT 250 WORDS)

Animals↗

Martian CH(4): sources, flux, and detection.

Recent observations have detected trace amounts of CH(4) heterogeneously distributed in the martian atmosphere, which indicated a subsurface CH(4) flux of ~2 x 10(5) to 2 x 10(9) cm(2) s(1). Four different origins for this CH(4) were considered: (1) volcanogenic; (2) sublimation of hydrate- rich ice; (3) diffusive transport through hydrate-saturated cryosphere; and (4) microbial CH(4) generation above the cryosphere. A diffusive flux model of the martian crust for He, H(2), and CH(4) was developed based upon measurements of deep fracture water samples from South Africa. This model distinguishes between abiogenic and microbial CH(4) sources based upon their isotopic composition, and couples microbial CH(4) production to H(2) generation by H(2)O radiolysis. For a He flux of approximately 10(5) cm(2) s(1) this model yields an abiogenic CH(4) flux and a microbial CH(4) flux of approximately 10(6) and approximately 10(9) cm(2) s(1), respectively. This flux will only reach the martian surface if CH(4) hydrate is saturated in the cryosphere; otherwise it will be captured within the cryosphere. The sublimation of a hydrate-rich cryosphere could generate the observed CH(4) flux, whereas microbial CH(4) production in a hypersaline environment above the hydrate stability zone only seems capable of supplying approximately 10(5) cm(2) s(1) of CH(4). The model predicts that He/H(2)/CH(4)/C(2)H(6) abundances and the C and H isotopic values of CH(4) and the C isotopic composition of C(2)H(6) could reveal the different sources. Cavity ring-down spectrometers represent the instrument type that would be most capable of performing the C and H measurements of CH(4) on near future rover missions and pinpointing the cause and source of the CH(4) emissions.

Atmosphere↗

Rapid knot detection and application to protein structure prediction.

MOTIVATION: Knots in polypeptide chains have been found in very few proteins, and consequently should be generally avoided in protein structure prediction methods. Most effective structure prediction methods do not model the protein folding process itself, but rather seek only to correctly obtain the final native state. Consequently, the mechanisms that prevent knots from occurring in native proteins are not relevant to the modeling process, and as a result, knots can occur with significantly higher frequency in protein models. Here we describe Knotfind, a simple algorithm for knot detection that is fast enough for structure prediction, where tens or hundreds of thousands of conformations may be sampled during the course of a prediction. We have used this algorithm to characterize knots in large populations of model structures generated for targets in CASP 5 and CASP 6 using the Rosetta homology-based modeling method. RESULTS: Analysis of CASP5 models suggested several possible avenues for introduction of knots into these models, and these insights were applied to structure prediction in CASP 6, resulting in a significant decrease in the proportion of knotted models generated. Additionally, using the knot detection algorithm on structures in the Protein Data Bank, a previously unreported deep trefoil knot was found in acetylornithine transcarbamylase. AVAILABILITY: The Knotfind algorithm is available in the Rosetta structure prediction program at http://www.rosettacommons.org.

Algorithms↗

Diagnostics and a qualitative model.

First generation expert systems were using shallow knowledge based on heuristic information to solve a diagnostic problem. This approach has many disadvantages, which can be avoided by using deep knowledge. Diagnostic reasoning based on deep knowledge is called model-based diagnostics. Recently, the use of qualitative modeling in relation to deep knowledge in expert systems has become increasingly important. The main purpose of our contribution is to present the model-based diagnostic approach at a formal level. The originality of the presented formalization is the concept of the diagnostic space, the characterization of the minimal diagnoses, and the measurement. The formalization serves as the theoretical background to prove our view to the design of qualitative system models and to establish the diagnostic architecture called DISY. The qualitative system model in our diagnostic approach needs not to be specially adopted for use in the diagnostic domain. The only requirement is that it must simulate the system behavior expressed by normal or abnormal functioning of its components. Proposed DISY architecture is not complex and simply takes into an account the previous diagnostic result to obtain a new one from the additional observation-measurement (medical tests or examinations) of the system.

Decision Support Techniques↗