DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

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.

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

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

Last edited by Joliet Jake on 19-09-2007 at 16:23

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

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.

Attachment: eserc.jpeg
This has been downloaded 3 time(s).

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

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]

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

A proposito tu con prolog come sei messo?

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

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

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Io faccio qlcsa con la DPLL

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

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

__________________
In Blues We Trust

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

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

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

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

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

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.

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

fatto, controlla PM

__________________
In Blues We Trust