niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Originally posted by Microke
Nel primo esercizio io non ho usato nessun spezzamento, e con q=s=0 e p=r=1 mi è venuto unsat

Il secondo esercizio mi viene come te

Il terzo mi viene sat :

p1 = 0, p4 = 1 ├ {p2 V p3,p2 V ¬p3}

p1 = 0, p4 = 1, p2 = 1 ├ {□}

Se metti p2=1 va via tutto,non resta nessuna clausola vuota..

ma lo spezzamento non va usato quando non ci sono altre possibilità?

ovvero:
non si può applicare il letterale puro perchè abbiamo sia p che ¬p; sia q che ¬q; sia r che ¬r e sia s che ¬s

idem per l'asserzione

quindi penso che sia questo il caso il cui usare lo split

questo è quello che ho capito dalle slide.....ditemi se sbaglio

stenofa

User info:

Registered: Oct 2007
Posts: 71 (0.01 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 1anno
Time Online: 21:03:03: [...]
Status: Offline

Post actions:

Prova parziale 31 - Marzo 2008.
es 3.

Determinare il valore di verità della formula seguente, se V è una interpretazione tale che V(p)= F, V(q)=F, V(r)=F

(p->q) and (r or (¬q <-> ¬r))

l'avete fatto?

__________________
..fortunato io...

carla86

User info:

Registered: Dec 2006
Posts: 219 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: Terzo
Time Online: 6 Days, 21:40:54 [...]
Status: Offline

Post actions:

Originally posted by stenofa
Prova parziale 31 - Marzo 2008.
es 3.

Determinare il valore di verità della formula seguente, se V è una interpretazione tale che V(p)= F, V(q)=F, V(r)=F

(p->q) and (r or (¬q <-> ¬r))

l'avete fatto?

stenofa

User info:

Registered: Oct 2007
Posts: 71 (0.01 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 1anno
Time Online: 21:03:03: [...]
Status: Offline

Post actions:

okkeyy!

__________________
..fortunato io...

camno

User info:

Registered: Sep 2007
Posts: 43 (0.01 al dì)
Location:
Corso: Inf. Telecomunicazioni
Anno:
Time Online: 13:27:38 [...]
Status: Offline

Post actions:

Originally posted by darkshadow
PS: metto in allegato l'esercizio 5 e 6 di una delle versioni del primo compitino del 2008, guardate il testo per capire di quale si tratta; cmq entrambi gli esercizi sono della stessa versione.
Se non si capisce qulacosa fatemi sapere.

DS.

camno

User info:

Registered: Sep 2007
Posts: 43 (0.01 al dì)
Location:
Corso: Inf. Telecomunicazioni
Anno:
Time Online: 13:27:38 [...]
Status: Offline

Post actions:

Originally posted by darkshadow
Questi sono quelli che ho fatto per ora. Se qualcuno vuole controllare che siano giusti e se ci sono errori posti la soluzione giusta. Inoltre mi sapete dire cosa devo fare nella 7) che a un certo punto non so cosa applicare.

Ciao e grazie a chi vorrà partecipare!

Ds. [/B]

confermo con Microke e:

1) non vi è nessuno split, e con "q=0 , p=1 , r=1 , s=0/1" viene UNSAT

2) corretto

3) semplicemente con "p3=0 , p2=1 , p1=0 , p4=1" viene "insieme vuoto", quindi SAT

4) corretto

5) corretto

6) corretto

7) con "p1=0 , p4=1" rimane la 'clausola vuota' di -p4, quindi risulta UNSAT





ps: non è per menarmela ma, rispetto agli appelli, posso garantire che queste DPLL (dei compitini) sono veramente semplici!
quindi, consiglio: approfittatene e FATE I COMPITINI!!

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Originally posted by camno
confermo con Microke e:

1) non vi è nessuno split, e con "q=0 , p=1 , r=1 , s=0/1" viene UNSAT

2) corretto

3) semplicemente con "p3=0 , p2=1 , p1=0 , p4=1" viene "insieme vuoto", quindi SAT

4) corretto

5) corretto

6) corretto

7) con "p1=0 , p4=1" rimane la 'clausola vuota' di -p4, quindi risulta UNSAT





ps: non è per menarmela ma, rispetto agli appelli, posso garantire che queste DPLL (dei compitini) sono veramente semplici!
quindi, consiglio: approfittatene e FATE I COMPITINI!!

camno

User info:

Registered: Sep 2007
Posts: 43 (0.01 al dì)
Location:
Corso: Inf. Telecomunicazioni
Anno:
Time Online: 13:27:38 [...]
Status: Offline

Post actions:

Originally posted by niko_2307
mi spiegi perchè non va applicato lo split??

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

questa del letterale singolo non la sapevo...non ho trovato nessun riferimento sulle slide. grazie mille

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Originally posted by Bennyk
Qualcuno ha fatto quest'esercizio?

8) Applicando la procedua DPLL, determinare se la seguente formula è o meno una tautologia.

                    (p1 → q1) V (p2 → q2) → (p1 v p2 → q1 V q2)

stenofa

User info:

Registered: Oct 2007
Posts: 71 (0.01 al dì)
Location: Milano
Corso: Informatica per le Telecomunicazioni
Anno: 1anno
Time Online: 21:03:03: [...]
Status: Offline

Post actions:

Originally posted by niko_2307
qualcuno riesce a postare lo svolgimento dell'8??

una volta trasformata in fnn non riesco a metterla in fnc

__________________
..fortunato io...

HatTrick86

.illuminato.

User info:

Registered: Oct 2007
Posts: 216 (0.03 al dì)
Location: Corbetta - MI
Corso: Info x Telecom
Anno: III (Theorically)
Time Online: 1 Day, 9:13:29 [...]
Status: Offline

Post actions:

ragazzi chiamatemi cretino ma io ad oggi non so dire se ho un SAT o un UNSAT ...riesco a fare la procedura fino ad arrivare ai vari assegnamenti, tipo p=0, t=0, r=1, s=0 ...ma poi come faccio a dire se è un SAT o UNSAT? So che è 1 scemenza e che è facile, ma io non ho capito in base a cosa lo dico...

diciamo che io mi baso su questo:

se mi rimane (p , -p) assegno p=1 avrò UNSAT
...cioè se mi rimane una clausola a cui non posso assegnare un valore coerente con quelli già assegnati rimango bloccato e sn unsat?

Ma il criterio "vero" qual'è?

__________________
"And there goes the Challenger, being chased by the blue, blue meanies on wheels. The vicious traffic squad cars are after our lone driver, the last American hero, the electric centaur, the, the demi-god, the super driver of the golden west!"

Last edited by HatTrick86 on 29-03-2009 at 18:10

gab217

User info:

Registered: Feb 2008
Posts: 347 (0.05 al dì)
Location: prov Varese
Corso: Informatica
Anno: 3
Time Online: 8 Days, 15:33:40 [...]
Status: Offline

Post actions:

qualcuno di voi sa quanto dura il primo compitino?

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

Originally posted by stenofa
sai perchè non riesci, almeno credo, perchè è scritta male. l'ultimo connettivo tra q1 e q2 è un and non un or!

se è scritta male è un errore del prof, perkè è presa dal compitino....cmq non sono riuscito a svolgere nemmeno questa:

(p1 → q1) ^ (p2 → q2) → (p1 ^ p2 → q1 ^ q2)

che in pratica è la stessa cosa con i segni cambiati (ank'essa presa dal compitino)

ogni suggerimento è ben gradito

gab217

User info:

Registered: Feb 2008
Posts: 347 (0.05 al dì)
Location: prov Varese
Corso: Informatica
Anno: 3
Time Online: 8 Days, 15:33:40 [...]
Status: Offline

Post actions:

Qualcuno di voi sa che tipo di valutazioni fa il professore ? Cioè se c'è un tot di es da fare ecc.