Discussion :

[martoune]

Bonjour, j'ai une base de connaissance et je dois l'exprimer en logique des prédicats.

Voici la base de connaissance:

1.le tétras lyre est un oiseu.
2.le gypaète barbu est un oiseau carnivore
3.le lynx est un animal carnivore
4.un oiseau est un animal
5.les carnivores mangent de la viande
6.dans tout animal il y a de la viande
7.tous les animaux boivent de l'eau
8.un animal consome ce qu'il boit ou mange


Pour l'instant j'ai trouvé sa mais je ne sais pas si c'est juste et je bloque sur la 8:


1) oiseau(tétras-lyre).
2) oiseau-carnivor(gypaète) :- oiseau(gypaète), carnivore(gypaète).
3) animal-carnivor(lynx) :- animal(lynx), carnicore(lynx).
4) oiseau(x):- animal(x).
5) carnivore(x) :- mange(x,viande).
6) animal(x) :- viande(x).
7) animal(x) :- boire(x,eau).
8) ??? animal(x) :- consome(x,boire(x)).
animal(x) :- consome(x,mange(x)).


Merci de votre aide.

[Trap D]

Je crois que tu dois bien analyser le texte.
Tu as différents types d'animaux avec différents types de régimes alimentaires.

[pcaboche]

Pour l'instant j'ai trouvé sa mais je ne sais pas si c'est juste et je bloque sur la 8:

A part la première, tout le reste est faux (tu prends le problème à l'envers).

[Seb981]

c'est rigolo cet exercice, moi je ferais :

1) oiseau(tetras_lyre).
2) oiseau(gypaete_barbu), carnivore(gypaete_barbu).
3) animal(lynx),carnivore(lynx).
4) animal(X) :- oiseau(X).
5) mange(viande,X) :- carnivore(X).
6) ?
7) boire(eau,X) :- animal(X).
8) ?

@+ Seb

[martoune]

Si je prens le problème à l'envers sa doit donner quoi alors ?

j'ai essayé de me corriger je propose ceci:

1) oiseau(tétras-lyre).

2) oiseau(gypaète).
carnivore(gypaète).

3) carnivore(lynx).
animal(lynx).

4) oiseau(x).
animal(x).

5) mange(carnivore(_) , viande).

6) animal(x).
viande(x).

7) boire(animal(_) ,eau).

8) consome(x,boire(x,_)) :- animal(x).
consome(x,mange(x,_)) :- animal(x).

[pcaboche]

1) oiseau(tetras_lyre).
2) oiseau(gypaete_barbu), carnivore(gypaete_barbu).
3) animal(lynx),carnivore(lynx).
4) animal(X) :- oiseau(X).
5) mange(viande,X) :- carnivore(X).
6) ?
7) boire(eau,X) :- animal(X).
8) ?

3,5 sur 8

1) oiseau(tétras-lyre).

2) oiseau(gypaète).
carnivore(gypaète).

3) carnivore(lynx).
animal(lynx).

4) oiseau(x).
animal(x).

5) mange(carnivore(_) , viande).

6) animal(x).
viande(x).

7) boire(animal(_) ,eau).

8) consome(x,boire(x,_)) :- animal(x).
consome(x,mange(x,_)) :- animal(x).

3 sur 8.

[martoune]

désolé petite correction:


1) oiseau(tétras-lyre).

2) oiseau(gypaète),carnivore(gypaète).

3) carnivore(lynx),animal(lynx).

4) oiseau(x),animal(x).

5) mange(carnivore(_) , viande).

6) animal(x),viande(x).

7) boire(animal(_) ,eau).

8) consome(x,boire(x,eau)) :- animal(x).
consome(x,mange(x,viande)) :- animal(x).

[pcaboche]

désolé petite correction:

1) oiseau(tétras-lyre).

2) oiseau(gypaète),carnivore(gypaète).

3) carnivore(lynx),animal(lynx).

4) oiseau(x),animal(x).

5) mange(carnivore(_) , viande).

6) animal(x),viande(x).

7) boire(animal(_) ,eau).

8) consome(x,boire(x,_)) :- animal(x).
consome(x,mange(x,_)) :- animal(x).

1 sur 8 (attention, ça baisse ! )

[martoune]

Bon ba la pour le coup je suis vraiment perdu!!!! lol
à noté j'ai changé la réponsse 8)
Merci quand meme pour votre aide.
Si une personne à les réponsses sa serai super cool. merci

[pcaboche]

Si une personne à les réponsses sa serai super cool. merci

Je le ferais comme ça:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
% le tétras lyre est un oiseau.
 
oiseau(tetraslyre).
 
 
% le gypaète barbu est un oiseau carnivore
 
oiseau(gypaete).
carnivore(gypaète).
 
 
% le lynx est un animal carnivore
 
animal(lynx).
carnivore(lynx).
 
 
% un oiseau est un animal
 
animal(X) :- oiseau(X).
 
 
% les carnivores mangent de la viande
 
mange(X,Y) :-
  carnivore(X), viande(Y).
 
 
% dans tout animal il y a de la viande
 
viande(X) :- animal(X).
 
 
% tous les animaux boivent de l'eau
 
boit(X, eau) :- animal(X).
 
 
% un animal consome ce qu'il boit ou mange
 
consomme(X,Y) :- 
  animal(X),
  (mange(X,Y) ; boit(X,Y)).

[cflo91]

Slt, alors moi je propose:

1) oiseau(tetraslyre).

2) oiseau(gypaete),carnivore(gypaete).

3) animal(lynx),carnivore(lynx).

4) animal(X):- oiseau(X).

5) mange(X,viande):- carnivore.

6) animal(viande).

7) boire(X,eau):- animal(X).

8) consomme(X,boire(X,eau)):- animal(x).
consomme(X,mange(X,viande)):- animal(X).

[martoune]

Merci pcaboche je pense que tout est juste!
à bientôt.

[Seb981]

Pour "un animal consomme ce qu'il boit ou mange" tu fais :

consomme(X,Y) :-
animal(X),
(mange(X,Y) ; boit(X,Y)).

mais je croyais que le ou n'existait pas en Prolog.
en faisant ( ; ) on peut faire alors un ou ?

@+ Seb

[Trap D]

Il y a une erreur quelque part, en retranscrivant les prédicats de pcaboche, à la question "consomme(gypaete, X)."
on obtient uniquement "eau".

alors que "consomme(lynx, X)." donne

X = lynx ;

X = tetraslyre ;

X = gypaete ;

X = eau ;

Puisqu' on en est à donner des solutions, je donne la mienne mais j'ai un peu élargi le problème

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
% la boisson
liquide(eau).
boit(_,Y) :-
	liquide(Y).
 
% la nourriture
viande(X) :- animal(X).
plante(herbe).
plante(fleur).
 
mange(X,Y) :-
	carnivore(X,Y);
	herbivore(X,Y).
 
% les genres d'animaux
oiseau(tetra).
oiseau(gypaete).
quadrupede(lynx).
 
% les régimes alimentaires
carnivore(gypaete).
carnivore(lynx).
carnivore(X, Y) :- 
	carnivore(X),
	viande(Y).
 
herbivore(tetra).
herbivore(X, Y) :-
	herbivore(X),
	plante(Y).
 
animal(X) :-
	oiseau(X);
	quadrupede(X).
 
consomme(X, Y) :-
	animal(X),
	(boit(X, Y); mange(X,Y)).

[pcaboche]

Il y a une erreur quelque part, en retranscrivant les prédicats de pcaboche, à la question "consomme(gypaete, X)."
on obtient uniquement "eau".

C'est une erreur de copier-coller: j'ai oublié d'enlever un accent à "gypaète" (c'est une hérésie de mettre des accents et des tirets dans les noms des termes).

mais je croyais que le ou n'existait pas en Prolog.
en faisant ( ; ) on peut faire alors un ou ?

Oui, le "ou" existe, mais il vaut mieux éviter de l'utiliser, du moins au début.

C'est équivalent à:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
consomme(X,Y) :-
  animal(X),
  pred(X,Y).
 
pred(X,Y) :- mange(X,Y).
pred(X,Y) :- boit(X,Y).

[Seb981]

Ok merci.

@+ Seb