programmation logique

Pour parler math...

Modérateur : Modérateurs

Répondre
shawky7287
Messages : 4
Inscription : 11/09/2008 - 12:54:19
Localisation : face o pc

programmation logique

Message par shawky7287 » 11/09/2008 - 12:59:49

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

Avatar de l’utilisateur
buck
Messages : 5094
Inscription : 02/12/2006 - 13:22:55
Activité : Ingénieur
Localisation : Graz

Message par buck » 11/09/2008 - 13:14:43

Salut
La le soucis n'est pas de vouloir mais de pouvoir, et ce n'est pas mon cas, desole
"Le soleil, avec toutes ces planetes qui gravitent sous sa gouverne, prend encore le temps de murir une grappe de raisin, comme s'il n'y avait rien de plus important. " Galilee

Victor
Messages : 17712
Inscription : 05/06/2006 - 21:30:44
Activité : Retraité

Message par Victor » 11/09/2008 - 17:39:53

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 ?

Avatar de l’utilisateur
Stardust
Messages : 1613
Inscription : 08/01/2006 - 10:41:20
Localisation : Versailles

Message par Stardust » 11/09/2008 - 19:48:50

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.

Avatar de l’utilisateur
Ze Venerable
Messages : 1222
Inscription : 06/09/2006 - 2:20:41
Activité : Autre

Message par Ze Venerable » 11/09/2008 - 20:10:01

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

shawky7287
Messages : 4
Inscription : 11/09/2008 - 12:54:19
Localisation : face o pc

Message par shawky7287 » 12/09/2008 - 14:04:33

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!!

Victor
Messages : 17712
Inscription : 05/06/2006 - 21:30:44
Activité : Retraité

Message par Victor » 12/09/2008 - 14:09:58

shawky7287 a écrit :je ne vois pas pourquoi je devais etre canadien!!

Because "Prouveur" c'est un mot que je croyais canadien ils font tellement de néologismes en français... Excuse-moi! Pas grave!

Avatar de l’utilisateur
Ze Venerable
Messages : 1222
Inscription : 06/09/2006 - 2:20:41
Activité : Autre

Message par Ze Venerable » 12/09/2008 - 15:04:28

tu vas utiliser un langage objet je pense ?

shawky7287
Messages : 4
Inscription : 11/09/2008 - 12:54:19
Localisation : face o pc

Message par shawky7287 » 13/09/2008 - 1:49:28

Ze Venerable a écrit :tu vas utiliser un langage objet je pense ?

euh! oui bien sure.. j'utiliserai Java (je suis vraiment debutant là)..
Be the change you want to see !

shawky7287
Messages : 4
Inscription : 11/09/2008 - 12:54:19
Localisation : face o pc

Message par shawky7287 » 13/09/2008 - 1:58:04

Victor a écrit :Excuse-moi! Pas grave!

c rien victor, aucun probleme..
on est la pour s'aider les uns les autres
Be the change you want to see !

Avatar de l’utilisateur
serdj
Messages : 63
Inscription : 27/04/2007 - 16:06:50
Localisation : Toulouse

Message par serdj » 21/11/2008 - 21:10:00

Il y a un langage basé sur la résolution des clauses de Horn selon l'algorithme de Robinson, c'est prolog (un langage que j'adore).
En fait ce que tu veux faire, c'est un prolog en java...
Cherche donc "moteur prolog" sur le net, tu trouveras ton bonheur...

Répondre