rasta84

User info:

Registered: May 2005
Posts: 45 (0.01 al dì)
Location: Saronno
Corso: Ticom
Anno: I
Time Online: 1 Day, 5:26:40 [...]
Status: Offline

Post actions:

Non ho mai visto l'applicazione della regola MRR, quindi ho difficoltà nel fare a mano questa inferenza:

14[0:MRR:7.0,1.0] || -> L(b)*.

dove le clausole 7 e 1 sono le seguenti:

7[0:Inp] || T(a) -> L(b)*.
1[0:Inp] || -> T(a)*.

Qualcuno riesce a spiegarmi i passaggi, x favore?

__________________
"Credo nelle rovesciate di Bonimba, e nei riff di Keith Richards ... Credo che non è giusto giudicare la vita degli altri, perché comunque non puoi sapere proprio un cazzo della vita degli altri."

rasta84

User info:

Registered: May 2005
Posts: 45 (0.01 al dì)
Location: Saronno
Corso: Ticom
Anno: I
Time Online: 1 Day, 5:26:40 [...]
Status: Offline

Post actions:

proprio nessuno riesce ad aiutarmi con la MRR?

Vi spiego un po' meglio il problema..

Da quello che ho capito dalla dispensa (guardate l'allegato) questa regola di riduzione cancella una delle due premesse e ne crea una nuova più semplice, solo se vengono rispettate le tre condizioni.

Quello che non capisco è perchè nella dimostrazione del mio problema, Spass sembra fregarsene di queste condizioni. Tra l'altro in alcuni casi trova un matcher anche se l'algoritmo di mathing dovrebbe restituire FAIL per i letterali che vengono scelti..

Per esempio:

17[0:MRR:9.0,1.0] || -> T(a)* T(b).

dove le clausole 9 e 1 sono:

9[0:Inp] || L(b)* -> T(b) T(a).
1[0:Inp] || -> T(U) L(U)*.


matcha il letterale 0 della clausola 9 (L(b)) con il letterale 0 della clausola 1 (T(U)). Il matching non dovrebbe fallire visto che i simboli in radice per i due letterali sono diversi?

Attachment: mrr.jpg
This has been downloaded 19 time(s).

__________________
"Credo nelle rovesciate di Bonimba, e nei riff di Keith Richards ... Credo che non è giusto giudicare la vita degli altri, perché comunque non puoi sapere proprio un cazzo della vita degli altri."

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.07 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:

a me non è mai capitato che facessi questo tipo di risoluzione... hai provato a disabilitare il renaming ?
-CNFRenaming=0

a quest'ora dico puttanate ti avverto, ma tentare non nuoce

__________________
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.21 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Sulla MRR non mi pronuncio perché devo ancora rivederla (insieme alle altre). In questi giorni l'unificazione tra letterali apparentemente "errati" purtroppo è capitata anche a me e non sono ancora riuscito a capire cosa significhi.

__________________
?

rasta84

User info:

Registered: May 2005
Posts: 45 (0.01 al dì)
Location: Saronno
Corso: Ticom
Anno: I
Time Online: 1 Day, 5:26:40 [...]
Status: Offline

Post actions:

Infatti, mi è capitato una scelta di letterali sbagliati anche per la resolution e non riesco a spiegarmi il motivo..

Disattivando la MRR funziona tutto bene, solo che ho paura che al prof non vada bene...

__________________
"Credo nelle rovesciate di Bonimba, e nei riff di Keith Richards ... Credo che non è giusto giudicare la vita degli altri, perché comunque non puoi sapere proprio un cazzo della vita degli altri."

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.07 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:

si sa nulla su questo problema?
Neanceh a farlo a posta ho avuto lo stesso prob su un eserc con identità, la cosa bella è che anche la sovrapposizione dx sembra sbagliata perchè da una parte c'è l'uguaglianza, mentre nell altra clausola non c'è una identità ma una funzione generica...

__________________
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.21 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Prova disattivando la saturazione dell'input, con -SatInput=0 e dimmi se succede ancora

__________________
?

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.07 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:

Originally posted by yeah
Prova disattivando la saturazione dell'input, con -SatInput=0 e dimmi se succede ancora

__________________
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

mattcobain

I am my own parasite

User info:

Registered: Oct 2003
Posts: 1033 (0.13 al dì)
Location: Periferia sud-ovest
Corso: Informatica Magistrale
Anno: Fuori corso
Time Online: 13 Days, 19:47:00: [...]
Status: Offline

Post actions:

Ragazzi ma come si disattiva la MRR?

yeah

.grande:maestro.

User info:

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

Post actions:

-RMRR=0 o qualcosa del genere, guarda sulle opzioni di SPASS

__________________
?