| Autore |
 Discussione  |
|
|
hulk85
Nuovo Utente
|
 Inserito il - 18/07/2009 : 21:59:19
|
Ciao Raga,
sapreste tradurre questa il Formule del primo Ordine?
(a) ogni malato non stima se stesso;
(b) ci sono dottori che curano se stessi;
(c) qualche malato stima tutti i dottori che lo curano;
(d) tutti i malati stimano almeno un dottore che li cura.
soprattutto la (d)
GRAZIE.
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 19/07/2009 : 10:40:24
|
(a) ogni malato non stima se stesso;
Ax MALATO(x) -> !STIMA (x,x)
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(x) and CURA (x,x)
(c) qualche malato stima tutti i dottori che lo curano;
Ex MALATO(x) and Ay(DOTTORE(y) and CURA(y,x) -> STIMA(x,y))
(d) tutti i malati stimano almeno un dottore che li cura.
Ax MALATO and Ey(DOTTORE(y) and CURA(y,x) -> STIMA (x,y))
Ma in questo esercizio c'è un GOALSSSSSSSSSSS? se si postalo che controllo che tutto funzioni ;) |
Modificato da - Mauro84 in data 19/07/2009 10:40:50 |
 |
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 19/07/2009 : 11:32:59
|
anche io ho fatto come Mauro.
Se c'è il goal mettilo. da dove prendi questi esercizi?
grazie |
 |
|
|
|
arcanum
Utente giovane
|
Inserito il - 19/07/2009 : 12:04:48
|
Uguale! Anche a me viene così..
ho solo un dubbio sulla seconda frase, si può mettere la "y" anzichè la "x"? ovvero..
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(y) and CURA (y,y) |
|
|
|
mareemarmo
Nuovo Utente
Prov.: Taranto
Città: Taranto
|
Inserito il - 19/07/2009 : 12:11:02
|
Anche io ho un dubbio sulla b), non si potrebbe usare la stessa forma della a)?
b)ci sono dottori che curano se stessi
Ex Dottore(x) -> Cura(x,x) |
|
|
|
arcanum
Utente giovane
|
Inserito il - 19/07/2009 : 12:35:23
|
Ah non me n'ero accorto...la B io l'ho tradotta così:
Ex Dottore(y) -> Cura(y,y)
|
|
|
|
hulk85
Nuovo Utente
|
Inserito il - 19/07/2009 : 12:58:05
|
Questo è il file allegato...
Divertitevi; domani spero non ci sia da Piangere...
Ciao
Allegato:  logica_primo_ord1_1.pdf
173,48 KB |
|
|
|
vampire
Utente medio
Città: Bari
|
Inserito il - 19/07/2009 : 13:12:02
|
Citazione:
Messaggio inserito da hulk85
Questo è il file allegato...
Divertitevi; domani spero non ci sia da Piangere...
Ciao
Allegato: logica_primo_ord1_1.pdf
173,48 KB
dando un'occhiata veloce nn è male questo file..questo faceva parte del corso disattivato? |
|
|
|
Mauro84
Utente medio
Regione: Puglia
Prov.: Bari
|
Inserito il - 19/07/2009 : 15:29:13
|
Citazione:
Messaggio inserito da arcanum
Uguale! Anche a me viene così..
ho solo un dubbio sulla seconda frase, si può mettere la "y" anzichè la "x"? ovvero..
(b) ci sono dottori che curano se stessi;
Ex DOTTORE(y) and CURA (y,y)
Sono variabili quelle o metti y o metti x non cambia nulla,
l'importante è ricordare di non usare la stessa
variabile quantificata più volte nella stessa formula :D
ossia Ax P(x,x) and Ex Q(x) diventerebbe Ax P(x,x) and Ey Q(y);
Poi per essere coerenti nell'uso delle variabili puoi anche mettere y
:D |
Modificato da - Mauro84 in data 19/07/2009 15:32:18 |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 19/07/2009 : 15:39:29
|
Citazione:
Messaggio inserito da arcanum
Ah non me n'ero accorto...la B io l'ho tradotta così:
Ex Dottore(y) -> Cura(y,y)
Ey Dottore(y) -> Cura(y,y) e non Ex
forse non te ne sei accorto ;) |
|
|
|
|
arcanum
Utente giovane
|
Inserito il - 19/07/2009 : 16:57:06
|
Ah si ovviamente... Ey! :)
sto un pò rinc... |
|
|
|
Ivan86
Utente Capoeirista
Regione: Puglia
Prov.: Bari
Città: Bitritto
|
Inserito il - 19/07/2009 : 18:31:24
|
Citazione:
Messaggio inserito da arcanum
Ah si ovviamente... Ey! :)
sto un pò rinc...
a chi lo dici |
|
|
|
|
orchidea
Nuovo Utente
Regione: Puglia
Prov.: Foggia
Città: Cerignola
|
Inserito il - 19/07/2009 : 20:26:05
|
Io invece l'ho svolto in questo modo, credo vadano bene entrambi:
(a) ogni malato non stima se stesso:
Ax MALATO(x) --> !STIMA (x,x)
(b) ci sono dottori che curano se stessi:
Ey DOTTORE(y)--> CURA(y,y)
(c) qualche malato stima tutti i dottori che lo curano:
Ex MALATO(x) and Ay(DOTTORE(y,x) --> STIMA(x,y))
(d) tutti i malati stimano almeno un dottore che li cura:
Ax MALATO(x) and Ey(DOTTORE(y,x) --> STIMA (x,y)) |
Modificato da - orchidea in data 19/07/2009 20:27:01 |
|
|
|
mareemarmo
Nuovo Utente
Prov.: Taranto
Città: Taranto
|
Inserito il - 19/07/2009 : 20:32:26
|
Come fa Dottore ad essere contemporaneamente simbolo predicativo unario e simbolo relazionale binario?
Credo non sia possibile questa interpretazione... |
|
|
|
orchidea
Nuovo Utente
Regione: Puglia
Prov.: Foggia
Città: Cerignola
|
Inserito il - 19/07/2009 : 20:52:57
|
| Cmq io ho tradotto le frasi in clausole, ho formulato dei goals e il principio di risoluzione esce. |
|
|
| |
Discussione |
|
NL to FOL - Formalizzazione delle frasi.
