Procédure de David-Putnam
- Procédure de David-Putnam
-
Algorithme de Davis-Putnam
En calcul propositionnel, l'algorithme de Davis-Putnam est une méthode de détermination de la satisfiabilité d'une formule en forme normale conjonctive, c'est-à-dire une conjonction de clauses (disjonctions de littéraux). Il a été développé par Martin Davis et Hilary Putnam.
Algorithme
- pour chaque variable dans la formule
- pour chaque clause C contenant la variable et chaque clause N contenant la négation de cette variable
- résoudre C et N et ajouter la solution à la formule
- retirer les clauses contenant la variable ou sa négation
Algorithme récursif
DP(T)
- Si T est vide alors retourner
Vrai
- Si T est la clause vide alors retourner
Faux
- Choisir une variable Xi dans T
- retourner
Voir aussi
Portail de la logique
Portail de l’informatique
Catégories : Algorithme | Logique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Procédure de David-Putnam de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Hilary Putnam — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE name = Hilary Whitehall Putnam birth = July 31, 1926 flagicon|USA|size=20px Chicago, Illinois school tradition = Analytic main interests = Philosophy of … Wikipedia
Hilary Putnam — Retrato de Putnam. Hilary Whitehall Putnam (nacido el 31 de julio de 1926, en Chicago (Illinois)) es u … Wikipedia Español
Hilary Putnam — Pour les articles homonymes, voir Putnam. Hilary Putnam Philosophe Époque contemporaine … Wikipédia en Français
Hilary Whitehall Putnam — Hilary Putnam Pour les articles homonymes, voir Putnam. Hilary Putnam Philosophe Époque contemporaine … Wikipédia en Français
Amelia Earhart — Earhart redirects here. For the asteroid, see 3895 Earhart. Amelia Earhart Amelia Earhart … Wikipedia
Library of Congress — For the 1945 documentary film, see Library of Congress (film). Library of Congress … Wikipedia
United States — a republic in the N Western Hemisphere comprising 48 conterminous states, the District of Columbia, and Alaska in North America, and Hawaii in the N Pacific. 267,954,767; conterminous United States, 3,022,387 sq. mi. (7,827,982 sq. km); with… … Universalium
110th United States Congress — United States Capitol (2007) Duration: January 3, 2007 – January 3, 2009 Senate President: Dick Cheney (R) … Wikipedia
science, philosophy of — Branch of philosophy that attempts to elucidate the nature of scientific inquiry observational procedures, patterns of argument, methods of representation and calculation, metaphysical presuppositions and evaluate the grounds of their validity… … Universalium
Glossary of ancient Roman religion — This is an incomplete list, which may never be able to satisfy particular standards for completeness. You can help by expanding it with reliably sourced entries. Ancient Roman religion … Wikipedia
