Discussion :

[Abdoulive]

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

[Alp]

Tu as commencé par là ? http://www.google.com/search?ie=UTF-...C3%A9+de+Allen
C'est bête hein, mais en le faisant j'ai découvert le principe de l'algorithme que tu dois faire...
Pour le langage C, si tu as un soucis, nous avons un forum dédié au langage C (http://www.developpez.net/forums/f18/c-cpp/c/) et tu as également des cours, tutoriels et livres, que tu trouveras depuis http://c.developpez.com/.