salut
help sur la réalisation du algorithme de satisfiabilité de Allen en language "c" que je m'étrise pas !! un exposé que je doit remettre le 23/02/2009

principe: soit un concept Cn
pb: satisfiabilité de C?
etape1: transformer C sous ça forme normal négative C[ind]0[/ind]
etape2: /démarrer avec A0 = { C0 (x0) } ( lois démorgane je crois lol )
/appliquer les règle jusqu'à ce qu'aucune règle ne soit applicable
étape3: si A contient une contradiction alors C0 n'est pas satisfiable
sinon C0 est satisfiable.

ps: si quelqu'un connais se algorithme !! et si il peu m'aidé a le réalisé sur le language C sa sera cool !!

merci d'avance !! :a03:

dsl g jamais programmé avec se "c"!! ( g trouvé un doc pour apprendre le langage c en 14 jour !! mais avec le peu de temps que g !! sa sera tro difficile a le réalisé au temps )
je c même pas comment démarré se algorithme!!

voici les regle de transformation:
1/ regle ----> intersection
condition: A contient ( C1 "intersection" C2 ) (x)
mais A ne contient pas C1(x) et C2(x)
action: A' = A U { C1(x) , C2(x) }
2/ ---> l'union "U"
condition: A contient ( C1 U C2 ) (x)
mais A ne contient ni C1 ni C2
action: A' = A U { C1(x)}; A'' = A u { C2(x) }
3/ ---> il existe
condition: A contient ( il existe R.C )(x)
mais il existe pas un individu z tel que C(z) ET R(x,z)
Action: A'= A U { C, R (x,y) }
4/ ---> quelque soie
condition: A contient ( quelque soie R.C ) (x) et R(x,y)
mais ne contient pas C
action A'=A u { C }
5/ ---> >=
condition: A contient (>= nR)(x)
n'existe pas d'individus Z1,....,Zn telque R (x,Zi) , 1<= i <= n et Zi différent de Zj ( 1<=i<=j<=n ) soient contenus dans A
action: A'= A U { R(x,y), 1 <= i <= n } U { yi différent de yj; 1<=i<=j<=n } /où y1,........, yn désignent des noms distincts d'individu non contenus dans A
6/ ----> <=
condition: A contient (<= nR)(x) et A contient des noms distincts d'individus y1, ..... , yn, yn+1
et R(x,y)...... R(x,yn+1) appartient à A
et yi différent de yj n'est pas dans A
Action: pour chaque pair ( yi,yj) ( i déferrent de j ) n'appartient pas a A on a Aij = [yi/yj] A obtenue, à partir de A en remplacent chaque occurrence yi par yj


voila tout les regle !! c tré défficil meme de les comprendre alors pour les programé sur un language que je connais pas ( language c oblige )!

je demande seulement si quelque'un peu m'aidé a démarer se pb!! (un pt aide mieu que rien!!) ! je demande quelque chose tré simple! pour le rendre dans les temps

merci d'avance !! :a03: