Artificial Intelligence

Ingegneria Informatica Artificial Intelligence

0622700020
DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE ED ELETTRICA E MATEMATICA APPLICATA
EQF7
COMPUTER ENGINEERING
2018/2019

YEAR OF COURSE 2
YEAR OF DIDACTIC SYSTEM 2017
SECONDO SEMESTRE
CFUHOURSACTIVITY
432LESSONS
216LAB
Objectives
THE COURSE PRESENTS THE FOUNDATIONS FOR MODELLING ARTIFICIAL AGENTS INTERACTING WITH CHANGING ENVIRONMENTS. IT ADDRESSES KNOWLEDGE REPRESENTATION, PROBLEM SOLVING STRATEGIES AND BEHAVIOURAL LEARNING.

KNOWLEDGE AND UNDERSTANDING
METHODOLOGIES AND TOOLS FOR MODELLING ARTIFICIAL AGENTS. UNDERSTANDING THE RELATION AMONG KNOWLEDGE REPRESENTATION, PROBLEM SOLVING STRATEGIES AND LEARNING.

APPLYING KNOWLEDGE AND UNDERSTANDING
MAPPING METHODS AND TOOLS TO COMPLEX PROBLEMS. DESIGN AND IMPLEMENTATION OF ARTIFICIAL AGENTS. ESTIMATION OF COST AND PERFORMANCE.
Prerequisites
ELEMENTS OF LOGICS, DESIGN OF ALGORITHM AND DATA STRUCTURE
Contents
INTRODUCTION
(LECTURE: 3H)
FUNDAMENTAL CONCEPTS: AGENT, ENVIRONMENT, PERFORMANCE - FOUNDATIONS: THEORY OF COMPUTATION - INTELLIGENT AGENT MODELS
PROBLEM SOLVING
(LECTURE: 15H)
BLIND SEARCH STRATEGIES - INFORMED SEARCH STRATEGIES - LOCAL SEARCH AND OPTIMIZATION PROBLEMS - CSP
ADVERSARIAL SEARCH
(LECTURE: 7H)
GAME THEORY - OPTIMAL DECISION - ALPHA-BETA PRUNING
LOGICAL AGENTS
(LECTURE: 9H)
PROPOSITIONAL LOGIC - THEOREM PROVING - MODEL CHECKING - AGENTS BASED ON PROPOSITIONAL LOGIC
FIRST ORDER LOGIC
(LECTURE: 6H)
SYNTAX AND SEMANTICS - USING FIRST ORDER LOGIC - KNOWLEDGE ENGINEERING AND FIRST ORDER LOGIC
INFERENCE IN FIRST ORDER LOGIC
(LECTURE: 6H)
PROPOSITIONAL VS FIRST ORDER INFERENCE - UNIFICATION AND LIFTING - FORWARD AND BACKWARD CHAINING - RESOLUTION
PROLOG
(LECTURE: 4H; LAB: 10H)
SYNTAX - HORN CLAUSES - UNIFICATION - RECURSION - BACKTRACKING
Teaching Methods
THE COURSE INCLUDES LECTURES AND PRACTICE. DURING PRACTICE, SMALL STUDENT TEAMS ARE ASSIGNED A PROJECT THAT INCLUDES INTO A UNITARY FRAMEWORK ALL THE TOPICS OF THE COURSE, AND IS INSTRUMENTAL FOR PROVIDING THE STUDENT WITH THE SKILL FOR APPLYING THE ACQUIRED KNOWLEDGE AND WORKING IN TEAM.
Verification of learning
THE FINAL EVALUATION IS BY ORAL EXAMINATION ON THE CONTENTS OF THE COURSE AND PRESENTATION OF THE PROJECT. THE GRADE IS THE WEIGHTED SUM OF PROJECT CONTENT (70%), PROJECT PRESENTATION (10%) AND ORAL EXAMINATION (20%)
Texts
S. RUSSELL, P. NORVIG, ARTIFICIAL INTELLIGENCE: A MODERN APPROACH, VOLUME I, PEARSON, 3 ED., 2009
L. STERLING, E. SHAPIRO, THE ART OF PROLOG, SECOND EDITION: ADVANCED PROGRAMMING TECHNIQUES, THE MIT PRESS, 1986
More Information
ADDITIONAL MATERIAL IS AVAILABLE ON THE COURSE WEBSITE

The course language is Italian.
  BETA VERSION Data source ESSE3 [Ultima Sincronizzazione: 2019-10-21]