Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 1907.05529

A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

Leo Marcus
View original source ↗Read source document ↗Export metadata ↓

Abstract

We present a method for logical specification of the behavior of a system based on the specification of its components and for representing and specifying the effect of a class of communication "signaling pathways" among them. Variations in the actions and effects (semantics) of the pathways can be seen in the resulting system. We show how to "enrich" the behavior of the original components by exactly what is provided by the signaling pathways. This has the potential to allow a formal proof of a property of the system as a whole, or a formal diagnosis why a system of communicating modules may not satisfy a desired specification, and if and how it can be "fixed." There are five distinct stages in our view: 1. A description of the connections between potential components at the level of which potential modules are connected. 2. Specific choices for those modules 3. An "elaboration" of the connections among different modules to connections among members of those different modules 4. A description of the semantics of those connections (what they actually do) 5. A "padding" of the modules chosen in step 2 to allow for the action of the connections (step 3), as described in step 4. The formalism is completely hierarchical -- in other words, the formalism works equally for the system as a whole, for each of the modules, and for any larger system in which the original system is a component. As it turns out, for whatever reason -- perhaps evolutionary advantage optimization at the right level of abstraction -- many biological systems are hierarchically modular, with the modules communicating via various pathways. Thus, a formalism such as the one presented here could have application to questions in biology.

Explore related subjects

q-bio.OT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leo Marcus. 2019-09-05. A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems. https://arxiv.org/abs/1907.05529

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

MarkerScout: A Disease-Agnostic Machine Learning Framework for Biomarker Prediction from Multi-Scale Mechanistic Models

We demonstrate the framework on three infectious diseases derived from a companion mechanistic immune-simulation platform: SARS-CoV-2, Influenza A Virus, and Plasmodium falciparum. Each disease was evaluated across hospitalization and intensive care unit cohorts, yielding six cohorts in total. Best-pipeline cross-validated macro F1 ranged from 0.82 for IAV-HOSP to 0.99 for COV-ICU, and the framework produced tiered, direction-aware biomarker lists for each disease and phase. Interleukin-18 (IL-18) reached the strongest tier in both SARS-CoV-2 phases with consistent direction. When benchmarked against three separate, independently collected clinical ICU datasets, MarkerScout's top-ranked features outperformed 94.4% of randomly selected feature sets of equivalent size for SARS-CoV-2, with a weaker but directionally consistent advantage for Influenza A Virus (66.7%) and Plasmodium falciparum (60.7%).

q-bio.OT↗
arXiv2026

Enhancing Clinical Decision Support and Differential Diagnosis with Knowledge Graphs, and Retrieval Augmented Generation in Generative AI

Diagnostic error carries a burden, while unconstrained large language models (LLMs) remain vulnerable to hallucination and weak integration of quantitative laboratory dynamics. We developed a decision-support pipeline combining disease-specific biomarker correlation graphs, ordinary differential equations (ODEs), deep sequence classification, and retrieval-augmented generation (RAG). For 103 disease classes from a full blood count (FBC) repository, biomarker networks were used as coupling matrices to generate 30 trajectories per disease (3,090 total). A one-dimensional convolutional neural network (CNN) and long short-term memory (LSTM) network classified disease trajectories and six dynamical clusters. A constrained GPT-4o-mini RAG layer used a 19-pattern BMJ Best Practice/NICE corpus to generate differential diagnoses evaluated for diagnostic suitability, evidential grounding, and clinical plausibility. Across five random-seed runs, disease-level accuracy was $0.940 \pm 0.006$ for the CNN (95\% CI 0.933--0.948) and $0.852 \pm 0.019$ for the LSTM (95\% CI 0.828--0.875); the CNN advantage was 8.87 percentage points (95\% CI 6.47--11.27; $t(4)=10.26$, $p=5.1\times10^{-4}$; Hedges' $g=3.67$). Among 100 sampled RAG cases, 96 parsed successfully; evidence was cited in 97.9\%, the true diagnosis was mentioned in 71.9\%, and the composite score was 3.82/5 with a 47.9\% strict pass rate. The central finding was a decoupling between grounding and diagnostic correctness: classifier-correct versus classifier-wrong outputs differed in diagnostic suitability but not evidential grounding. Post-hoc analysis confirmed a 1.02-point diagnostic-score difference (Mann--Whitney $p=0.0024$; Hedges' $g=0.72$), whereas grounding differed by only $-0.02$ points ($p=0.839$; $g=-0.04$).

q-bio.OT↗
arXiv2026

Expanding the Human Ancestry Ontology to include under-represented populations and ethnicities for broader utility in annotations

Successful discovery, integration and reuse of data relies on the availability of rich, well-structured and machine-readable metadata to describe every aspect of the data, from sample sources to collection processes to experimental protocols. The use of standardised terminologies to express concepts in a harmonised fashion lies at the core of high-quality data annotation, increasing the FAIRness of the data, facilitating data integration and promoting reproducibility. Here, we describe the Human Ancestry Ontology (HANCESTRO), originally developed to improve standardised reporting of genetic ancestry genomic resources such as the NHGRI-EBI GWAS Catalog and the Human Cell Atlas through high-level population descriptors, and more recently expanded to include diverse and previously under-represented populations in genomics and genetics research. HANCESTRO provides a framework for population descriptors that includes both ancestry based on the analysis of genetic information and self-reported ethnicity, which is based on social and cultural factors that don't necessarily align with genetic populations. By enabling the accurate and interoperable representation of population-related data, it promotes inclusive, representative and reproducible science.

q-bio.OT↗