zacguyot

User info:

Registered: Oct 2009
Posts: 61 (0.01 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 10:07:35 [...]
Status: Offline

Post actions:

non riesco a capire perchè spass mi da i letterali max in questo modo:

la mia precedenza è: A>S>D>O>N>G....

LPO come ordinamento

e alcune clausole mi tornano es.:


D(x)* O(x) -> .........prima per LPO2 e poi per LPO1
->O(c)* ............... perchè è sola nella clausola (e qui dovrebbe essere anche strettamente max)
G(x,y)* O(x)* -> D(y)* .... perchè la prima e la seconda nn sono confrontabili e neanche la prima e la terza quindi tutti e 3 max.


ma poi altre non mi tornano proprio, es.:
[**CORREZIONE!! avevo messo la I al posto della S**]
A(x)* S(y,x)* D(y) -> perchè qui nn sono tutti e 3?
S(x,y)* O(x) -> A(y)* e qui? perchè nn tutti max?

ciao!

Last edited by zacguyot on 25-02-2010 at 19:43

zacguyot

User info:

Registered: Oct 2009
Posts: 61 (0.01 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 10:07:35 [...]
Status: Offline

Post actions:

Ancora peggio, non mi trovo + neanche con G(x,y)* O(x)* -> D(y)*

perchè O(x) e D(y) nn sono confrontabili quindi un asterisco a testa ma G(x,y) nn dovrebbe essere senza asterischi perchè minore lpo di O(x) e D(y) ?!?!?!?

sto impazzendo