Le processus de calcul des modèles d'une théorie ou d'une spécification qui sont minimaux au sens de l'inclusion d'ensembles ou d'un ordre donné, souvent destiné à capturer des solutions canoniques, parcimonieuses ou attendues parmi plusieurs modèles.

Principe

Sélectionner les modèles qui ne contiennent proprement aucun autre modèle (ou qui sont minimaux selon un ordre choisi), selon l'intuition que la minimalité correspond à la parcimonie ou à l'interprétation attendue dans le domaine cible.

Démonstration

Calculer les modèles de Herbrand minimaux d'un programme logique définit pour obtenir l'ensemble minimal d'atomes ground impliqués par le programme, ou calculer des réparations minimales d'une base de données incohérente en choisissant des tuples dont la suppression rend la base cohérente avec un changement minimal.

Mauvaise application

Supposer que les modèles minimaux représentent toujours la sémantique voulue lorsque le domaine requiert la maximalité, des préférences par défaut ou un pondération probabiliste ; l'appui sur la minimalité peut exclure des comportements légitimes ou surcontraindre les solutions.

Conséquence

Fournit des solutions canoniques, souvent uniques dans des contextes monotones (par ex. le plus petit modèle de Herbrand) et soutient des sémantiques non monotones où la minimalité encode des hypothèses par défaut, mais peut produire plusieurs modèles minimaux incomparables nécessitant des critères de sélection complémentaires.

Inversion

La sélection de modèles maximaux ou l'acceptation arbitraire de modèles : choisir les modèles les plus grands ou n'importe quel modèle sans préférence supprime le biais de parcimonie et peut capturer des alternatives que l'approche minimale exclut.

Limite

Dépend de l'ordre choisi (inclusion d'ensembles, cardinalité, coût pondéré) ; plusieurs modèles minimaux peuvent exister ; la complexité computationnelle peut être élevée (par ex. problèmes NP/co‑NP durs) et la minimalité peut être dépourvue de sens s'il n'existe pas d'ordre naturel.

Tension sémantique

Entre parcimonie (minimalité) et richesse explicative : les modèles minimaux privilégient la brièveté et l'évitement d'hypothèses, tandis que des modèles plus riches peuvent mieux expliquer des données observées ou être plus robustes au bruit.

Synthèse

Le calcul de modèles minimaux isole les plus petits modèles selon un ordre spécifié pour fournir des solutions compactes et canoniques aux tâches de raisonnement et de réparation ; son utilité dépend de l'adéquation entre la minimalité et la notion d'intention du domaine ainsi que de la gestion de la multiplicité et de la complexité en pratique.