| Autore |
 Discussione  |
|
vampire
Utente medio
Città: Bari
|
 Inserito il - 02/07/2009 : 11:40:47
|
Citazione:
Messaggio inserito da hewlett
Io ho detto solo ciò che ho visto... pur sostenendo a pieno quello che dite
si ma infatti era solo un consiglio il mio..nel senso che nn bisogna fossilizzarsi su un unico tipo di risoluzione...ce ne possono essere tante..è abbastanza vario questo esercizio..naturalmente almeno la formalizzazione in clausole deve essere corretta e coerente cn quella ke dice il linguaggio naturale.. |
 |
|
|
Frisketta
Utente medio
Regione: Puglia
Prov.: Foggia
Città: provincia
|
Inserito il - 02/07/2009 : 14:41:27
|
| E il primo esercizio del modulo A come si faceva? |
Frisketta |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 02/07/2009 : 16:36:57
|
quello del grafo?
Moralizzavi e grafo e trovavi le tre cricche.
La probabilità congiunta è na cavolata, bastava ricordarsi che è il prodotto della probabilità delle cricche fratto il prodotto delle probabilità di intersezione delle cricche |
 |
|
|
|
Frisketta
Utente medio
Regione: Puglia
Prov.: Foggia
Città: provincia
|
Inserito il - 02/07/2009 : 20:20:47
|
| ok grazie |
Frisketta |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 07/07/2009 : 15:43:39
|
Citazione:
Messaggio inserito da hewlett
no ragà ho visto la risoluzione della professoressa... si risolveva in 15-20 passi circa... non era così la formalizzazione...
Oggi ho visto che usciva 15-20 passi con la strategia grezza e non ordinata ;) |
|
|
|
9178angel
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 07/07/2009 : 16:18:47
|
| ah ecco :D |
|
|
|
WonderBoy
Utente giovane
Città: UK
|
Inserito il - 14/07/2009 : 10:53:43
|
Citazione:
Messaggio inserito da nala
io l'ho risolto diversamente:
(E->esiste; A->per ogni; v->OR)
1) Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
2) Ax Ay (Paziente(x) and Ciarlatano(y)) -> !Piace(x,y))
3) !(Ay Medico(y) -> !Ciarlatano(y)) [GOAL NEGATO]
CLAUSOLE
1.{Paziente(x)}
2.{!Medico(y), Piace(x,y)}
3.{!Paziente(x), !Ciarlatano(y), !Piace(x,y)}
4.{Medico(y)}
5.{Ciarlatano(y)}
------------------------------------------
6->{!Ciarlatano(y), !Piace(x,y)} (1,3)
7->{Piace(x,y)} (2, 4)
8-> {!Piace(x,y)} (5,6)
9-> {} (7,8)
L'ho rifatto velocemente e non ho aggiunto le costanti di skolem...
ho chiesto alla professoressa e andava fatto così. |
|
|
|
WonderBoy
Utente giovane
Città: UK
|
Inserito il - 14/07/2009 : 11:02:51
|
Inoltre se proprio vogliamo essere pignoli la formalizzazione è unica! mi sono letto un libro di logica e c'è una bella differenza tra le vostre formalizzazioni.
Dire come faceva Mauro nella prima clausola Ex Ay non è proprio corretto perchè così si pone in essere il medico a seconda dell'esistenza di un paziente quindi andava messo più internamente il per ogni y. |
|
|
|
miky83
Nuovo Utente
|
Inserito il - 14/07/2009 : 11:48:45
|
Citazione:
Messaggio inserito da Mauro84
Non ci credo ancora ma l'esercizio si risolve in un passo, molto semplice a mente fredda (1 minuto circa), meno a mente calda
(1h 30min per questo esercizio con le altre domande completate in 15 min):
1)Esiste almeno un paziente a cui piacciono tutti i medici
2)A nessun paziente piace alcun ciarlatano
Si usi il principio di risoluzione per dimostrare che nessun medico è un ciarlatano;
(E->esiste; A->per ogni; v->OR)
1) Ex Ay (Paziente(x) and Medico(y) -> Piace(x,y))
2) !(Ax Ay Paziente(x) and Ciarlatano(y) -> Piace(x,y))
3) !(Ay Medico(y) -> Ciarlatano(y)) [GOAL NON NEGATO]
!(!(Ay Medico(y) -> Ciarlatano(y))) [GOAL NEGATO] =
= (Ay Medico(y) -> Ciarlatano(y))
Traduzione step by step:
1-> !Paziente(x) v !Medico(y) v Piace(x,y)
2-> !(!Paziente(x) v !Ciarlatano(y) v Piace(x,y))
3-> !(!Medico(y) v Ciarlatano(y))
CLAUSOLE
1.{!Paziente(x),!Medico(y), Piace(x,y)}
2.{Paziente(x)}
3.{Ciarlatano(y)}
4.{!Piace(x,y)}
5.{Medico(y)}
6.{!Ciarlatano(y)}
------------------------------------------
7->{Medico(y), Piace(x,y)} [1,2]
8->{}[3,6]
Gran peccato...
secondo me in questa risoluzione c'è un errore nella formalizzazione del goal
nessun medico è un ciarlatano
è stato tradotto con
!(Ay Medico(y) -> Ciarlatano(y))
ma questo vuol dire che se uno non è medico non è ciarlatano se è medico non lo so
che è diverso da dire che se uno è medico non è ciarlatano
noi dobbiamo dire che se uno è medico non è ciarlatano quindi:
Ay Medico(y) -> !Ciarlatano(y)
questa secondo me è la formalizzazione corretta del goal non negato
edit: cmq ho letto ora le correzioni di wonder quoto tutto..tra l'altro siamo stati a scemunire insieme su sta cosa è normale che diciamo la stessa cosa :D |
Modificato da - miky83 in data 14/07/2009 11:52:35 |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 14/07/2009 : 14:48:24
|
miky, si è giusto, cmq la soluzione corretta era stata gia messa nella prima pagina da nala..
|
|
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 14/07/2009 : 17:37:57
|
CARI wonderboy e company
il problema in questo esercizio non era la formalizzazione ma
era AZZECCARE la formalizzazione perchè anche se il GOAL fosse questo
Ay Medico(y) -> !Ciarlatano(y)) e non quello specificato da me inzialmente, mi dimostrate come si risolve il problema se per caso
non avessi scritto questo:
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y)) ?
Facile dire ORA la formalizzazione è unica :D in sede di esame
non puoi mettere un esercizio dove salta il 90% per una cosa del genere;
quando wonder diceva "come faceva Mauro nella prima clausola Ex Ay non è proprio corretto perchè così si pone in essere il medico a seconda dell'esistenza di un paziente quindi andava messo più internamente il per ogni y"
questa cosa me la devi motivare bene bene perchè è fondamentale ai fini dell'esercizio; se non formalizzavi la prima frase come
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
l'esercizio non usciva neanche sotto tortura, e daje
|
Modificato da - Mauro84 in data 14/07/2009 17:39:37 |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 14/07/2009 : 19:47:57
|
si il problema è azzeccare la formalizzazione, in questo caso non era immediato, tanto è che solo in 2 l'hanno passato con un ottimo voto...
Poi cmq bisogna stare attenti a trasformare anche in clausole.. ad esempio Mauro nella seconda soluzione che hai messo hai sbagliato a trasformare la seconda frase in clausole.. quelli sono tutti Or, non capisco xke sono diventanti And... |
|
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 14/07/2009 : 20:56:22
|
Citazione:
Messaggio inserito da Ivan86
si il problema è azzeccare la formalizzazione, in questo caso non era immediato, tanto è che solo in 2 l'hanno passato con un ottimo voto...
Poi cmq bisogna stare attenti a trasformare anche in clausole.. ad esempio Mauro nella seconda soluzione che hai messo hai sbagliato a trasformare la seconda frase in clausole.. quelli sono tutti Or, non capisco xke sono diventanti And...
si vero ma nella fretta :D ci siamo capiti cmq
|
|
|
|
rel
Utente assiduo
|
Inserito il - 14/07/2009 : 22:34:22
|
Citazione:
Messaggio inserito da Mauro84
.. e daje..
"daje lupi" forse :D
(citando un qualcosa che dovrebbe essere noto a tutti i più meritevoli tra voi) |
|
|
|
WonderBoy
Utente giovane
Città: UK
|
Inserito il - 16/07/2009 : 10:15:24
|
Citazione:
Messaggio inserito da Mauro84
CARI wonderboy e company
mi dimostrate come si risolve il problema se per caso
non avessi scritto questo:
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y)) ?
forse non mi sono spiegato bene 
"esiste almeno un paziente cui piacciono tutti i medici"
la frase era un qualcosa simile.
si formalizzava in
Ex [Paziente(x) and (Ay Medico(y) -> Piace(x,y))]
che tradotto in clausole è
{ paziente(Skx)}
{!medico(y), piace(Skx, y)}
Questo detto dalla prof non l'ho detto io! 
Poi io ho dedotto quello che ho scritto prima...ovvero il fatto per la quale mettiamo il per ogni più internamente ;)
Citazione:
Messaggio inserito da Mauro84
Facile dire ORA la formalizzazione è unica :D in sede di esame
non puoi mettere un esercizio dove salta il 90% per una cosa del genere;
vabbè ci vuole anche una buona dose di fortuna...
Citazione:
Messaggio inserito da Mauro84
quando wonder diceva "come faceva Mauro nella prima clausola Ex Ay non è proprio corretto perchè così si pone in essere il medico a seconda dell'esistenza di un paziente quindi andava messo più internamente il per ogni y"
questa cosa me la devi motivare bene bene perchè è fondamentale ai fini dell'esercizio; se non formalizzavi la prima frase come
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
l'esercizio non usciva neanche sotto tortura, e daje
Ma non è vero mauro! mannagg
L'ho fatto vedere alla prof e mi ha detto che era giusto...poi non so che dirti. appena mi libero posto la mia soluzione.
A me riusciva in 14 passi con la risoluzione grezza. |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 16/07/2009 : 10:21:38
|
Citazione:
Messaggio inserito da WonderBoy
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
Ma non è vero mauro! mannagg
L'ho fatto vedere alla prof e mi ha detto che era giusto...poi non so che dirti. appena mi libero posto la mia soluzione.
A me riusciva in 14 passi con la risoluzione grezza.
Fallo l'esercizio senza mettere quella formula in quel modo traducile in clausole e poi vediamo se esce :D
Il discorso lo ripeto è che se non azzeccavi la prima formula l'esercizio non ESCE; detto questo le formalizzazioni in logica non è detto che siano uniche lo dimostrato anche con la traccia del 16 giugno 2009 con una formalizzazione diversa da quella proposta dalla prof. Mo non è che quello che dice la prof è tutto giusto; su quello che dico un po di evidenza la metto o no?
pensa che la mia prima frase
formalizzata va ULTRA bene; (giusto per tenerti contento la prof. ha detto che va bene)
QUINDI se dici che riesci a risolvere il problema senza mettere quella frase così fallo e vedrai che non ti uscirà mai;
resta il fatto che anche DIO mi deve motivare il fatto che con la mia frase l'esercizio non esce :D |
Modificato da - Mauro84 in data 16/07/2009 10:29:29 |
|
|
|
miky83
Nuovo Utente
|
Inserito il - 16/07/2009 : 12:23:35
|
Citazione:
Messaggio inserito da nala
io l'ho risolto diversamente:
(E->esiste; A->per ogni; v->OR)
1) Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
2) Ax Ay (Paziente(x) and Ciarlatano(y)) -> !Piace(x,y))
3) !(Ay Medico(y) -> !Ciarlatano(y)) [GOAL NEGATO]
CLAUSOLE
1.{Paziente(x)}
2.{!Medico(y), Piace(x,y)}
3.{!Paziente(x), !Ciarlatano(y), !Piace(x,y)}
4.{Medico(y)}
5.{Ciarlatano(y)}
------------------------------------------
6->{!Ciarlatano(y), !Piace(x,y)} (1,3)
7->{Piace(x,y)} (2, 4)
8-> {!Piace(x,y)} (5,6)
9-> {} (7,8)
L'ho rifatto velocemente e non ho aggiunto le costanti di skolem...
scusa mauro ma è questa la soluzione perchè dici che non esce? |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 16/07/2009 : 12:31:03
|
Citazione:
Messaggio inserito da miky83
Citazione:
Messaggio inserito da nala
io l'ho risolto diversamente:
(E->esiste; A->per ogni; v->OR)
1) Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
2) Ax Ay (Paziente(x) and Ciarlatano(y)) -> !Piace(x,y))
3) !(Ay Medico(y) -> !Ciarlatano(y)) [GOAL NEGATO]
CLAUSOLE
1.{Paziente(x)}
2.{!Medico(y), Piace(x,y)}
3.{!Paziente(x), !Ciarlatano(y), !Piace(x,y)}
4.{Medico(y)}
5.{Ciarlatano(y)}
------------------------------------------
6->{!Ciarlatano(y), !Piace(x,y)} (1,3)
7->{Piace(x,y)} (2, 4)
8-> {!Piace(x,y)} (5,6)
9-> {} (7,8)
L'ho rifatto velocemente e non ho aggiunto le costanti di skolem...
scusa mauro ma è questa la soluzione perchè dici che non esce?
Ma chi sta dicendo che non esce;) sto dicendo che se non azzecchi
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
l'esercizio non ti uscirà mai e nessuno mi motiva il fatto che
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y)) [risoluz prof] possa scriverlo come
Ex Ax Paziente(x) and Medico(y) -> Piace(x,y) [risoluz mia]
|
|
|
|
WonderBoy
Utente giovane
Città: UK
|
Inserito il - 16/07/2009 : 13:02:44
|
Citazione:
Messaggio inserito da Mauro84
Ma chi sta dicendo che non esce;) sto dicendo che se non azzecchi
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
l'esercizio non ti uscirà mai
su questo non mi posso esprimere perchè non ho provato 
Citazione:
Messaggio inserito da Mauro84
e nessuno mi motiva il fatto che
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y)) [risoluz prof] possa scriverlo come
Ex Ax Paziente(x) and Medico(y) -> Piace(x,y) [risoluz mia]
Attenzione nessuno sta dicendo che la tua formalizzazione è errata, sto dicendo solamente che la formalizzazione della prof è più corretta.
Procedendo nel tuo modo leghi i medici all'esistenza di un paziente invece non è vero, o meglio secondo la logica e andando anche un po a senso non è propriamente corretto.
Spero di essermi chiarito... |
Modificato da - WonderBoy in data 16/07/2009 13:03:35 |
|
|
|
miky83
Nuovo Utente
|
Inserito il - 16/07/2009 : 13:03:24
|
Citazione:
Messaggio inserito da Mauro84
Citazione:
Messaggio inserito da miky83
Citazione:
Messaggio inserito da nala
io l'ho risolto diversamente:
(E->esiste; A->per ogni; v->OR)
1) Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
2) Ax Ay (Paziente(x) and Ciarlatano(y)) -> !Piace(x,y))
3) !(Ay Medico(y) -> !Ciarlatano(y)) [GOAL NEGATO]
CLAUSOLE
1.{Paziente(x)}
2.{!Medico(y), Piace(x,y)}
3.{!Paziente(x), !Ciarlatano(y), !Piace(x,y)}
4.{Medico(y)}
5.{Ciarlatano(y)}
------------------------------------------
6->{!Ciarlatano(y), !Piace(x,y)} (1,3)
7->{Piace(x,y)} (2, 4)
8-> {!Piace(x,y)} (5,6)
9-> {} (7,8)
L'ho rifatto velocemente e non ho aggiunto le costanti di skolem...
scusa mauro ma è questa la soluzione perchè dici che non esce?
Ma chi sta dicendo che non esce;) sto dicendo che se non azzecchi
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y))
l'esercizio non ti uscirà mai e nessuno mi motiva il fatto che
Ex Paziente(x) and Ay (Medico(y) -> Piace(x,y)) [risoluz prof] possa scriverlo come
Ex Ax Paziente(x) and Medico(y) -> Piace(x,y) [risoluz mia]
perchè questa significherebbe che il medico è in funzione del paziente...cioè se non ci sono pazienti non c'è il medico...stai dicendo...esiste un paziente per ogni medico per cui ad un paziente piace un medico.
invece la frase era
Esiste almeno un paziente a cui piacciono tutti i medici
tutti i medici è completamente staccato dal paziente...
provando a tradurlo in uno pseudo linguaggio logico sarebbe
eiste un pippo che è paziente e per ogni pluto che è medico a pippo piace pluto
con la tua soluzione sarebbe
esiste un pippo che è paziente per ogni pluto che è medico per cui a pippo piace pluto
stai dicendo in sostanza che esiste un paziente per ogni medico
cioè in un italiano più normale che tutti i medici hanno un paziente e questo nella frase non sta scritto...queste cose sono riminiscenze delle lezioni seguite da borzacchini...hanno fatto una cazzata a togliere l'esame di logica...ste cose si studiano come si deve non è vero che è a culo...ste cose mi ricordo che le spiegava per bene. |
|
|
|
Discussione |
|
ESERCIZIO 2 APPELLO 1 LUGLIO 2009
