Corso Vittorio Emanuele II, 39 - Roma 0669207671

Ingegneria Informatica (Ακαδημαϊκό έτος 2019/2020) - Programmazione e sicurezza

Intelligenza artificiale



Διαφάνειες

ν. μαθήματος 1: Intelligenza Artificiale. Introduzione
   Objectives

   What is AI

   Foundations of AI

   History of AI
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 2: Agenti intelligenti
   Agents and Environments

   The Nature of Environments

   The Structure of Agents
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 3: Searching
   Example problems

   Tree search and graph search

   Uninformed search
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 4: Informed search - Ricerca con Informazione
   Greedy search

   A* search

   Heuristic functions

   Local Search
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 5: Constraints satisfaction problems - Soddisfacimento di vincoli
   Definition of CSP

   Constraint Propagation

   Search in CSP

   Structure of CSP
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 6: Logica proposizionale
   Logical Agents

   Logic, Formally

   Propositional Logic

   Theorem Proving

   Special CNF Systems

   Satisfiability
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 7: Logica del primo ordine
   Semantic & Syntax

   Quantifiers

   Numbers, Sets, Lists
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 8: Inferenza in logica del primo ordine
   Reducing to propositional inference

   Unification

   Forward chaining

   Backward chaining

   Resolution
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 9: Planning - Pianificazione
   Definitions

   Complexity of Planning

   Algorithms for Planning

   Heuristics for Planning

   The Planning Graph
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 10: Applicazioni del planning
   Planning And Scheduling

   Critical Path Method

   Hierarchical Planning

   Planning in Other Domains
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 11: Quantificazione dell’incertezza
   Uncertainty

   Probability

   Inference

   Bayes’ Theorem
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 12: Reti Bayesiane
   Introduction to Bayesian Networks

   Conditional independence in BN

   Exact Inference

   Approximated Inference
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 13: Probabilistic reasoning over time
   Time and uncertainty

   Four tasks of temporal models

   Hidden Markov Models

   Kalman Filters

   Dynamic Bayesian Networks
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 14: Making simple decisions
   Utility Theory

   Decision Networks

   The Value of Information
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 15: Complex decision making - Prima parte
   Sequential Decision Problems

   The Bellman Equation

   Partially Observable Markov Decision Processes
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 16: Complex decision making - Seconda parte
   Decisions With Multiple Agents

   Dominance and Equilibrium

   Mechanism Design and Auctions
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 17: Apprendimento & alberi di decisione
   Forms of Learning

   Supervised Learning

   Decision Trees
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 18: Regressione e classificazione - Prima parte
   Linear Regression

   Linear Classification

   Logistic Regression

   Neural Networks
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 19: Regressione e classificazione - Seconda parte
   Support Vector Machines

   Non Parametric Models

   Nearest Neighbor

   Non Parametric Regression

   Ensamble Learning

   Computational Learning Theory
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici
ν. μαθήματος 20: Learning with knowledge & statistical learning
   Knowledge in learning

   Learning with background

   Statistical learning with complete knowledge

   Statistical learning with uncomplete knowledge
Πηγαίνετε σε αυτή τη διαφάνεια Giovanni Felici