Corso Vittorio Emanuele II, 39 - Roma 0669207671

الهندسة المعلوماتية (السنة الدراسية 2019/2020) - Programmazione e sicurezza

Artificial Intelligence



الشرائح

درس رقم 1: Artificial Intelligence. Introduction
   Objectives

   What is AI

   Foundations of AI

   History of AI
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 2: Intelligent Agents
   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
   Greedy search

   A* search

   Heuristic functions

   Local search
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 5: Constraints satisfaction problems
   Definition of CSP

   Constraint propagation

   Search in CSP

   Structure of CSP
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 6: Propositional Logic
   Logical agents

   Logic, formally

   Propositional Logic

   Theorem proving

   Special CNF systems

   Satisfiability
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 7: First Order Logic
   Semantic & syntax

   Quantifiers

   Numbers, sets, lists
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 8: Inference in First Order Logic
   Reducing to propositional inference

   Unification

   Forward chaining

   Backward chaining

   Resolution
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 9: Planning
   Definitions

   Complexity of planning

   Algorithms for planning

   Heuristics for planning

   The planning graph
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 10: Planning in the real world
   Planning and scheduling

   Critical path method

   Hierarchical planning

   Planning in other domains
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 11: Quantifyng uncertainty
   Uncertainty

   Probability

   Inference

   Bayes’ theorem
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 12: Bayesian Networks
   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. First part
   Sequential decision problems

   The Bellman equation

   Partially observable Markov decision processes
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 16: Complex decision making. Second part
   Decisions with multiple agents

   Dominance and equilibrium

   Mechanism design and auctions
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 17: Learning & decision trees
   Forms of learning

   Supervised learning

   Decision Trees
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 18: Regression and classification. First part
   Linear regression

   Linear classification

   Logistic regression

   Neural Networks
إذهب إلى شرائح الدرس Giovanni Felici
درس رقم 19: Regression and classification. Second part
   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