.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- domanda (http://www.dsy.it/forum/showthread.php?threadid=31967)

Ehm aspetta, quel punto vale anche per la ricerca di dimostrazioni.
Infatti in quel caso il ramo si chiude. Nella ricerca del contromodello
il ramo esaminato non deve chiudere.

esempio: esercizio 2 pag.25 di questo pdf .

per chiarirci, lì (a,a) lo consideri o no? Perchè non essendoci altro che "a" che è "già usato" da x dovresti usare un nuovo termine per y, cioè "b".
L'esercizio si risolve in entrambi i casi, ma inun caso è risolto giusto, nell'altro no. e qual'è quello giusto


Per il punto 3 mi spiego meglio: per la ricerca del (contro)modello devi controllare che la variabile presente nella formula universale che sta nell'ultima foglia sia stata istanziata con tutti i termini ground.
Non me lo sto inventando, controlla a pagina 28 del PDF in alto, clausola 3

tanto più che c'è la nota 21 in basso che recita

Non accertarsi che le tre condizioni seguenti valgano davvero costituisce errore frequente negli esercizi.

__________________
In Blues We Trust

Allora io ho provato a farlo riciclando sempre la "a".
Anche perche' se ci mettevo b, il secondo ramo nn avrebbe mai chiuso
e onestamente nn so se tutte le dimostrazioni devono uscire o
ha anche previsto il fatto che nn siano dimostrabili.

Originally posted by Joliet Jake
[

Per il punto 3 mi spiego meglio: per la ricerca del (contro)modello devi controllare che la variabile presente nella formula universale che sta nell'ultima foglia sia stata istanziata con tutti i termini ground.
Non me lo sto inventando, controlla a pagina 28 del PDF in alto, clausola 3

tanto più che c'è la nota 21 in basso che recita [/B]

A proposito tu con prolog come sei messo?

ah si è vero, scusa non mi ricordavo come andava l'esercizio, sorry, mi sembrava si potesse risolvere in entrambi i modi -_-

comunque possiamo stabilire il principio di riciclare prima di aggiungere roba.

sul punto 3 siamo d'accordo, appunto, cioè la necessità di istanziarle tutte c'è solo per il (contro)modello.. ok.

comunque mi sa che sarà meglio andare a naso... senza complicarsi troppo la vita.
Io fino a stasera tardi sono su questo forum, se hai domande postale.
Vediamo di fare brainstorming sui problemi..

__________________
In Blues We Trust

Io faccio qlcsa con la DPLL

io invece prolog, è un bel casino fare gli alberi.

__________________
In Blues We Trust

Ma tu hai una mezza idea di quali siano le regole?
Potresti postare qlcsa?
Io non ho nessuna info.

ma per prolog o per le dpll?
per le dpll ci sono , per prolog l'approccio lo devi desumere dagli esercizi, io mi sono "procurato" il libro di Bratko scritto quà e mi sono letto tutti i capitoli elencati.
di fatto devi andare sequenzialmente e fare sostituzioni, non è poi così difficile, scaricati le soluzioni quà e il testo quà
e guardati qualche esercizio.. non è difficile come sembra, ma è un casino stare attenti a tutto.
--------------------------
soluzione del problema 2 pag.31 del pdf di prima
è

A={a,b}
I(R)= {(b,a)}

e l'ultima foglia contiene
*(tutti i perogni), R(b,a), (non)R(a,a), (non)R(a,b)

e poi basta perchè applicando "b" al "Vx" si andrebbe avanti all'infinito per colpa dell' "(esiste)y"

giusto?

__________________
In Blues We Trust

Ciao scusa sono andato a mangiare e a comprare 2 cose.
Adesso continuo a smazzarmi la DPLL.
Anche io mi sono procurato il Bratko adesso vedo anche quello.
Se per caso hai skype o msn dammelo in pvt cosi' almeno e' piu' comodo
comunicare.

fatto, controlla PM

__________________
In Blues We Trust