Techno-Science.net

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

Salut
La le soucis n'est pas de vouloir mais de pouvoir, et ce n'est pas mon cas, desole

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 ?

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 !

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

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

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!

tu vas utiliser un langage objet je pense ?

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

euh! oui bien sure.. j'utiliserai Java (je suis vraiment debutant là)..

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

c rien victor, aucun probleme..
on est la pour s'aider les uns les autres

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