##  [Explosion de Modèles](/fr/node/61054) 

 Définition

Un phénomène, en spécification formelle et logique, où le nombre, la taille ou la complexité structurelle des modèles satisfaisants croît très rapidement (souvent de façon combinatoire ou exponentielle) quand la taille d'entrée, le vocabulaire ou les contraintes changent légèrement.

 

 

 

 

 

 





## Principe

Principe

De petites extensions de la signature (prédicats, constantes ou relations supplémentaires), l'assouplissement des contraintes ou l'augmentation de la taille du domaine peuvent multiplier l'ensemble des interprétations qui satisfont une théorie, entraînant une explosion du nombre de modèles ou de la taille représentationnelle qui submerge les méthodes énumératives ou constructives.

 

 

 

 

 





## Démonstration

Démonstration

En logique propositionnelle, l'ajout de quelques variables à une formule satisfaisable peut doubler ou accroître exponentiellement le nombre d'attributions satisfaisantes. En conception d'ontologie, la suppression d'un axiome restrictif peut permettre une famille exponentielle de modèles différant par des relations optionnelles ; un scénario concret est un modèle à nombreux points de choix indépendants donnant 2^n modèles distincts.

 

 

 

 

## Mauvaise application

Mauvaise application

Attribuer tout coût combinatoire observé dans les systèmes de raisonnement à l'explosion de modèles sans vérifier si des contraintes ou techniques de bris de symétrie n'élaguent pas déjà la recherche ; ou confondre l'explosion de modèles avec une simple inefficacité d'implémentation.

 

 

 

 

 





## Conséquence

Conséquence

L'explosion de modèles impose l'usage de représentants symboliques, paramétriques ou canoniques, la réduction des symétries, l'abstraction ou l'échantillonnage probabiliste plutôt que l'énumération complète ; elle influence la conception des outils et le choix des langages ou fragments employés en pratique.

 

 

 

 

## Inversion

Inversion

L'inverse — que les modèles restent toujours clairsemés et en nombre polynomial sous de petits changements — permettrait l'énumération exhaustive des modèles et des vérifications de complétude simples pour de nombreuses tâches qui exigent aujourd'hui des approximations ou heuristiques.

 

 

 

 

 





## Limite

Limite

Se produit selon les caractéristiques du langage, les cardinalités autorisées et l'interaction des contraintes ; elle n'affecte pas universellement tous les langages formels et peut être atténuée par des restrictions comme les fragments gardés, l'arité limitée ou l'hypothèse des noms uniques.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Est en concurrence avec les notions de complexité au pire cas et de comportement moyen : l'explosion de modèles décrit une croissance combinatoire de l'espace de solutions, qui peut ne pas coïncider avec la difficulté algorithmique si les solveurs exploitent la structure ; la tension apparaît lorsqu'il s'agit de traiter l'explosion comme inhérente ou évitable.

 

 

 

 

 





## Synthèse

Synthèse

L'Explosion de Modèles est l'essor combinatoire du nombre ou de la complexité des structures satisfaisantes déclenché par de petits changements syntaxiques ou du domaine ; comprendre ses causes oriente les concepteurs vers des restrictions représentationnelles et des techniques algorithmiques évitant l'énumération brute.