Discussion :

[viry0ne]

Bonjour à tous !

Ce post est une bouteille à la mer...
J’ai un DM à boucler au plus tôt (idéalement avant lundi) dont l’évaluation me permettra (ou pas) de valider mon semestre et donc poursuivre mes études.
Autant vous dire que la pression est grande !

Sauf que je bloque sur pas mal de points et j’ai beau tourner dans tous les sens je ne m’en sors pas...

Impossible de tout vous mettre ici mais pour résumer :
J’ai un énorme souci pour mettre une formule en forme DNF
J’ai un souci d’incohérence entre méthode DPLL et résolution
J’aimerais une relecture de ma mise en forme propositionnelle de différentes assertions
J’aimerais une relecture de ma table de vérité
Et je bloque sur les valeurs de vérité de mes prédicats

Bref, sur 6 exercices il n’y en a pas un ou je suis à peu près sûre de moi !!! :’( :’( :’(

Si une âme charitable un tantinet douée en logique voulait bien se faire une conf call ou truc du genre en mode cours particulier ça serait inespéré !

Malheureusement l’isolement du au confinement et l’approche des examens de fin d’année font qu’aucun de mes camarades n’est dispo pour me filer un coup de main... (d’autant qu’il s’agit d’un devoir de rattrapage et que je suis la seule concernée).

A votre bon cœur

[dourouc05]

Pas sûr que tu trouves du monde pour ce genre de choses. Par contre, si tu postes ici tes énoncés, réponses et interrogations (les trois), il y aura sûrement quelqu'un pour te donner un coup de main .

[viry0ne]

Oui c'est sur mais je ne cherche pas grand monde, une personne serait déjà top avec la fermeture des bibliothèques universitaires et des établissement d'enseignement supérieur je me retrouves avec des ressources limitées (malgré la richesse d'Internet) et vachement isolée
Bien sur je pourrais envoyer tout le sujet et ce que j'ai fait mais d'une part je ne cherches pas forcément une âme charitable qui me ferait le sujet, et d'autre part je respecte quand même une bonne conduite de respect de la propriété intellectuelle !
Je ne sais pas si le prof à utilisé ce sujet pour d'autres sections ou compte le réutiliser à l'avenir. Envoyer le tout comme ça en vrac ne serait pas correct je crois...
En plus j'ai gratté des pages et des pages, donc envoyer un pdf de 15 pages c'est pas le top ^^

Donc je réitère mon appel à l'aide... si quelqu'un a envie de passer un petit moment à se gratter la tête sur de la logique ben ça serait méga top cool !
Je dois pas être la seule étudiante à gratter sur ce genre de sujets ici

[Flodelarab]

Bonjour

Tu te trompes sur ce qu'est le forum. Nous pouvons t'aiguiller, te débloquer, t'expliquer, mais nous ne travaillerons pas à ta place. L'énoncé ne nous intéresse pas. Ce sont tes travaux et tes doutes qui nous intéressent. Donc poste-les.

Ce que tu as donné jusqu'ici ne permet pas une aide pertinente. Précise tes questions.

[viry0ne]

Tu te trompes sur ce qu'est le forum.[...] mais nous ne travaillerons pas à ta place.

Non je ne me trompes pas, à aucun moment j'ai demandé qu'on réalise mon travail bien au contraire.

L'énoncé ne nous intéresse pas. Ce sont tes travaux et tes doutes qui nous intéressent.

Comment comprendre un développement, plus encore s'il est faux, si on ne dispose pas de l'énoncé ?

A l'inverse, comment respecter le droit d'auteur sur le sujet et ne pas spoiller les peut-être 3 promotions qui me suivront si je poste tout mon travail ?
(ce qui motive ma réticence à publier sur le forum les énoncés, ou mêmes les réponses seules).

Ce que j'ai réalisé répond à une consigne précise... Mon interrogation principale à cet instant précis ?
Exo 4 : Comment se fait-il qu'en voulant démontrer que B est une conséquence logique de F avec DPLL je trouve une branche cohérente (donc B n'est pas une conséquence logique de F) tandis que je parviens à trouver une clause vide par la méthode de résolution (ce qui démontre B conséquence logique de F).
Du coup je refais tout le bazar avec d'autres clauses.
Conclusions identiques pour DPLL en "élaguant" d'autres branches, par contre je parviens à tourner ma résolution (Robinson) en tombant sur une clause qui ne me permets pas de générer une clause vide.
Est ce que cette formulation est plus précise pour envisager un début d'aiguillage ?

Par ailleurs en effet j'aurais souhaité une relecture (j'ai bien dit relecture) de mes formulations d’hypothèses en logique des prédicats, ainsi que ma mise en DNF et CNF. (encore une fois, difficile sans publier l'énoncé, ce que nous sommes d'accord, je ne souhaites pas faire en mode "public")
Et puisqu'on y est un petit œil à ma table de vérité ainsi qu'à mes valeurs de vérité pour mes hypothèses ça serait royal. (même remarque).

Merci l'attention portée à ma demande, espérant que mes indications vous permettent de me filer un éventuel coup de main !

[Flodelarab]

je trouve une branche cohérente

"cohérente" ? C'est quoi ? Une branche dont la valeur peut être "Vrai" (ou 1) ?

De ce que je comprends, tu veux que B soit vrai quand F est vrai. B n'est pas forcément vrai sans F, n'est-ce pas ?

B n'est pas une conséquence logique de F

Si tu as remplacé F par vrai, tu ne peux plus conclure cela.

Par ailleurs en effet j'aurais souhaité une relecture (j'ai bien dit relecture) de mes formulations d’hypothèses en logique des prédicats, ainsi que ma mise en DNF et CNF. (encore une fois, difficile sans publier l'énoncé, ce que nous sommes d'accord, je ne souhaites pas faire en mode "public")
Et puisqu'on y est un petit œil à ma table de vérité ainsi qu'à mes valeurs de vérité pour mes hypothèses ça serait royal. (même remarque).