{"id":10,"date":"2011-09-21T07:53:38","date_gmt":"2011-09-21T07:53:38","guid":{"rendered":"http:\/\/www.ing.unibs.it\/~gerevini\/blog\/?page_id=10"},"modified":"2026-01-15T14:14:27","modified_gmt":"2026-01-15T14:14:27","slug":"slides-lezioni-esercitazioni","status":"publish","type":"page","link":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/?page_id=10","title":{"rendered":"Slides lezioni"},"content":{"rendered":"\n<p><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/risultati_prova_intermedia_30_10_2025_IA.pdf\"><strong>RISULTATI PROVA INTERMEDIA A.A. 2025-2026<\/strong><\/a><\/p>\n\n\n<p><strong>Slides lezioni, esercitazioni, seminari A.A. 2025-26<\/strong><\/p>\n<p><strong>NB:\u00a0 le slide degli argomenti sotto indicati e non ancora svolti a lezione\/esercitazione potranno subire modifiche.<\/strong><\/p>\n<p>a.a. 2025-26 (Le slide delle lezioni non ancora scolte potranno subire modifiche e aggiunte durante il semestre)<\/p>\n<ul>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/introduzione-2024.pdf\">Introduzione al corso e all\u2019IA<\/a> (cenni storici, obiettivi, aree, ecc.)<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/IntroAgenti23.pdf\">Agenti intelligenti: introduzione e concetti base<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/IntroRicerca2024-2.pdf\">Risoluzione di problemi con ricerca<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/sub_ottimalita_vincolata_presentazione-1.pdf\">Approfondimento algoritmi ricerca euristica bounded<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/CSP-2024.pdf\">Constraint Satisfaction Problems (CSP) e Constraint Programming<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Resilient-Search-and-Planning-2023.pdf\">Ricerca con soluzioni resilienti<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/MAPF.pdf\">Multi-Agent Path Finding\/Planning (MAPF)<\/a>\n<ul>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/CBS-paper.pdf\">articolo Conflict-based Search (CBS)<\/a><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/intro-KR-e-logica-prop2024.pdf\">Linguaggi di rappresentazione della conoscenza, logica proposizionale e ragionamento<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/LogicaIordine-1.pdf\">Logica del primo ordine (sintassi e semantica)<\/a><strong><span style=\"color: #ff0000;\">\u00a0<\/span><\/strong><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/InferenzaLogicaIordine-4.pdf\">Inferenza automatica nella logica del I ordine<\/a> (NB file grande)<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/logicProp2015.pdf\">FACOLTATIVO: Esercitazione Logica Proposizionale <\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/logicFirstorder2015.pdf\">FACOLTATIVO: Esercitazione Logica I ordine<\/a>\n<ul>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Logica-11-09-19.pdf\">Esercizi01<\/a>,\u00a0<a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Logica-20-01-20.pdf\">Esercizio2<\/a><\/li>\n<\/ul>\n<\/li>\n<li>Ragionamento temporale e spaziale attraverso CSP con variabili continue:\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/main-time.pdf\">Ragionamento temporale<\/a> (qualitativo e quantitativo).\u00a0\u00a0<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/lucidi_11-12\/IA-table.pdf\">Tabella di composizione per relazioni temporali atomiche tra intervalli<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Chapter8-handbook.pdf\">Capitolo libro per approfondimento (facoltativo) ragionamento temporale qualitativo<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/AlgoritmiGrafi-TopSortSCC.pdf\">Facoltativo: Algoritmi per grafi e Point Algebra: DFS, Ordinamento Topologico, SCC<\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/IntroPianifcazione2020.pdf\">Introduzione alla pianificazione automatica\u00a0<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/graphplan.pdf\">Algoritmo di Pianificazione GraphPlan<\/a><\/li>\n<li><a href=\"http:\/\/zeus.ing.unibs.it\/ia\/lucidi_11-12\/FF.pdf\">Sistema di Pianificazione FF (Fast Forward)<\/a><\/li>\n<li><a href=\"http:\/\/zeus.ing.unibs.it\/ia\/lucidi_11-12\/LPG.pdf\">Sistema di Pianificazione LPG<\/a>\n<ul>\n<li>Articoli LPG suggeriti per approfondire: <a href=\"http:\/\/eracle.ing.unibs.it\/lpg\/AIPS-02GereviniSerina.ps.gz\">AIPS2002<\/a>, <a href=\"https:\/\/www.google.com\/url?sa=t&amp;rct=j&amp;q=&amp;esrc=s&amp;source=web&amp;cd=2&amp;ved=2ahUKEwj6qbTava3mAhVB-qQKHcfiBkQQFjABegQIAxAC&amp;url=https%3A%2F%2Fwww.jair.org%2Findex.php%2Fjair%2Farticle%2Fdownload%2F10359%2F24780%2F&amp;usg=AOvVaw3aNmOFLq1pGLK36RGBK2Rl\">JAIR2003<\/a><\/li>\n<\/ul>\n<\/li>\n<li>\u00a0<a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/PDDL1-1.pdf\">Il linguaggio di pianificazione PDDL<\/a> (versione base)\n<ul>\n<li>Esercizi di formalizzazione in PDDL:\n<ul>\n<li>Torre di Hanoi (<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/hanoi\/domain.pddl\">dominio<\/a>,\u00a0\u00a0<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/hanoi\/pfile\">problema<\/a>)<\/li>\n<li>BlocksWorld 4 operatori tipizzato (<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/blocksworld-typed\/domain.pddl\">dominio<\/a>,\u00a0\u00a0<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/blocksworld-typed\/pfile\">problema<\/a>)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li>Esercizi di pianificazione:\n<ul>\n<li>Planning graph\/Graphplan (<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/EserciziPlanningGraph.pdf\">PDF<\/a>)<\/li>\n<li>Processo di ricerca in FF (<a href=\"http:\/\/zeus.ing.unibs.it\/ia\/esercitazioni\/es-PDDL\/FF.ps\">PS<\/a>)<\/li>\n<li>&#8220;Gara&#8221; formalizzazione PDDL (<a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/gara.html\">problema contadini<\/a>)<\/li>\n<li><span style=\"color: #0000ff;\"><a style=\"color: #0000ff;\" href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Chiarimenti-Elaborato-PDDL.pdf\">Chiarimenti esercizio\/elaborato formalizzazione PDDL\u00a0<\/a><\/span><\/li>\n<li><em>Note aggiuntive: Il dominio non deve essere tipizzato.<\/em><br \/><em>Tutti i predicati presenti sono predicati di dominio ma poi ce ne sono altri. I trattori possono spostare o meno piu\u2019 di un contadino (a scelta vostra). Un trattore pu\u00f2 avere agganciato solo uno strumento per volta, quindi serve anche un\u2019azione per sganciare.<\/em><\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/12-2024-AIPlan4EU-Seminar-Brescia.pdf\">La Libreria Python <em>Unified Planning (UP)<\/em> &#8211; Seminario<\/a><\/li>\n<li>Conoscenza e ragionamento probabilistico:\n<ul>\n<li style=\"list-style-type: none;\">\n<ul>\n<li><a href=\"http:\/\/zeus.ing.unibs.it\/ia\/lucidi_11-12\/LucidiIntroduzioneRetiBayesiane.pdf\">Introduzione al ragionamento probabilistic<\/a>o<\/li>\n<li><a href=\"http:\/\/zeus.ing.unibs.it\/ia\/lucidi_11-12\/inferenza4p-2009.pdf\">Inferenza e ragionamento nelle reti Bayesiane<\/a><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/Agentic-AI.pdf\">Agentic AI<\/a>\u00a0<\/li>\n<\/ul>\n<hr \/>\n<p>Altro materiale da a.a. precedenti<\/p>\n<ul>\n<li><a href=\"https:\/\/drive.google.com\/drive\/folders\/1NbKy-vBcd8IZHV9bngVCPa7HMvCEUnol?usp=sharing\">Processi Decisionali di Markov (MDP) e Reinforcement Learning<\/a>\u00a0<\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/lezione-spazio.pdf\">Ragionamento Spaziale (solo per 9CFU) e Ragionamento Spazio-temporale (approfondimento facoltativo)<\/a><\/li>\n<li><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/sub_ottimalita_vincolata_presentazione-1.pdf\">Approfondimento facoltativo algoritmi ricerca euristica bounded<\/a> (aggiornato 23\/10\/23) e <a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/15804-68889-1-PB-11.pdf\">articolo euristiche ammissibili per pruning ricerca<\/a><\/li>\n<\/ul>\n<p><a href=\"http:\/\/artificial-intelligence.unibs.it\/didattica-IA\/wp-content\/uploads\/16-MDP-RL_2p-2.pdf\">Pianificazione e apprendimento per rinforzo\u00a0<\/a>(slides reinforcement learning)<\/p>\n<ul>\n<li><a href=\"https:\/\/docs.google.com\/presentation\/d\/1-7oWIFpOLZ6WCbeq3JI24mhhAB14UuSCjE3CQNxzhok\/edit\">Video esempio reinforcement learning<\/a><\/li>\n<li>Video lezione\/seminario 1 &#8211; YouTube\u00a0\u00a0\u00a0<a href=\"https:\/\/youtu.be\/_7vepvWxbow\" target=\"_blank\" rel=\"noopener\" data-saferedirecturl=\"https:\/\/www.google.com\/url?q=https:\/\/youtu.be\/_7vepvWxbow&amp;source=gmail&amp;ust=1608019810137000&amp;usg=AFQjCNH5D_gNNbml_5TRLLw-F10QZAhkzQ\">https:\/\/youtu.be\/_7vepvWxbow<\/a><\/li>\n<li>Video\u00a0 lezione\/seminario 2 &#8211; YouTube\u00a0 <a href=\"https:\/\/youtu.be\/Zk_4dyj8Cwg\">https:\/\/youtu.be\/Zk_4dyj8Cwg<\/a><\/li>\n<li><a href=\"https:\/\/colab.research.google.com\/drive\/12n535LZ_HoS_T5xsYgB2q276nkIdSzCG\">Esercizio Bandit<\/a><\/li>\n<li><a href=\"https:\/\/colab.research.google.com\/drive\/112Q7G8ulbmtbocF8XAu9710eommeYHzg\">Esercizio Grid World<\/a><\/li>\n<\/ul>\n\n\n<p><strong>  <\/strong><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>RISULTATI PROVA INTERMEDIA A.A. 2025-2026 Slides lezioni, esercitazioni, seminari A.A. 2025-26 NB:\u00a0 le slide degli argomenti sotto indicati e non ancora svolti a lezione\/esercitazione potranno subire modifiche. a.a. 2025-26 (Le slide delle lezioni non ancora scolte potranno subire modifiche e aggiunte durante il semestre) Introduzione al corso e all\u2019IA (cenni storici, obiettivi, aree, ecc.) Agenti [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=10"}],"version-history":[{"count":409,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":1286,"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=\/wp\/v2\/pages\/10\/revisions\/1286"}],"wp:attachment":[{"href":"https:\/\/artificial-intelligence.unibs.it\/didattica-IA\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}