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 !!
Partager