Citazione:

---

Messaggio inserito da loz

Al primo esercizio dell'appello modulo A, dopo aver realizzato la rcp, dove chiede "quali parametri occorre associare ai suoi nodi?", qual è la risposta più corretta?

---

Citazione:

---

Messaggio inserito da FRAx

Citazione:

---

Messaggio inserito da loz

Al primo esercizio dell'appello modulo A, dopo aver realizzato la rcp, dove chiede "quali parametri occorre associare ai suoi nodi?", qual è la risposta più corretta?

---

io avrei risposto che in questo caso posso assegnare le probabilità a priori e condizionate sulla base soggettiva del dominio. a fatto degli esempi, giustificando i valori.

per quanto riguarda l'esercizio sul principio di risoluzione io l'avrei risolto così

1. Corso (x,y) e Facile (y) -> Piace (S,y)
2. Corso (SC,y) -> -Facile (y)
3. Ay Corso (IN,y) -> Facile(y)
4. Corso (IN,IUM2)

quindi
1 {Piace (S,y), -Facile(y), -Corso(x,y)}
2 {-Corso(SC,y), -Facile(y)}
3 {-Corso(IN,y), Facile(y)}
4 {Corso(IN,IUM2}
5 {-Piace(S,y), Ans(y)}
______________________________________________

6 {-Facile(y), -Corso(x,y), Ans(y)} (1,5)
7 {Facile(IUM2)} (3,4)
8 {Ans(IUM2)} (6,7)

*indico con "A" "per ogni" e con "-" "not"

c'è qualche errore secondo voi?

---

Citazione:

---

Messaggio inserito da Mauro84

Le soluzioni sono tante, io posto la mia:

1) Ay Esame(y) and Facile(y) -> Piace(S,y)
2) Ay Esame(y) and Corso(Scienze,y) -> !Facile(y)
3) Ay Esame(y) and Corso(Informatica,y) -> Facile(y)
4) Esame(IUM2) and Corso(Informatica, IUM2)
[!Corso(y) !Piace(S,y), Ans(y)]

-------------
1)[!Esame(y), !Facile(y), Piace(S,y) ]
2)[!Esame(y), !Corso(Scienze, y), !Facile(y)]
3)[!Esame(y), !Corso(Informatica, y), Facile(y)]
4)[Esame(IUM2)]
5)[Corso(Informatica, IUM2)]
6)[!Esame(y), !Piace(S,y), Ans(y)]
-----------------------------
7) [!Facile(IUM2), Piace(S,IUM2)] (1,4)
8) [!Corso(Scienze, IUM2), !Facile(IUM2)] (2,4)
9) [!Corso(Informatica, IUM2), Facile(IUM2)] (3,4)
10)[!Piace(S,IUM2), Ans(IUM2)] (4,6)
11)[Facile(IUM2)] (5,9)
12)[Piace(S,IUM2)] (7,11)
13)[Ans(IUM2)] (10,12)

---

Citazione:

---

Messaggio inserito da Mauro84

Sono daccordo con la soluzione di orchidea, ma non con quella di gabri che unifica cose che non si dovrebbero unificare :D. Di solito
la risoluzione prevede che le variabili siano sostituite da costanti;
la 1 e la 3 non sono risolvibili nella soluzione di gabri.
Ma in quel caso gabri sei stata fortunata e ti è andata bene che hai trovato ANS :D

---

Citazione:

---

Messaggio inserito da Mauro84

Sono daccordo con la soluzione di orchidea, ma non con quella di gabri che unifica cose che non si dovrebbero unificare :D. Di solito
la risoluzione prevede che le variabili siano sostituite da costanti;
la 1 e la 3 non sono risolvibili nella soluzione di gabri.
Ma in quel caso gabri sei stata fortunata e ti è andata bene che hai trovato ANS :D

---

Citazione:

---

Messaggio inserito da Gabri

Citazione:

---

Messaggio inserito da Mauro84

Sono daccordo con la soluzione di orchidea, ma non con quella di gabri che unifica cose che non si dovrebbero unificare :D. Di solito
la risoluzione prevede che le variabili siano sostituite da costanti;
la 1 e la 3 non sono risolvibili nella soluzione di gabri.
Ma in quel caso gabri sei stata fortunata e ti è andata bene che hai trovato ANS :D

---

:| ...

def 3.
una sostituzione è una funzione che ad ogni variabile associa un termine

termine::= <costante>|<variabile>|funzione n-aria

fonte:
http://lacam.di.uniba.it:8000/people/courses/IA/UnifEPattMatch.zip


le sostituzioni tra variabili sono lecitissime!! basterebbe dire che siccome le clausole sono quantificate universalmente, allora le variabili che con tanta ostinazione chiamiamo con nomi diversi sono alla fine le stesse, perchè dire Az oppure dire Ac è la stessa cosa perchè è A!!!! altro che se sono capre non possono essere cavoli!!!!

... non fatevi infinocchiare!!:P

---

Citazione:

---

Messaggio inserito da Gabri

http://www.laureateci.it/public/data/FRAx/Logical_Foundations_of_Artificial_Intelligence_cap5.pdf

sul capitolo consigliato dalla carofiglio
utimo esempio a cavallo tra pagine
103 e 104

1) (P(x), not M(x))
2) (M(a))
3) (not P(z))
------------
4)(not M(z))
5)()

fa proprio vedere che mentre nell'esempio precedente ha risolto M(a) con not M(x), invece in questo esempio risolve P(x) con not P(z) che sono due variabili!!!:)

---

Citazione:

---

Messaggio inserito da Gabri

http://www.laureateci.it/public/data/FRAx/Logical_Foundations_of_Artificial_Intelligence_cap5.pdf

sul capitolo consigliato dalla carofiglio
utimo esempio a cavallo tra pagine
103 e 104

1) (P(x), not M(x))
2) (M(a))
3) (not P(z))
------------
4)(not M(z))
5)()

fa proprio vedere che mentre nell'esempio precedente ha risolto M(a) con not M(x), invece in questo esempio risolve P(x) con not P(z) che sono due variabili!!!:)

---

Citazione:

---

Messaggio inserito da vampire
va bè allora io nn capisco xkè le slide devono sviare lo studente con false informazioni...e scoprire queste informazioni per caso..o nel peggior caso non scoprirle e ritrovarsi poi al compito con 18 o NON SUPERATO...è tanto chiedere delle slide chiare e nn ambigue? io capisco che uno deve andare anche a documentarsi sugli articoli, ma le slide almeno devono contenere i concetti fondamentali..e dp uno approfondisce quei concetti..

Nemmeno a lezione questa cosa è stata mai detta...figurati che più di uno la pensava come me..cm dimostrato anche in questo post..boo..

---