Calcul des prédicats dans prolog

Version imprimable

31/10/2008, 01h14
nschoe

Calcul des prédicats dans prolog

Bonsoir (ou bonjour) à tous,

Tout d'abord un petit merci pour celles et ceux qui prennent la peine/le temps de lire mon post (ça fait pas de mal de remercier ^^). Juste un mot aux modérateurs : je ne savais pas trop où poster, comme à l'origine je souhaite parler de Prolog, j'ai posté ici, mais je comprendrais s'il y a besoin de déplacer.

Venons en aux faits. J'ai lu l'initiation à Prolog présente sur ce site, et j'avoue avoir du mal à comprendre certaines choses, et désireux d'informations supplémentaires qui me permettraient de comprendre mieux à ma prochaine relecture de ladite initiation, j'ai tappé "bêtement" "Prolog" sur Wikipedia : http://fr.wikipedia.org/wiki/Prolog. Je commence ma lecture et je vois la phrase :

Citation:

Envoyé par Wikipedia

Prolog est basé sur le calcul des prédicats du premier ordre

Je fais le "raisonnement" suivant : si Prolog est basé sur ce principe, c'est que ce principe est (très) important, et donc qu'il faut le comprendre avant même d'envisager de comprendre Prolog.

Je clique donc joyeusement sur le lien, pour tomber sur la page : http://fr.wikipedia.org/wiki/Calcul_..._premier_ordre. Bon ... j'ai lu la page en entier il est vrai, je ne peux en dire autant sur la compréhension ... Et là, j'ai besoin que l'on me rassure : est-ce que la notion de "calcul des prédicat du premier ordre" est une notion exigeant des acquis (en mathématique par exemple) de haut niveau (je suis en Terminale S) ? Est-ce que Wikipedia explique mal (très peu probable) ? Est-ce que (il faut le dire si c'est le cas) je manque de facultés intellectuelles et il n'est pas normal que je ne comprenne pas tout ?

Mais là je m'inquiète, parce qu'après la lecture de cette page, je ne suis pas plus avancé quant à ce qu'est le "calcul des prédicat du premier ordre", et je ne sais d'ailleur pas non plus ce qu'est un prédicat "du premier ordre" par rapport à un prédicat "d'ordre supérieur" ...

Alors si je suis à même de comprendre, alors que je n'ai pas compris avec Wikipedia, y aurait-il une âme charitable (et courageuse !) qui pourrait ou me donner des liens vers des articles plus explicites et/ou simples de compréhension, ou s'atteler à la tâche d'essayer de m'expliquer un peu ce qu'est finallement ce "calcul des prédicats du premier ordre".

__________

Un grand merci aux lecteurs de ce post, et un autre grand merci à celles et ceux qui prendront la peine/le temps de m'aider, ne serait-ce qu'un peu.
31/10/2008, 08h48
millie

Déplacé dans le forum Algorithmes car la question fait plus référence à la théorie du calcul des prédicats qu'à prolog.

Ca dépend ce que tu entends par acquis mathématique ?
Mais dès que tu fais un peu de théorie de ce genre, il te faudrait au moins voir un peu de théorie des langages, bien connaître tout ce qui est notation mathématiques (symbole il existe, pour tout etc.), calcul des propositions ( http://fr.wikipedia.org/wiki/Calcul_des_propositions )

Mais ce ne sont pas des notions que tu vois en maths sup, maths spé si ça peut te rassurer :aie:

Pour bien comprendre tout ce qui est : formule close, prédicats, variables libres, j'aurais tendance à conseiller de voir les systèmes de preuves formelles, mais c'est peut être assez compliqué en TermS.

Enfin, je pense qu'il est possible de faire du prolog sans avoir compris exactement la notion de logique du premier ordre.
31/10/2008, 09h39
pseudocode

Citation:

Envoyé par millie

Pour bien comprendre tout ce qui est : formule close, prédicats, variables libres, j'aurais tendance à conseiller de voir les systèmes de preuves formelles, mais c'est peut être assez compliqué en TermS.

Les "clauses de Horn" et les "règles d'inférences" ça devrait suffire pour apprivoiser Prolog dans un premier temps. Du moins pour les cas usuels. :roll:
31/10/2008, 09h42
millie

Citation:

Envoyé par pseudocode

Les "clauses de Horn" et les "règles d'inférences" ça devrait suffire pour apprivoiser Prolog dans un premier temps. Du moins pour les cas usuels. :roll:

Oui, je parlais juste de la notion de "prédicats du premier ordre" etc. On peut faire du prolog sans comprendre ça (d'aillleurs, j'en ai fait, et j'ai compris tout ce qui va avec que bien après :aie: )
31/10/2008, 10h23
Zavonen

Citation:

Envoyé par Dreepser

Alors si je suis à même de comprendre, alors que je n'ai pas compris avec Wikipedia, y aurait-il une âme charitable (et courageuse !) qui pourrait ou me donner des liens vers des articles plus explicites et/ou simples de compréhension, ou s'atteler à la tâche d'essayer de m'expliquer un peu ce qu'est finallement ce "calcul des prédicats du premier ordre".

Avant de te lancer dans tout cela je te propose la lecture de mon module 'Bases des mathématiques' (voir mon site) comprenant un chapitre intitulé 'logique' et contenant le calcul des prédicats, sous une forme 'soft'. Après tu pourras te lancer dans les articles spécialisés qui ne sont pas pour débutants.
31/10/2008, 11h31
nschoe

Je vous remercie de vos réponses.
Donc il va falloir que je bosse plus en Maths, ça tombe bien, j'aime ça !

@Zavonen : je vais de ce pas aller lire votre site, en effet.

@pseudocode : je vais aller lire des trucs là-dessus et je vais essayer de comprendre.

@millie : vous dites que l'on peut faire du Prolog sans comprendre tout ça ... c'est possible, mais ça me gène un peu dans la mesure ou je n'aime pas trop faire quelque chose "parce que ça marche", mais j'aime comprendre "pourquoi" et "comment" ça marche.
Est-ce que faire du Prolog sans comprendre les prédicats n'est pas aussi génant que faire du C sans savoir ce qu'est une variable (au point de vue de la mémoire je parle) ?

Bref tout ça m'inquiète, car je me dis que en TermS j'ai déjà perdu pas mal de temps pour trouver dans quel domaine de l'info je voulais travailler, je n'ai que partiellement répondu à cette question en "choisissant" l'I.A., mais ça reste encore très vaste, et donc je me dis que maintenant faut que je fasse vite pour rattrapper le niveau, et si je ne suis même pas capable d'apprendre Prolog ... comment je vais faire ...
31/10/2008, 11h40
pseudocode

Citation:

Envoyé par Dreepser

Est-ce que faire du Prolog sans comprendre les prédicats n'est pas aussi génant que faire du C sans savoir ce qu'est une variable (au point de vue de la mémoire je parle) ?

hum... en terme d'analogie je dirais que faire du Prolog sans comprendre les "prédicats du premier ordre", c'est comme faire du C sans comprendre les "machines de Turing".

Ce n'est donc pas foncièrement indispensable pour faire un programme (le "comment") mais c'est necessaire pour appréhender la théorie (le "pourquoi").
31/10/2008, 13h38
souviron34

Citation:

Envoyé par pseudocode

hum... en terme d'analogie je dirais que faire du Prolog sans comprendre les "prédicats du premier ordre", c'est comme faire du C sans comprendre les "machines de Turing".

Ce n'est donc pas foncièrement indispensable pour faire un programme (le "comment") mais c'est necessaire pour appréhender la théorie (le "pourquoi").

et en particulier la (non)gestion de la mémoire :aie: ;)
01/11/2008, 00h08
Trap D

Ce que je vais dire est purement mon avis personnel, je n'ai pratiquement aucune base théorique en Prolog que j'ai appris tout seul et en lisant un excellent livre "The Art of Prolog" de Sterling et Shapiro.
Je dirais qu'il n'est absolument pas nécessaire de connaître la logique du premier ordre pour faire du Prolog.
La logique du premier ordre, le calcul des prédicats intervient dans la manière qu'a Prolog pour résoudre les problèmes que le programmeur lui expose. A la limite, le programmeur n'en a rien à faire de cette logique. Bien sûr c'est mieux qu'il la connaîsse pour bien écrire ses prédicats et comprendre comment fait Prolog mais ce n'est pas nécessaire.

Citation:

Envoyé par Souviron

et en particulier la (non)gestion de la mémoire

Il faut s'occuper de la mémoire dans certains programmes car les liste par exemple sont très gourmandes en mémoire et une mauvaise conception peut faire que le programme plante pour cause de manque de place.
01/11/2008, 00h56
souviron34

Citation:

Envoyé par Trap D

Il faut s'occuper de la mémoire dans certains programmes car les liste par exemple sont très gourmandes en mémoire et une mauvaise conception peut faire que le programme plante pour cause de manque de place.

je sais je parlais par expérience :aie: :?

Je ne me souvenais plus, mais effectivement c"était les listes (j'ai fait ça il y a 14 ans).

Plantage assuré, et pas juste du prog, mais de l'ordi (unix), car remplissage du HD 8O