st1v

User info:

Registered: Feb 2010
Posts: 22 (0.00 al dì)
Location:
Corso:
Anno:
Time Online: 14:27:20 [...]
Status: Offline

Post actions:

Qualche anima buona mi può spiegare come funziona la procedura di DPLL? Trasformo la formula in fnn, poi in fnc (e fin lì ok), poi prendo l'insieme delle clausole, che sarà nella forma C0={C1,C2,C3,...}, e applico le 9 regole.... ma come? Grazie mille a chiunque vorrà aiutarmi.

EDIT: rifacendo gli esercizi passo per passo ho più o meno capito i passaggi, però faccio fatica a "finire" l'esercizio, ad es. quando ho {p=1, q=1} |- {not q} come devo procedere? Non ho ben capito le regole di asserzione e del letterale puro...

Last edited by st1v on 06-06-2011 at 16:19