Fondamenti di Intelligenza Artificiale M (UNIBO 0937)
Da VitaUniversiWiki.
Per la preparazione di questo esame sono utili gli Appunti di Prolog.
Indice |
Docenti e tutor
- Titolare: Prof. Paola Mello
- Tutor: Ing. Federico Chesani
- Tutor: Ing. Marco Montali
Lista delle domande di teoria
Questa sezione raccoglie le domande di teoria dei precedenti compiti scritti, inclusi quelli di LS.
Fondamenti di Intelligenza Artificiale M
- Si spieghi in cosa consiste l'anomalia di Sussmann con un esempio. (15/07/2010)
- Descrivere brevemente in cosa consiste la Open World Assumption (OWA) e la Close World Assumption (CWA), fornendo un breve esempio di base di conoscenza che mostri come tali assunzioni modificano il ragionamento su tale base di conoscenza. (15/07/2010)
- Si dia la definizione di euristica ammissibile e euristica monotona. La monotonicità della f euristica ne garantisce l'ammissibilità? Perché sono importanti le euristiche ammissibili? E quelle monotone? (15/07/2010)
- Si discuta la negazione in Prolog, perché non è la negazione classica, i suoi problemi di utilizzo e se ne mostri la sua implementazione in Prolog. (15/06/2010)
- Si spieghi cosa si intende per “frame” problem nella pianificazione e si riportino come esempio in Prolog alcuni degli assiomi che lo trattano nella formulazione (calcolo delle situazioni) del mondo a blocchi di Kowalski. (15/06/2010)
- Nell'ambito dello standard OWL basato su Description Logics, descrivere brevemente cosa si intende quando una relazione (proprietà) è definita come "funzionale". Aggiungere un brevissimo esempio esplicativo. (15/06/2010)
Fondamenti di Intelligenza Artificiale LS
- Si dia la descrizione di ricerca iterative deepening, anche in pseudo-codice. Si discutano le sue proprietà (in termini di completezza, ottimalità e complessità sia spaziale sia temporale). (13/01/2010)
- Si presentino le tecniche di consistenza e si descriva l'algoritmo di arc-consistenza in pseudocodice, dandone poi una esemplificazione di funzionamento su un grafo (rete) a vincoli. (22/12/2009)
- Discutere le caratteristiche della strategia di ricerca iterative deepening (anche in termini di completezza, ottimalità e costo computazionale) e darne una descrizione in pseudo codice. (17/09/2009)
- Si consideri il problema del route-finding (trovare un percorso su una mappa, tipo quella della Romania) e si supponga per semplicità che le città si trovino su una griglia le cui celle sono quadrate e di lato unitario. Si usi come euristica la distanza dalla destinazione calcolata usando la "Distanza di Manhattan" (tale distanza coincide con la somma delle distanze in orizzontale ed in verticale per raggiungere l'obiettivo) Si discuta se questa euristica è ammissibile, motivando opportunamente la risposta. (10/07/2009)
- Si discutano gli algoritmi di consistenza di una rete CSP e in particolare si descriva (in pseudocodice) l’algoritmo di arc-consistenza. (19/06/2009)
- Definire la proprietà di monotonia della logica classica e citare almeno un problema di rappresentazione della conoscenza che richiede un tipo di ragionamento non monotono. (02/04/2009)
- Dare la definizione di euristica ammissibile e consistente e quali vantaggi si hanno dal punto di vista algoritmico con un’euristica consistente. (08/01/2009)
- Descrivere le tecniche partial e full look-ahead, il loro campo di applicazione e i vantaggi del loro utilizzo. (16/12/2008)
- Si introduca il concetto di unificazione e di sostituzione unificatrice. (11/09/2008)
- Si presentino in modo sintetico le strategie di ricerca backward, forward e combinata (backward e forward assieme). (10/07/2008)
- Si introducano e si commentino le strategie di ricerca lineare e lineare-input applicate alla risoluzione. (25/06/2008)
- Si spieghi cosa si intende per algoritmo di ricerca locale ed il suo funzionamento, quando è utile applicarlo ed i suoi limiti. (03/04/2008)
- Si spieghi come viene trattata la negazione in Prolog, sottolineandone problemi e limitazioni. Si mostri la sua realizzazione in termini dei predicati cut e fail. (10/01/2008)
- Si definiscano formalmente le proprietà di correttezza e completezza di un sistema logico. Si discuta poi di come la programmazione logica e Prolog si possono considerare in base a tali proprietà (si ponga attenzione a non confondere la programmazione logica con il linguaggio Prolog). (13/12/2007)
- Si spieghino i predicati setof, bagof e findall di Prolog e si mostri per ciascuno un esempio. (13/09/2007)
- Si spieghi brevemente il concetto di Consistenza di un grafo CSP e se ne illustrino i diversi gradi. (12/07/2007)
- Si spieghi in cosa consiste l’occur check e cosa implica il non applicarlo. (21/06/2007)
