Università telematica internazionale UNINETTUNO

Ingegneria Informatica (Anno Accademico 2019/2020) - Programmazione e sicurezza

Intelligenza artificiale


Slides

Lezione n. 1: Intelligenza Artificiale. Introduzione
   Objectives

   What is AI

   Foundations of AI

   History of AI
Vai alla slide della lezione
Lezione n. 2: Agenti intelligenti
   Agents and Environments

   The Nature of Environments

   The Structure of Agents
Vai alla slide della lezione
Lezione n. 3: Searching
   Example problems

   Tree search and graph search

   Uninformed search
Vai alla slide della lezione
Lezione n. 4: Informed search - Ricerca con Informazione
   Greedy search

   A* search

   Heuristic functions

   Local Search
Vai alla slide della lezione
Lezione n. 5: Constraints satisfaction problems - Soddisfacimento di vincoli
   Definition of CSP

   Constraint Propagation

   Search in CSP

   Structure of CSP
Vai alla slide della lezione
Lezione n. 6: Logica proposizionale
   Logical Agents

   Logic, Formally

   Propositional Logic

   Theorem Proving

   Special CNF Systems

   Satisfiability
Vai alla slide della lezione
Lezione n. 7: Logica del primo ordine
   Semantic & Syntax

   Quantifiers

   Numbers, Sets, Lists
Vai alla slide della lezione
Lezione n. 8: Inferenza in logica del primo ordine
   Reducing to propositional inference

   Unification

   Forward chaining

   Backward chaining

   Resolution
Vai alla slide della lezione
Lezione n. 9: Planning - Pianificazione
   Definitions

   Complexity of Planning

   Algorithms for Planning

   Heuristics for Planning

   The Planning Graph
Vai alla slide della lezione
Lezione n. 10: Applicazioni del planning
   Planning And Scheduling

   Critical Path Method

   Hierarchical Planning

   Planning in Other Domains
Vai alla slide della lezione
Lezione n. 11: Quantificazione dell’incertezza
   Uncertainty

   Probability

   Inference

   Bayes’ Theorem
Vai alla slide della lezione
Lezione n. 12: Reti Bayesiane
   Introduction to Bayesian Networks

   Conditional independence in BN

   Exact Inference

   Approximated Inference
Vai alla slide della lezione
Lezione n. 13: Probabilistic reasoning over time
   Time and uncertainty

   Four tasks of temporal models

   Hidden Markov Models

   Kalman Filters

   Dynamic Bayesian Networks
Vai alla slide della lezione
Lezione n. 14: Making simple decisions
   Utility Theory

   Decision Networks

   The Value of Information
Vai alla slide della lezione
Lezione n. 15: Complex decision making - Prima parte
   Sequential Decision Problems

   The Bellman Equation

   Partially Observable Markov Decision Processes
Vai alla slide della lezione
Lezione n. 16: Complex decision making - Seconda parte
   Decisions With Multiple Agents

   Dominance and Equilibrium

   Mechanism Design and Auctions
Vai alla slide della lezione
Lezione n. 17: Apprendimento & alberi di decisione
   Forms of Learning

   Supervised Learning

   Decision Trees
Vai alla slide della lezione
Lezione n. 18: Regressione e classificazione - Prima parte
   Linear Regression

   Linear Classification

   Logistic Regression

   Neural Networks
Vai alla slide della lezione
Lezione n. 19: Regressione e classificazione - Seconda parte
   Support Vector Machines

   Non Parametric Models

   Nearest Neighbor

   Non Parametric Regression

   Ensamble Learning

   Computational Learning Theory
Vai alla slide della lezione
Lezione n. 20: Learning with knowledge & statistical learning
   Knowledge in learning

   Learning with background

   Statistical learning with complete knowledge

   Statistical learning with uncomplete knowledge
Vai alla slide della lezione

Sede centrale

Corso Vittorio Emanuele II, 39
00186 Roma - ITALIA
C.F.: 97394340588
P.IVA: 13937651001

Posta certificata

info@pec.uninettunouniversity.net

Segreteria Studenti

Numero verde: 800 333 647
tel: +39 06 692076.70 (1)
e-mail: info@uninettunouniversity.net

Videoconferenza

Biblioteca 1^ piano: 90.147.90.157
Sala Riunioni 5^ piano: 90.147.90.158

Hai bisogno di maggiori informazioni?

Lasciaci i tuoi dati


Richiedi informazioni