pumpkin

User info:

Registered: Nov 2007
Posts: 9 (0.00 al dì)
Location:
Corso: INFORMATICA
Anno:
Time Online: 2:28:11 [...]
Status: Offline

Post actions:

Se ho una formula di questo tipo:

(A and B) or (C and D) come posso andare avanti nella skolemizzazione per trovare le clausole?


Poi sapete cosa intende spass quando inserisce il letterale SKP0 maiuscolo (quelli in minuscolo dovrebbero essere le variabili)?

Last edited by pumpkin on 22-02-2008 at 12:38

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.06 al dì)
Location: The House of the Dead
Corso: I telecomunicazionisti conquisteranno il mondo
Anno: P(X>=2+1|X>2)
Time Online: 2 Days, 0:04:21 [...]
Status: Offline

Post actions:

misà che hai sbagliato a skolemizzare perchè devono essere concatenzioni di formule quindi può essere a o b e a o c e non come hai scritto tu con l'or...ma potrei dire cazzate...

comunque di certo so che se hai A o B
in clausole diventa -> A,B

se hai a e b diventa

-> A
-> B

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.06 al dì)
Location: The House of the Dead
Corso: I telecomunicazionisti conquisteranno il mondo
Anno: P(X>=2+1|X>2)
Time Online: 2 Days, 0:04:21 [...]
Status: Offline

Post actions:

skp0 non so cosa sia ma sicuramente attraverso le opzioni si può togliere, ti consiglio di farlo

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it

yeah

.grande:maestro.

User info:

Registered: Nov 2003
Posts: 1644 (0.20 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Puoi usare il metodo non strutturale (con le leggi distributive), oppure quello strutturale, che sulla dispensa è spiegato solo per il proposizionale

(A and B) or (C and D)

In questo caso usa le leggi distributive e al primo passo ottieni:

((A and B) or C) and ((A and B) or D))
((A or C) and (B or C)) and ((A or D) and (B or D))

Da cui:

A v C, B v C, A v D, B v D


skc -> costante di skolem
skf -> funzione di skolem (simbolo di)
quindi direi che skp potrebbe essere un simbolo di predicato, ma non sono sicuro al 100%
Hai disabilitato le rinomine (CNFRenaming=0)? Dopo averlo fatto te li butta fuori ancora?

__________________
?

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.06 al dì)
Location: The House of the Dead
Corso: I telecomunicazionisti conquisteranno il mondo
Anno: P(X>=2+1|X>2)
Time Online: 2 Days, 0:04:21 [...]
Status: Offline

Post actions:

ah già è vero ... infatti, concordo!

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it

pumpkin

User info:

Registered: Nov 2007
Posts: 9 (0.00 al dì)
Location:
Corso: INFORMATICA
Anno:
Time Online: 2:28:11 [...]
Status: Offline

Post actions:

Intanto grazie per le risposte...per quanto riguarda skp0 disabilitando le rinomine non spunta più...cmq adesso cerco di capire bene come funziona...per quanto riguarda la skolemizzazione vi faccio sapere....grazie