Séance 11 : Initiation à Prolog

Question 1

Qu’est-ce que la logique procédurale?

Answer 1

La résolution d’un problème avec une suite d’opérations qui permet d’obtenir la solution voulue

ex: Python texte -> procédure -> résultat

Question 2

Comment est appliquée la logique procédurale? Exemples d’applications?

Answer 2

Par la manipulation et la transformation d’unités

ex: trier les mots d’un texte
extraire des contextes
gestion d’une base de donnée

Question 3

V ou F : la procédure en logique procédurale dépend de la nature de l’objet à traiter.

Answer 3

Faux, elle en est indépendante. L’ordinateur n’a pas besoin de savoir ce qu’est un mot pour calculer sa fréquence dans un texte. Vs prolog qui a besoin de connaissances, comme nous.

Question 4

Quelles sont les limites de la logique procédurale? Comment les traite-on en Prolog?

Answer 4

1. Impossible de traiter des relations (représentation de connaissances)
   ex: Jean est le père de Michel.

=> faits en Prolog

2. Impossible de faire des inférences (nouvelles connaissances à partir de connaissances actuelles : exploitation de relations)
   ex: Si une personne X et une personne Y – X et Y étant des personnes différentes - ont le même père ou la même mère alors X est le frère ou la sœur de Y et Y est le frère ou la sœur de X.

=> règles en Prolog

Question 5

Quel langage de programmation utilise Prolog? Que permet-il de faire?

Answer 5

Le langage de programmation déclaratif.

Il fait appel aux mécanismes d’inférence de la logique des prédicats :

• Permet de représenter des relations et de faire des inférences (déduire nouvelles connaissances à partir d’actuelles sans qu’elles soit explicitées)

(D’où son nom «Programmation en logique».)

Question 6

Prolog est-il efficace? puissant?

Answer 6

Très inefficace: les programmes sont lents.

Très puissant: développement rapide de mécanismes très complexes.

Question 7

Quand on utilise Prolog? 2 exemples?

Answer 7

Pour des problèmes exprimés sous forme d’objets et de relations

= représentation de connaissances

ex: analyse syntaxique (on définit connaissances de base (catégories et syntagmes) et après on peut inférer quels agencements de mots font quels syntagmes
ex: création d’un arbre généalogique (on définit qui est le père, mère de qui et va inférer frère soeur etc)

Question 8

Qu’est-ce qu’un terme dans Prolog?

Answer 8

Peut être une variable, un atome, un fait, une règle…

Question 9

V ou F : Une variable est un terme.

Answer 9

Vrai, terme qui peut contenir un terme (car peut contenir un atome, un fait, une règle, un nombre, une structure)

Question 10

Quels sont les 2 types de termes?

Answer 10

Inconditionnels (faits)
femme(marie).
homme(jean).

Conditionnels (règles)
parents(X,Y,Z) :-
mere(X,Z), pere(Y,Z).

Question 11

V ou F ; L’ordre est important dans Prolog.

Answer 11

Faux, il est arbitraire. L’ordre des atomes doit toujours être le même par exemple (ex: parents(marie,jean,jude) => tj mère, père, enfant))

Différemment à Python, c’est comme si tout se fait en même temps.

Question 12

V ou F : La signification d’un terme est pas important dans Prolog.

Answer 12

Faux, il est arbitraire (ex: patient peut référer à la patience ou la maladie), mais est important, car on doit toujours garder la même.

Question 13

Qu’est-ce que l’humain fait quand il dit “Jean possède un livre”. Prolog fait-il la même chose?

Answer 13

1. Il identifie deux objets (livre et jean)
2. Il exprime une relation (appartenance)

=> donc, fait appel aux connaissances du lecteur ou de l’interlocuteur sur la nature des objets et sur les propriétés de la relation (unidirectionnelle (le livre possède pas jean) vs bidirectionnelle (pour frère ex))

Prolog fait la même chose, c’est sa grande force.

Question 14

V ou F : Les objets doivent être nommés explicitement dans une relation. Ex?

Answer 14

Faux, ‘interlocuteur, l’utilisateur du programme comprend les informations implicites en fonction de ses connaissances et du contexte.

=> c’est l’esprit de Prolog, il fait appel aux connaissances de l’utilisateur

Exemple : La pomme est bonne

On ne dit pas pour qui (ou pour quoi) la pomme est bonne.

Il peut s’agir d’un être vivant mais pas nécessairement. La pomme (au sens du marché de la pomme) pourrait être bonne pour l’économie.

Le sens précis de «bonne» n’est pas explicite.

Question 15

Quelles sont les propriétés des variables?

Answer 15

Elles commencent par une majuscule.

Leur portée est uniquement à l’intérieur d’un terme
ex:
est_mere(X) :- mere(X,Y).
est_pere(X) :- pere(X,Y).
*Tout est compartimenté, les X et Y ne sont pas les mêmes d’une ligne à l’autre

Question 16

V ou F : Dans Prolog, les variables sont manipulées directement.

Answer 16

Faux, sauf dans des cas extrêmement rares. Leur contenu est inféré des faits et des règles.

=> acquierent leur valeur automatiquement

Question 17

Comment appelle-t-on le regroupement des faits et des règles ?

Answer 17

Les connaissances

vs Les questions

Question 18

Qu’est-ce que Prolog fait quand on pose la question : Est-ce que Jean possède un livre?

Answer 18

1. Il vérifie si les objets existent (a-t-il jean, a til livre dans ses connaissances)
2. Il vérifie si la relation de possession existe ( a-til la possession, ou connaissances dans une autre comme jean achète un livre)

Question 19

Quels sont les 3 niveaux de la programmation en Prolog?

Answer 19

1. Identifier des objets (ex: pierre(homme). et des relations père(pierre,marie)).
   - En Prolog, on dit «déclarer des faits»

(construire mon dict, lui donner des connaissances)

2. Inférer de nouvelles relations à partir des «faits» (ex: estpère(X) : père (X, _))
   - En Prolog, on dit «définir des règles»

(créer des nouvelles relations et connaissances a partir des faits de bases donnés en 1)

3.Poser des questions à propos d’objets et de leurs relations (ex: estpère(X)… X = Pierre).

En Prolog, on dit «interroger l’interpréteur» ou «converser»

(poser des questions à prolog sur nos objets et relations)

Question 20

Qu’est-ce que représente la virgule en Prolog?

Answer 20

Une conjonction, signifie que les deux conditions sont obligatoires (représente un ET)

ex: s_aime(X,Y) :- aime(X,Y), aime(Y,X).

s’aiment X et Y si ils s’aiment un et l’autre.

Question 21

Que représente le point-virgule en Prolog?

Answer 21

Représente une disjonction inclusive
Signifie qu’au moins une des deux conditions doit être vraie (OU non exclusif)

ex: aime(X,vin) :- aime(X, vinrouge) ; aime(X, vinblanc).

X aime le vin s’il aime le vin blanc ou le vin rouge.

Question 22

Créer les règles générales suivantes :
enfant(X,Y) qui exprime que X est l’enfant de Y
fils(X,Y) qui exprime que X est un fils de Y
fille(X,Y) qui exprime que X est une fille de Y
frereousoeur(X,Y) qui exprime que X est le frère ou la soeur de Y (pas demis)
frere(X,Y) qui exprime que X est un frère de Y
soeur(X,Y) qui exprime que X est une soeur de Y

Answer 22

enfant(X,Y) :-
pere(Y,X).
enfant(X,Y) :-
mere(Y,X).

fils(X,Y) :-
enfant(X,Y),
homme(X).

fille(X,Y) :-
enfant(X,Y),
femme(X).

frereousoeur(X,Y) :-
	pere(P,X),
	pere(P,Y),
	mere(M,X),
	mere(M,Y),
	X \== Y.

frere(X,Y) :-
frereousoeur(X,Y),
homme(X),
X == Y.

soeur(X,Y) :-
frereousoeur(X,Y),
femme(X),
X == Y.

Question 23

À quoi servent les règles?

Answer 23

Servent à inférer des relations entre les faits

Question 24

À quoi sert compilebuffer?

Answer 24

Transmettre à l’interpréteur

Question 25

Quels sont les modes reconnaissance et génération?

Answer 25

Mode reconnaissance : On lui donne des atomes, il vérifie si c’est vrai ou non.

Mode génération : On lui donne des variables, il nous sort les possibilités

Question 26

Les variables sont… elles se …

Answer 26

locales, propagent

Question 27

V ou F : Prolog est déterministe.

Answer 27

Vrai. Il peut explorer plusieurs possibilités sans y voir de contradiction.

Un Sn peut être à la fois composé d’un article et d’un nom et être un nom propre.

Dans les règles:
sn(X,Y) :- article(X),nom(Y).
sn(X) :- nomPropre(X).

Dans les faits:
humain(leo).
chat(leo).

Question 28

V ou F : Prolog permet de représenter des structures r….

Answer 28

Vrai. récursives. Comme un cycle sans fin.

ex: 
sn		-> article, nom.
sn		-> article, nom, sprep.
sn		-> np.
sprep 	-> prep, sn.

Un sn inclue un sp, un sp un sn, un sn un sp……..

Question 29

Qu’est-ce que veut dire faire des remontées?

Answer 29

Prolog fait des remontées quand il revient sur ses décisions.

Il sort une réponse, après il revient sur ses faits, redonne nouvelles valeurs à ses variables et redescend, etc

Question 30

Qui a fondé Prolog, où et quand?

Answer 30

Groupe d’Intelligence Artificielle de Luminy (Alain Colmerauer) à Marseille en 1972

Question 31

Comment Prolog est devenu populaire et pourquoi?

Answer 31

Devient populaire au début des années 80 avec les projets internationaux de développement de l’intelligence artificielle

On avait besoin d’outils pour les ordinateurs de connaissances, donc lui demande de devl un langage axé sur la connaissance

Même utilisé plus spécifiquement pour la reconnaissance automatique du langage

Question 32

Quelles sont les 2 grandes familles de Prolog et quel logiciel on utilise?

Answer 32

Deux grandes familles:
le standard de Marseille
le standard d’Edimbourg

Le standard d’Edimbourg:
SWI-Prolog (Celui que nous utiliserons)
Amzi Prolog
SICStus Prolog
Visual Prolog

Question 33

Comment distinguer les atomes et variables?

Answer 33

Atomes : commencent par minuscule
Variables : par majuscule

**si on se trompe, il prendra ex : Pere pour variable