.dsy:it. - Letterali massimali aiuto !

.dsy:it.
//www.dsy.it

Letterali massimali aiuto !

Posted by Gatz on 31-12-2006 17:53

Ciao a tutti !

Sembra proprip che io non riesca a digerire l'algoritmo per trovare i letterali massimali di una clausola...

se prendiamo ad esempio l'esercizioa pag 41 della dispensa

ordine di precedenza: f > g > P > a > b
ordinamento: LPO

clausola:

f(a)=g(a) => f(a)=f(b)

trasformando i letterali i multiinsiemi diventa:

{f(a),f(a),g(a),g(a)} per il letterale negativo
{f(a),f(b)} per il letterale positivo

cancelliamo i termini uguali dai due multiinsiemi e abiamo:

{g(a),g(a)}
{f(b)}

visto l'ordine di precedenza mi viene da controllare questo:

f(b) >LPO g(a) (ok per LPO2)
f(b)>a (ok per LPO2)

quindi secondo il mio ragionamento si dovrebbe avere:

f(a)=g(a) => f(a)=f(b)*

e invece la dispensa conclude con:

f(a)=g(a)* => f(a)=f(b)

dove sbaglio ????

grazie a tutte le persone che mi risponderanno !

ciao