programmation logique
Modérateur : Modérateurs
-
- Messages : 4
- Inscription : 11/09/2008 - 12:54:19
- Localisation : face o pc
programmation logique
bonjour tt l monde
alors concernant la programmation logique, je veux réaliser un prouveur automatique en utilisant la methode de résolution de Robinson.
si quelqu'un veut m'aider, merci
alors concernant la programmation logique, je veux réaliser un prouveur automatique en utilisant la methode de résolution de Robinson.
si quelqu'un veut m'aider, merci
Victor a écrit :Peux tu définir tes mots "Programmation logique" "prouveur" etc. tu dois être canadien parce que je ne vois pas "programmation" c'est toujours basé sur la logique? Non! Et "prouveur" je ne vois pas ce que tu veux dire, un test ?
Idem. Un petit effort de définition s'impose. Si tu as du mal, fais-nous un lien à des sites qui présentent ce sujet.
Cherche par exemple dans ces sites :
"prouver formel" :
http://www.google.fr/search?hl=fr&q=pro ... r&aq=f&oq=
"prouver automatique" : http://www.google.fr/search?hl=fr&newwi ... %7Clang_fr
"prouveur automatique robinson" : http://www.google.fr/search?hl=fr&newwi ... %7Clang_fr
ahhhh ! t'as déjà posé ta question ailleurs !
Dernière modification par Stardust le 11/09/2008 - 20:10:52, modifié 1 fois.
- Ze Venerable
- Messages : 1222
- Inscription : 06/09/2006 - 2:20:41
- Activité : Autre
Je pense qu'il est question de ça : http://www.lama.univ-savoie.fr/~saber/calcul-pro.pdf (page 8)
c'est une technique à base de graphe pour vérifier la véracité d'affirmations logiques si j'ai bien compris
c'est une technique à base de graphe pour vérifier la véracité d'affirmations logiques si j'ai bien compris
-
- Messages : 4
- Inscription : 11/09/2008 - 12:54:19
- Localisation : face o pc
oui c ca ze venerable.
programmation logique: http://fr.wikipedia.org/wiki/Programmation_logique
prouveur: c'est ce que je veux realiser, en fait ca sera un pti programme qui utilise la méthode de resolution de Robinson (http://www.lama.univ-savoie.fr/~saber/calcul-pro.pdf (page 8) ) pour prouver des formules (des clauses en terme technique) données comme entrée.
je ne vois pas pourquoi je devais etre canadien!!
programmation logique: http://fr.wikipedia.org/wiki/Programmation_logique
prouveur: c'est ce que je veux realiser, en fait ca sera un pti programme qui utilise la méthode de resolution de Robinson (http://www.lama.univ-savoie.fr/~saber/calcul-pro.pdf (page 8) ) pour prouver des formules (des clauses en terme technique) données comme entrée.
je ne vois pas pourquoi je devais etre canadien!!
- Ze Venerable
- Messages : 1222
- Inscription : 06/09/2006 - 2:20:41
- Activité : Autre
-
- Messages : 4
- Inscription : 11/09/2008 - 12:54:19
- Localisation : face o pc
-
- Messages : 4
- Inscription : 11/09/2008 - 12:54:19
- Localisation : face o pc