Esia020213

Intelligenza Artificiale
Ingegneria Elettronica, Informatica, Elettrica
Compito di Fondamenti di Intelligenza Artificiale
13 febbraio 2002
Matricola: ______________________________________________________________________
Cognome: _______________________________________________________________________
Nome: __________________________________________________________________________
Corso di Laurea: _________________________________________________________________
(ATTENZIONE:
motivazioni!)
risposte brevi e puntuali! Riportare i passaggi significativi e le
1) Si traducano le seguenti frasi nella logica dei predicati del primo ordine, poi in forma a clausole:
- Se si fa parte del personale dell’università allora si è un docente o un non docente
- Ogni docente tiene almeno un corso universitario
- Carlo lavora all’università
- Carlo non tiene alcun corso
Si usi poi il principio di risoluzione per dimostrare che Carlo è un non docente.
2) Dato il seguente albero di ricerca per un gioco a due giocatori, si mostri quale mossa selezionerà
MAX, secondo l'algoritmo MIN-MAX. Si mostri inoltre come può essere ridotto l'albero
applicando i tagli alfa-beta.
MAX
A
D
1
J
I
16
11
G
F
E
H
MIN
C
B
K
1 8
M
L
1
2
1
2
(segue)
1
MAX
N
O
P
Q
11
51
3
4
3) Si consideri il problema di trasformare la configurazione di blocchi mostrata in (a) in quella
mostrata in (b) usando le operazioni sollevare, posare, mettere insieme, dividere. Sarebbe
ragionevole cercare di risolvere questo problema usando la procedura di ricerca in salita?
Motivare la risposta.
D
C
B
A
D
C
B
A
Intelligenza Artificiale
Ingegneria Elettronica, Informatica, Elettrica
Compito di Applicazioni Avanzate di Intelligenza Artificiale
13 febbraio 2002
Matricola: ______________________________________________________________________
Cognome: _______________________________________________________________________
Nome: __________________________________________________________________________
Corso di Laurea: _________________________________________________________________
(ATTENZIONE:
motivazioni!)
risposte brevi e puntuali! Riportare i passaggi significativi e le
1) Quando STRIPS scomponeva una meta composta, poneva nello stack delle mete la meta
composta e ognuna delle sue componenti. Questo era importante perché dopo aver soddisfatto
ognuna delle mete componenti era necessario essere sicuri che fosse ancora soddisfatta la meta
composta. NOAH, d’altra parte, una volta che sono state isolate le componenti non mantiene la
meta composta originaria. Come fa allora a trattare il problema che STRIPS risolve andando
indietro e ricontrollando la meta originaria?
2) Realizzare un sistema per l’analisi semantica che operi su frasi predicative, del tipo
il rame è un metallo
l’oro è un metallo prezioso
l’uomo è un animale intelligente
ecc. Assumendo come valida la teoria secondo la quale nelle metafore predicative (ad esempio, le
arance sono l’oro della Sicilia) si mettono in relazione proprietà comuni, derivate direttamente o
indirettamente, spiegare come si può estendere l’analizzatore semantico a questo tipo di frasi. (NB:
l’analizzatore deve accettare come valide o respingere le frasi fornite in ingresso).
3) Si descriva l’algoritmo di Quantizzazione Vettoriale e se ne esemplifichi l’uso nel caso di uno
spazio bidimensionale. Si evidenzino i vantaggi e i limiti della quantizzazione vettoriale.