Hypothèse du monde clos

Hypothèse du monde clos

La notion d'hypothèse de monde clos est utilisée en particulier en Prolog, elle s'oppose à l'hypothèse de monde ouvert (voir aussi l'article Logique argumentative) et concerne la question du vrai et du faux.

Elle signifie qu'un fait est considéré comme faux si, en un temps fini, on échoue à montrer qu'il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l'hypothèse de monde clos ne dit rien de particulier.

Avec l'hypothèse de monde clos, l'univers des faits se partage entre les faits 'vrai' prouvables en temps fini et tout le reste, assimilé au faux (pour ce qui est accessible en temps fini). Outre la question de la terminaison, cela impose une utilisation du 'faux' avec précaution. Autant le 'vrai' est fort (il ne dépend que de la base de faits et de règles initiale acceptée et du mode d'inférence adopté), autant le 'faux' dépend de l'exhaustivité de la base de faits et de la complétude de la base de règle (2 notions délicates à obtenir)

Sommaire

Exemples

Exemple correct

En Prolog, par exemple, on peut décrire les nombres binaires par :

 nombreBinaire([0]). 
 nombreBinaire([1|L]):-suiteDeZeroOuUn(L).
 
 zeroOuUn(0).
 zeroOuUn(1).
 
 suiteDeZeroOuUn([]).
 suiteDeZeroOuUn([E|L]):- zeroOuUn(E), suiteDeZeroOuUn(L).

Ce qui permet de vérifier que '1001' est un nombre binaire, mais que '2010' n'est pas un nombre binaire.

Exemple à prendre avec précaution

En Prolog, à un instant donné, on peut décrire une famille par :

 père(tom, sally).
 père(tom, erica).
 mère(trude, sally).
 mère(steph, erica).
 
 parent(X,Y) :- père(X,Y).
 parent(X,Y) :- mère(X,Y).

ce qui permet de déduire que Tom est parent de Sally et Erica. Mais ce qui semble signifier que Tom n'a pas de parent ... (!)

Notions connexes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Hypothèse du monde clos de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Hypothèse du monde ouvert — En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d une affirmation ne dépend pas de la connaissance d un agent ou d un observateur. Elle s oppose à l hypothèse du monde clos, dans laquelle l absence d …   Wikipédia en Français

  • Huis-clos — Pour les articles homonymes, voir Huis clos (homonymie). Huis clos Auteur Jean Paul Sartre Genre Pièce de théatre Pays d origine …   Wikipédia en Français

  • Huis clos — Pour les articles homonymes, voir Huis clos (homonymie). Huis clos Auteur Jean Paul Sartre Genre Pièce de théatre Pays d origine …   Wikipédia en Français

  • LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… …   Encyclopédie Universelle

  • Prolog — Pour les articles homonymes, voir Prolog (homonymie). Prolog Apparu en 1972 Auteur …   Wikipédia en Français

  • ISO 13211-1 — Prolog Pour les articles homonymes, voir Prolog (homonymie). Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers… …   Wikipédia en Français

  • Négation par l'échec — La négation par l échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l échec de la dérivation de p. C est… …   Wikipédia en Français

  • PROLOG — Pour les articles homonymes, voir Prolog (homonymie). Prolog est l’un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le… …   Wikipédia en Français

  • Bénéfice de la science — Science Pour les articles homonymes, voir Science (homonymie). Prométhée apportant le feu a …   Wikipédia en Français

  • Confiance en la science — Science Pour les articles homonymes, voir Science (homonymie). Prométhée apportant le feu a …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”