Modele ecurie

L`ensemble de $ kappa $ tel que $ T $ est $ kappa $-stable est appelé le spectre de stabilité de $ T $. Dans le livre de Poizat, modèle de théorie introductive (dans le chapitre $13 pm $1?), les spectres de stabilité possibles sont classés. Il s`avère que le spectre de stabilité de $ T $ dépend de $ lambda $, le plus petit Cardinal tel que $ T $ est $ lambda $-stable, et $ kappa $, le plus petit Cardinal $ kappa $ qui fonctionne dans la propriété de caractère local de bifurquer. (C`est-à-dire, $ kappa $ est le plus petit Cardinal avec la propriété que si $ a $ est un tuple fini et $ C $ est un ensemble, puis il ya un certain $ C` sous-TEQ C $ avec $ | C` | < kappa $ tel que $ a downarrow_{C`} C $.) Quelqu`un devrait ajouter le bon énoncé du théorème ici. Les théories stables sont une classe de théories généralisant des théories fortement minimales, des théories catégoriques incalculables, et des théories totalement transcendantales. Les théories stables sont le principal objectif de la théorie de la stabilité. La sémantique de modèle stable (SM) a été introduite par Gelfond et Lifschitz [18] comme un outil pour fournir une sémantique pour des programmes logiques avec la négation. leur proposition initiale est maintenant l`une des sémantiques standard pour les programmes logiques. Nous rappelons maintenant la définition du modèle propositionnel stable. Pour le formalisme SM, nous considérons le programme comme la base de connaissances.

Nous écrivons pour indiquer que la requête est implicite par un programme logique sous la sémantique de modèle stable. @INPROCEEDINGS {Gelfond88thestable, Author = {Michael Gelfond et Vladimir Lifschitz}, title = {la sémantique du modèle stable pour la programmation logique}, BookTitle = {}, Year = {1988}, pages = {1070–1080}, Editeur = {MIT Press}} où A, B 1,…, B m, C 1,…, C n { DisplayStyle A, b_ {1}, dots, b_ {m}, _ _ {1}, dots, c _ {n}} sont des atomes. Une extension simple permet aux programmes de contenir des contraintes — règles avec la tête vide: les contraintes jouent un rôle important dans la programmation des jeux de réponses, car l`ajout d`une contrainte à un programme logique P {displaystyle P} affecte la collection de modèles stables de P { DisplayStyle P} d`une manière très simple: il élimine les modèles stables qui violent la contrainte. En d`autres termes, pour tout programme P {displaystyle P} avec des contraintes et toute contrainte C {displaystyle C}, les modèles stables de P ∪ {C} {displaystyle Pcup {C}} peuvent être caractérisés comme des modèles stables de P {displaystyle P} qui satisfont C {displaystyle C}. Le concept d`un modèle stable, ou jeu de réponses, est utilisé pour définir une sémantique déclarative pour les programmes logiques avec négation comme échec. Il s`agit d`une des approches standard de la signification de la négation dans la programmation logique, ainsi que l`achèvement du programme et la sémantique bien fondée. La sémantique de modèle stable est la base de la programmation de jeu de réponses. Si $ T $ est stable et $ A, B, C $ sont des sous-ensembles du monstre, il y a une notion canonique de ce que cela signifie pour $ A $ et $ B $ pour être indépendant sur $ C $, dénoté $ A downarrow_C B $. Il existe une notion étroitement liée, celle d`une «extension non-bifurquant» de types complets: $ operatorname{TP} (a/BC) $ est une extension non-bifurquer de $ operatorname{TP} (a/C) $ if $ a downarrow_C B $, et est une extension de bifurquer de $ operatorname{TP} (a/C) $ sinon.