Besoin d'aide concernant prolog et psp

**sheldon_f** · 02/04/2012, 21h38

je suis entrain de réaliser un système expert avec prolog, j ai réussi à l écrire en prolog, mais je n'arrive toujours pas à l'écrire avec PSP. si quelqu'un pourrait m'aider, je lui serai très reconnaissant. voici mon code prolog:

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
 
 
 
go :- check(Diagnostic),
           write(Diagnostic),
remettre_a_zero .
 
 
check(check_landing_gear_control)   :- check_landing_gear_control ,!.
check(voltage_is_not_recorded2)     :- voltage_is_not_recorded2 ,!.
check(voltage_is_not_recorded1)  :- voltage_is_not_recorded1 ,!.
check(unknown).             /* no diagnosis */
 
/* regles */
 
check_landing_gear_control :-            verifier(check_voltage_extend),
				verifier(check_voltage_bypass).
voltage_is_not_recorded2 :-             verifier(check_voltage_extend),not(verifier(check_voltage_bypass)).
voltage_is_not_recorded1 :- not(verifier(check_voltage_extend)).
 
/* requetes */
 
ask(Question) :-
    write('look: '),
    write(Question),
    write('? '),
    read(Reponse),
    nl,
  ( (Reponse == yes ; Reponse == y)
      ->
       assert(yes(Question)) ;
       assert(no(Question)), fail).
 
:- dynamic yes/1,no/1.
 
/* verifications*/
 
verifier(S) :-   (yes(S) ->   true ;(no(S) ->     fail ;  ask(S))).
 
/* pour supprimer les réponses */
 
 remettre_a_zero :- retractall(yes(_)),
  retractall(no(_)).

je vous en remercie d'avantage.

**Trap D** · 03/04/2012, 09h26

Avant d'aller plus loin, avez-vous fait une recherche sur ce forum ? Il y a 6 discussions sur PSP. Elles peuvent peyt-être vous aider.

**Trap D** · 11/04/2012, 22h06

Bonjour

Je viens d'essayer de télécharger PSP mais tous les liens que j'ai trouvés sont invalides. Quelle adresse avez-vous utilisé ?

**sheldon_f** · 12/04/2012, 17h38

je les ai récupéré de chez un ami, je vous passe le zip.
et Merci.

**Trap D** · 16/04/2012, 18h23

Bon, j'ai bien avancé.
D'abord un bug a corriger dans webserver.pl:

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
% bug, il faut virer les ':' dans les adresses IP
% bug qui se produit sans doute uniquement avec localhost 	
strip_IP(IP, NIP) :-
	catch((atomic_list_concat(L, ':', IP),
	      atomic_list_concat(L, NIP)),
	      _,
	      NIP = ip).	
 
% create_session_id_base(+atom, -atom).
% Create a probably unique base used for generating unique session IDs
% The user's IP address should be supplied
create_session_id_base(IP, BaseIdentifier) :-
	get_random_data(Random),
	get_time(Now),
	Now1 is float_integer_part(Now),
	Now2 is float_fractional_part(Now),
	strip_IP(IP, NIP),
	concat_atom([Random,'_',NIP,'_',Now1,'_',Now2,'_'],BaseIdentifier).

Le code maintenant du fichier .prolog

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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
:- use_module(library('http/thread_httpd')).
:- use_module(library('http/html_write')).
:- use_module(library('http/http_session')).
:- use_module(library('http/http_error')).
 
:- session_predicate yes/1.
:- session_predicate no/1.
 
check(check_landing_gear_control, Rep)   :-
	check_landing_gear_control(Rep) ,!.
 
check(voltage_is_not_recorded2, Rep):-
	voltage_is_not_recorded2(Rep) ,!.
 
check(voltage_is_not_recorded1, Rep):-
	voltage_is_not_recorded1(Rep) ,!.
 
check(unknown, nil ).             
 
 
check_landing_gear_control(Rep) :-
	verifier(check_voltage_extend, R1),
	(R1 = nil ->  verifier(check_voltage_bypass, Rep) ; Rep = R1).
 
voltage_is_not_recorded2(Rep) :-
	verifier(check_voltage_extend, R1),
	(R1 = nil -> not(verifier(check_voltage_bypass, Rep)) ; Rep = R1).
 
voltage_is_not_recorded1(Rep) :-
	not(verifier(check_voltage_extend,Rep)).
 
 
update(Get) :-
	member(fact=Fact, Get),
	member(answer=yes, Get),
	assert(yes(Fact)).
 
update(Get) :-
	member(fact=Fact, Get),
	member(answer=no, Get),
	assert(no(Fact)).
 
update(_).
 
% je ne suis pas sur de ce code
% a tester avec des données plus compliquées
verifier(S, R) :-
	(yes(S) ->   true, R = nil ;
	(no(S) ->     fail ;
	R = S)).
 
/*<html>
<title>Sheldon_f sample</title>
<head></head>
<body>
 
<?,  
update(Get),
?>
 
Faits vrais :
<ul>
	<?,
		forall(yes(Fact), ?> <li> <?= Fact?> <?)
	,?>
</ul>
Faits faux :
<ul>
	<?,
		forall(no(Fact), ?> <li> <?= Fact?> <?)
	,?>
</ul>
 
 
	<?,check(Diag, Fact),
	   (Fact \= nil -> ?>
<pre>
<form id="form1" name="form1" method="GET" action="sheldon_f.prolog">
		<label>
			<?=Fact?>
		</label>
		<input type="hidden" name = fact value = <?=Fact?> />
		<input type="submit" name = "answer" value="yes" />
		<input type="submit" name = "answer" value="no" />
</form>
</pre>
	<? ; ?>
	<H2>Solution : <?= Diag ?>
    <?), ?>
</body>
</html>*/

Ça fonctionne avec la base actuelle, pas sur que ça fonctionne avec des règles plus compliquées !

**sheldon_f** · 16/04/2012, 20h50

merci beaucoup TRAP D, c'est presque déjà cela. j'ai essayé une modification mais je n'ai pas réussi. je veux bien que les questions se posent, et à la fin, ne pas avoir les "faits vrais" , "faits faux" mais juste la solution. Aussi, j ai remarqué que les résultats s'enregistrent,donc quand j essaye de refaire le diagnostique, j obtiens toujours la meme réponse:celle obtenue au début, j ai essayé d'introduire "retracall" mais ça n'a pas marché.

PS: j'ai pas réussi à comprendre le bug sur webserver.pl , est-ce que je dois modifier des lignes ou quelque chose d'autre?

et encore merci TRAP D, vous venez de me sauver la vie

**Trap D** · 16/04/2012, 23h30

La mémorisation des faits se fait pour une session, il faut donc en tenir compte.
On peut explicitement remettre à zéro par des retractall (hors afficahge page web attention).

Le bug webserver.pl existe chez moi, en local, peut-être n'existe pas ailleurs mais j'en doute.

**sheldon_f** · 17/04/2012, 18h27

Il n y a donc pas un moyen pour remettre à zéro les faits après avoir trouvé la solution??

**Trap D** · 17/04/2012, 21h48

Si, on peut remettre a zéro la base quand on affiche la solution, contrairement à ce que j'avais pensé

**sheldon_f** · 18/04/2012, 12h53

c'est ce que j'ai pensé aussi

mais j'ai essayé de le faire mais en vain. si vous avez des suggestions pour modifier le code , je vous en serai très reconnaissant, meme si je le suis déjà

merci

**Trap D** · 18/04/2012, 18h14

Relisez mon post précédent, j'ai dit où il fallait mettre la remise_a_zero

**sheldon_f** · 19/04/2012, 13h34

Mr TRAP D

j ai essayé de mettre "retractall" dans le code, mais je n ai pas réussi, si vous pouvez m'aider sur ce point, ça me sera d une grande aide

Cordialement

**Trap D** · 19/04/2012, 18h01

Avez-vous bien lu le code que j'ai envoyé ?
Quand affiche-t-on le résultat ?
Lorsque Fact \= nil !
C'est à ce moment que vous devez ajouter la remise_a_zero.

**sheldon_f** · 20/04/2012, 19h05

le problème persiste toujours, quand j'actualise la page, j'obtiens directement la solution obtenue au départ et même quand j'essaye un retour en arrière

**Trap D** · 21/04/2012, 11h27

Attention, il y a derrière des problèmes de browser internet : historique, cache de la page etc.
Si vous avez bien écrit votre code, lorsque vous avez eu une solution, il faut repartir au début, donc rappeler la page initiale, mais pas par des retours arrières, retaper l'adresse ou la rechercher dans la combobox de la barre d'adresse du browser.

**sheldon_f** · 23/04/2012, 18h42

j ai bien essayé toutes ces solutions mais en vain, j'ai meme utilisé <META HTTP-EQUIV="refresh" CONTENT="15"> et ça ne marche pas.

**Trap D** · 23/04/2012, 20h23

Ouaih

Je donne le code, mais j'ai un peu (beaucoup) l'impression d'avoir tout fait !

Code :

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

1
2
3
4
5
6
7
8
 
	<? ; 
	remettre_a_zero, 
	?>
	<H2>Solution : <?= Diag ?> <br>
<form id="form2" name="form2" method="GET" action="sheldon_f.prolog">
  	<input type="submit" value="autre recherche">
</form>

A mettre au bon endroit

**sheldon_f** · 24/04/2012, 18h44

merci beaucoup TRAP D, c'est parce que je ne me connnais pas en informatique, ce n'est pas ma spécialité. j'ai encore un petit problème au niveau du code, j'ai essayé de mettre par exemple check_extend_voltage sous forme de texte, c'est à dire sous la forme 'check extend voltage'. sur SWI ça se compile, mais au niveau de la page html, il y a un problème. j'ai essayé beaucoup de choses mais je n y arrive pas encore.

**Trap D** · 24/04/2012, 19h10

Il va falloir vous débrouiller seul, je pars en vacances demain

j'ai quand même fait les modifs :

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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
:- use_module(library('http/thread_httpd')).
:- use_module(library('http/html_write')).
:- use_module(library('http/http_session')).
:- use_module(library('http/http_error')).
 
:- session_predicate yes/1.
:- session_predicate no/1.
 
check(check_landing_gear_control, Rep)   :-
	check_landing_gear_control(Rep) ,!.
 
check(voltage_is_not_recorded2, Rep):-
	voltage_is_not_recorded2(Rep) ,!.
 
check(voltage_is_not_recorded1, Rep):-
	voltage_is_not_recorded1(Rep) ,!.
 
check(unknown, nil ).             
 
 
check_landing_gear_control(Rep) :-
	verifier(check_voltage_extend, R1),
	(R1 = nil ->  verifier(check_voltage_bypass, Rep) ; Rep = R1).
 
voltage_is_not_recorded2(Rep) :-
	verifier(check_voltage_extend, R1),
	(R1 = nil -> not(verifier(check_voltage_bypass, Rep)) ; Rep = R1).
 
voltage_is_not_recorded1(Rep) :-
	not(verifier(check_voltage_extend,Rep)).
 
 
update(Get) :-
	member(fact=Fact, Get),
	member(answer=yes, Get),
	assert(yes(Fact)).
 
update(Get) :-
	member(fact=Fact, Get),
	member(answer=no, Get),
	assert(no(Fact)).
 
update(_).
 
remettre_a_zero :-
	retractall(yes(_)),
 	retractall(no(_)).
 
 
verifier(S, R) :-
	(yes(S) ->   true, R = nil ;
	(no(S) ->     fail ;
	R = S)).
%	ask(S))).
 
 
modifie_text(Atom, Atom1) :-
	atomic_list_concat(List, '_', Atom),
	atomic_list_concat(List, ' ', Atom1).
 
 
 
 
/*<html>
<title>Sheldon_f sample</title>
<head></head>
<body>
 
<?,  
update(Get),
?>
 
Faits vrais :
<ul>
	<?,
		forall(yes(Fact), (modifie_text(Fact, Fact1), ?> <li> <?= Fact1?> <?))
	,?>
</ul>
Faits faux :
<ul>
	<?,
		forall(no(Fact), (modifie_text(Fact, Fact1),?> <li> <?= Fact?> <?))
	,?>
</ul>
 
 
	<?,check(Diag, Fact),
	   (Fact \= nil -> modifie_text(Fact, Fact1), ?>
<pre>
<form id="form1" name="form1" method="GET" action="sheldon_f.prolog">
		<label>
			<?=Fact1?>
		</label>
		<input type="hidden" name = fact value = <?=Fact?> />
		<input type="submit" name = "answer" value="yes" />
		<input type="submit" name = "answer" value="no" />
</form>
</pre>
	<? ; 
	remettre_a_zero, 
	modifie_text(Diag, Diag1),
	?>
	<H2>Solution : <?= Diag1 ?> <br>
<form id="form2" name="form2" method="GET" action="sheldon_f.prolog">
  	<input type="submit" value="autre recherche">
</form>
    <?), ?>
</body>
</html>*/

**sheldon_f** · 24/04/2012, 19h27

TRAP D, merci beaucoup. j ai beaucoup souffert pendant ce travail, ce n'est pas du tout ma spécialité. je fais de la mécanique :p

si ça ne t'embête pas, tu pourras m'expliquer un peu le code en entier, parce que quand je l'ai lu, je m y suis bien perdu :p

et bonnes vaccances !!
NB: tu es un génie !!

Besoin d'aide concernant prolog et psp

Prolog

Discussions similaires

Partager

Partager