Il corso presenta il problema della pianificazione automatica in Intelligenza Artificiale. Verranno introdotti modelli e tecniche di risoluzione sia per la pianificazione "classica", sia per la pianificazione temporale, coinvolgendo aspetti di scheduling.
Verranno presentate diverse metodologie per la sintesi di piani d'azione e la loro esecuzione, e si considereranno aspetti legati
all'apprendimento automatico di domini di pianificazione classica.
Saranno inoltre presentate e discusse diverse applicazioni ed esempi di utilizzo delle tecniche presentate, anche in relazione al controllo di robot autonomi.
Verranno presentate diverse metodologie per la sintesi di piani d'azione e la loro esecuzione, e si considereranno aspetti legati
all'apprendimento automatico di domini di pianificazione classica.
Saranno inoltre presentate e discusse diverse applicazioni ed esempi di utilizzo delle tecniche presentate, anche in relazione al controllo di robot autonomi.
Curriculum
scheda docente
materiale didattico
- Modellazione
- Approcci di risoluzione
- State-space planning
- Plan-space planning
- Planning graph
- Planning e Euristiche
- Planning con Control rules
- HTN Planning
- Temporal Planning
- Esercizi con PDDL
- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7
Programma
- Concetti base- Modellazione
- Approcci di risoluzione
- State-space planning
- Plan-space planning
- Planning graph
- Planning e Euristiche
- Planning con Control rules
- HTN Planning
- Temporal Planning
- Esercizi con PDDL
Testi Adottati
- Slides delle lezioni.- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7
Bibliografia Di Riferimento
Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7Modalità Erogazione
Il corso si svolge in presenza presso le aule dell'università. E' possibile seguire anche tramite piattaforma MS TeamsModalità Frequenza
Frequenza facoltativaModalità Valutazione
E' richiesto il superamento con successo di tre prove intermedie o prova scritta di esame.
scheda docente
materiale didattico
- Modellazione
- Approcci di risoluzione
- State-space planning
- Plan-space planning
- Planning graph
- Planning e Euristiche
- Planning con Control rules
- HTN Planning
- Temporal Planning
- Esercizi con PDDL
- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7
Mutuazione: 20810264 Pianificazione Automatica in Ingegneria informatica LM-32 ORLANDINI ANDREA
Programma
- Concetti base- Modellazione
- Approcci di risoluzione
- State-space planning
- Plan-space planning
- Planning graph
- Planning e Euristiche
- Planning con Control rules
- HTN Planning
- Temporal Planning
- Esercizi con PDDL
Testi Adottati
- Slides delle lezioni.- Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7
Bibliografia Di Riferimento
Automated Planning: Theory and Practice. Ghallab, Nau, Traverso. Morgan Kaufmann Publishers, May 2004, 663 pages. ISBN 1-55860-856-7Modalità Erogazione
Il corso si svolge in presenza presso le aule dell'università. E' possibile seguire anche tramite piattaforma MS TeamsModalità Frequenza
Frequenza facoltativaModalità Valutazione
E' richiesto il superamento con successo di tre prove intermedie o prova scritta di esame.