1. Why This Matters
Modern AI systems rely heavily on massive, black-box deep learning architectures (like Transformers, GPT-4, and DeepSeek) which excel at processing complex, multimodal data. However, these systems often suffer from poor interpretability, lack of formal verification, and a reproducibility crisis.
To build robust, explainable AI agents and cooperative multi-agent systems, we need a rigorous mathematical foundation. Model Theory in mathematical logic offers exact structures to define functions, constants, and relations. Yet, there is a major bottleneck: in standard model theory, combining multiple smaller, verified models into a larger system (via union operations) is generally not closed. This means that combining two models can result in invalid states where functions yield outputs outside the combined system's domain.
2. The Big Idea
Instead of forcing strict, rigid boundaries during model combination—which limits flexibility and prevents real-time data sharing—the authors propose Domain Mapping Functions. By decomposing a model's domain into distinct subsets (constants, variable definitions, and function ranges), we can mathematically define how one model's outputs are translated and safely imported into another model's input domain. This formalizes cross-model communication and ensures logical consistency without requiring the models to be identical or fully merged.
3. How It Works
A. Domain Decomposition
To establish mapping rules, we must first break down a model's master domain $M$ into structured sub-domains. A model $\mathcal{M}$ is defined as a tuple:
We decompose the master domain $M$ into:
- Constant Domain ($M_C$): Contains individual constants and logical values $\{T, F\}$.
- Definition Domain ($M_D$): The valid range of input variables, further split into relation definitions ($M_{DR}$) and function definitions ($M_{DF}$).
- Range Domain ($M_R$): The set of all possible outputs produced by the model's functions.
B. The Domain Mapping Function
When Model 1 ($\mathcal{M}_1$) needs to utilize data processed by Model 2 ($\mathcal{M}_2$), we define a mapping function $F_{M_2 \to M_1}$ that maps a subdomain of $\mathcal{M}_2$ to a subdomain of $\mathcal{M}_1$:
Depending on how these subdomains overlap, we face three distinct cases:
$M_{2p} \subseteq M_{1k}$
The source range fits entirely inside the target's definition. Data can be referenced directly without modification.
$M_{2p} \supset M_{1k}$
The source range exceeds the target's capacity. A compression function $F_{\text{comp}}$ is required to prevent out-of-bounds errors.
$M_{2p} \cap M_{1k} = \emptyset$
No direct intersection exists. A "domain data proxy" is designated to translate elements (e.g., mapping strings to IDs).
Interactive Domain Mapping Playground
Simulate the mathematical transformation of values from Model 2 (Source) to Model 1 (Target). Toggle the mapping strategies to see how they protect Model 1 from logical domain exceptions.
4. Topology & Stability
While domain mapping functions offer immense flexibility, introducing them into multi-model systems can lead to structural hazards. In model composition, systems are usually structured as:
- Model Chains: An ascending hierarchy where data flows unidirectionally from lower-level models to higher-level models ($\mathcal{M}_0 \subseteq \mathcal{M}_1 \subseteq \dots \subseteq \mathcal{M}_\gamma$).
- Model Trees: Branching hierarchies where submodels feed into parent models.
- Model Networks: Arbitrary graph configurations of interacting models.
The Threat of Circular References: If a low-end model ($\mathcal{M}_i$) references domain data from a high-end model ($\mathcal{M}_j$, where $i < j$) via a mapping function, it creates a feedback loop. This data cycle acts like positive feedback in control systems, leading to system instability and undetermined mathematical states.
Topology & Loop Detection Simulator
Build a custom mapping configuration. Add links between models in the chain and run the stability analyzer to detect circular dependencies.
Add Domain Mapping
Active Mapping Links
Practical Demo: Fuzzy-to-Binary Mapping
The paper highlights a real-world example: mapping a continuous fuzzy logic model (outputting membership degree $\mu_A \in [0, 1]$) into a binary logic model's strict input domain $\{0, 1\}$. Adjust the threshold to see how continuous fuzzy values are mapped to binary decisions.
If $\mu_A < \theta \implies \text{Binary Input } 0$
5. Limitations & Open Questions
While the domain mapping function method provides a solid theoretical blueprint for safe, flexible model composition, several questions and practical engineering hurdles remain:
- Information Loss during Compression: When Case 1.2 ($M_{2p} \supset M_{1k}$) is resolved using a compression function ($F_{\text{comp}}$), the model inevitably loses data granularity. How this information loss impacts the downstream reasoning capabilities of the parent model is still unquantified.
- Manual Proxy Design: Setting up domain data proxies (Case 2) currently requires manual configuration and semantic alignment between non-intersecting systems. Automating this proxy generation using modern semantic web technologies or large language models remains an open challenge.
- Dynamic Topology Overhead: In highly dynamic multi-agent environments where models join and leave the network on the fly, running continuous cycle-detection algorithms to prevent circular reference risks could introduce significant performance overhead.
6. Glossary
Model Theory
A branch of mathematical logic that investigates the relationship between formal languages (syntactic rules and formulas) and their interpretations or structures (the semantic models that make those formulas true).
Domain (Model Domain)
The non-empty universe of discourse or set of all objects/values that a model's logical variables, constants, functions, and relations can reference or operate upon.
Circular Reference
A structural hazard in model compositions where a downstream or low-end model utilizes mapping functions to reference data from an upstream or high-end model, creating a feedback loop that threatens stability.
7. Citation
@article{liu2025model,
title={Model Domain Mapping Function and Its Role in Model Composition},
author={Liu, Zhimo and Chen, Zhen and Wang, Xiaoshan and Liu, Hui},
journal={ChinaXiv Preprint},
volume={chinaxiv-202511.00057},
year={2025}
}