Discussion :

[bakhoucha]

bonjour,

J'ai besoin de faire un predicat recursif, mais a chaque iteration, je dois vider la base de connaissances pour y mettre les nouvelles données..

qlq un a une idee pour vider toute la base?

avec retractall(_) me donne qu il y a des pb d'instanciation.

[pcaboche]

Tu peux utiliser le prédicat abolish/1 ou abolish/2, mais tu ne peux pas vider TOUTE ta base de connaissance d'un coup, il faut abolir les prédicats 1 par 1.

[bakhoucha]

Voici mon code:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
exemple_couvert(Hi, Exp):-
	base_de_connaissances(Exp),
 
	faits_positifs(V),
 
	faits_incertains(I),
	sublist(PI,I),
	append(V,PI,M),
 
	est_un_modele(M,Hi),!,
	detruire_base_connaissances(Exp).

S'il trouve que cest un modele il me vide la base, mais s il s'agit pas d'un modele il laisse les mm connaissances (je pense qu il bloque sur (est_un_modele(M,Hi),!,))

[pcaboche]

(je pense qu il bloque sur (est_un_modele(M,Hi),!,))

Il bloque sur est_un_modele(M,Hi) et c'est parfaitement normal ! (vu que le but échoue)

[bakhoucha]

Alors est ce qu il y a une solution pour qu'il vide la base a chaque iteration (avant de re-executer le predicat)??!

[pcaboche]

(avant de re-executer le predicat)??!

Dans quels cas veux-tu vider la base de connaissance?

• avant un appel récursif ?
• lors du backtrack ?
• les deux ?

[bakhoucha]

avant un appel récursif, de sorte a reprendre avec une base vide

[bakhoucha]

Voici tout le predicat :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
exemple_couvert(Hi, [Exp|Eplus], [Exp|EC]):- 
	base_de_connaissances(Exp),
 
	faits_positifs(V),
 
	faits_incertains(I),
	sublist(PI,I),
	append(V,PI,M),
	est_un_modele(M,Hi),!,
	detruire_base_connaissances(Exp),
	exemple_couvert(Hi, Eplus, EC).

[pcaboche]

Et bien dans ce cas :

Code :

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

1
2
3
4
5
6
7
exemple_couvert(Hi, Exp):-
     base_de_connaissances(Exp),
 
    % du code
 
    detruire_base_connaissances(Exp), 
    exemple_couvert(NouveauHi, Exp).

Mais il ne faut pas que ce qui se trouve avant

Code :

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

detruire_base_connaissances(Exp)

échoue, sinon il n'y a pas d'appel récursif.

[bakhoucha]

Oui c'est ce que je vois, mais il me faut une solution, mm si le but echoue il doit rappeler le predicat...je fais comment?

[bakhoucha]

Sinon je cherhche s'il y a un predicat predefini pour vider la base, que je le met au debut de mon predicat , et comme ca je repart toujours avec une base vide.

[pcaboche]

Oui c'est ce que je vois, mais il me faut une solution, mm si le but echoue il doit rappeler le predicat...je fais comment?

Il ne faut pas que le but échoue. Si un but est susceptible d'échouer, c'est qu'il faut ajouter d'autres prédicats:

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
exemple_couvert(Hi, Exp):-
      base_de_connaissances(Exp),
      implementation(Hi, Exp).
 
 
 
implementation(Hi, Exp)
      % A un moment, il faut bien arreter le programme ...
      condition_d_arret(Hi), !,
      detruire_base_connaissances(Exp).
 
 
implementation(Hi, Exp)
      un_but(Hi, NouveauHi),
      !,
 
      detruire_base_connaissances(Exp),
 
      % Appel récursif
      exemple_couvert(NouveauHi, Exp).
 
 
 
un_but(Hi, NouveauHi) :-
      un_but_susceptible_d_échouer(Hi, NouveauHi).
 
un_but(Hi, NouveauHi) :-
      un_autre_but_susceptible_d_échouer(Hi, NouveauHi).
 
un_but(Hi, NouveauHi) :-
       un_but_qui_reussit_toujours(Hi, NouveauHi).

Sinon je cherhche s'il y a un predicat predefini pour vider la base, que je le met au debut de mon predicat , et comme ca je repart toujours avec une base vide.

A ma connaissance, ça n'existe pas.

[bakhoucha]

g procedé de cette maniere :

Code :

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

1
2
3
4
5
verifier_modele(Hi, Exp, 1):-
	construire_un_modele(Exp,M),
	est_un_modele(M,Hi),!.
 
verfifier_modele(_,_,0).

et puis:

Code :

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

1
2
3
traiter_couverture(Hi, Exp, R):-
	verifier_modele(Hi, Exp, _),
	enlever_exemple(Exp).

alors il logiquement il doit enlever mon exemple de la base qlq soit la reponse de "verifier_modele"..mais il le fait pas.

Le pb c que le predicat "verifier_modele" ne fonctionne pas comme prevu: il donne effectivement 1 si c un modele mais il donne "no" sinon et il retourne pas 0...

Si je peux m'arranger a ce qu il me retourne 0 dans le cas ou le but echoue, je pourrai resoudre le pb...si qlq un peut m'aider sur ce point

[pcaboche]

Le pb c que le predicat "verifier_modele" ne fonctionne pas comme prevu: il donne effectivement 1 si c un modele mais il donne "no" sinon et il retourne pas 0...

Tu as une faute de frappe:

verfifier_modele(_,_,0).

[bakhoucha]

ahh..la honte
Merci

[bakhoucha]

Bonjour a tous,

Regardez svp ce prédicat:

Code :

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

1
2
3
4
mise_a_jour([],_,_).
mise_a_jour([Hi|H], Eplus, ENC):-
	les_exemples_non_couverts_Hi(Hi, Eplus, ENC1),
	mise_a_jour(H, ENC1, ENC).

Logiquement il doit me retourner la liste des exemples non couverts, sachant que chaque hypothese Hi couvre un ensemble d'exemple.

Si je mets

Code :

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

write(ENC1)

, je vois qu'il fait le bon travail, mais le resultat final n'est pas le bon.

Est ce que c'est bien ce qu'il falleit faire?

[pcaboche]

Essaye en remplaçant ceci:

Code :

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

mise_a_jour([],_,_).

Par cela :

Code :

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

mise_a_jour([], ENC, ENC).

(parce que dans ton exemple, le dernier paramètre n'est jamais unifié).

[bakhoucha]

Oui ca marche Merci