Università telematica internazionale UNINETTUNO

Ingénierie Informatique (Academic Year 2019/2020) - Programmazione e sicurezza

Intelligenza artificiale


Slides

Leçon n. 1: Intelligenza Artificiale. Introduzione
   Objectives

   What is AI

   Foundations of AI

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

   The Nature of Environments

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

   Tree search and graph search

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

   A* search

   Heuristic functions

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

   Constraint Propagation

   Search in CSP

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

   Logic, Formally

   Propositional Logic

   Theorem Proving

   Special CNF Systems

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

   Quantifiers

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

   Unification

   Forward chaining

   Backward chaining

   Resolution
Vai alla slide della lezione
Leçon n. 9: Planning - Pianificazione
   Definitions

   Complexity of Planning

   Algorithms for Planning

   Heuristics for Planning

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

   Critical Path Method

   Hierarchical Planning

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

   Probability

   Inference

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

   Conditional independence in BN

   Exact Inference

   Approximated Inference
Vai alla slide della lezione
Leçon 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
Leçon n. 14: Making simple decisions
   Utility Theory

   Decision Networks

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

   The Bellman Equation

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

   Dominance and Equilibrium

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

   Supervised Learning

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

   Linear Classification

   Logistic Regression

   Neural Networks
Vai alla slide della lezione
Leçon 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
Leçon 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

Siège de l'Université

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

Certified mail

info@pec.uninettunouniversity.net

Secrétariat des Etudiants

tel: +39 06 692076.70
tel: +39 06 692076.71
e-mail: info@uninettunouniversity.net

Vidéoconférence

Library 1st floor: 90.147.90.157
Meeting Room 5th floor: 90.147.90.158

Avez-vous besoin d’informations plus détaillées?

Donnez-nous vos données


Demandez des informations