UNIVPM: Guida insegnamenti

[51188] - INTELLIGENZA ARTIFICIALEARTIFICIAL INTELLIGENCE
Aldo Franco DRAGONI
Lingua di erogazione: ITALIANOLessons taught in: ITALIAN
Laurea Magistrale - [IM12] INGEGNERIA INFORMATICA E DELL'AUTOMAZIONE Master Degree (2 years) - [IM12] COMPUTER AND AUTOMATION ENGINEERING
Dipartimento: [040040] Dipartimento Ingegneria dell'InformazioneDepartment: [040040] Dipartimento Ingegneria dell'Informazione
Anno di corsoDegree programme year : 1 - Primo Semestre
Anno offertaAcademic year: 2018-2019
Anno regolamentoAnno regolamento: 2018-2019
Crediti: 9
Ore di lezioneTeaching hours: 72
TipologiaType: B - Caratterizzante
Settore disciplinareAcademic discipline: ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

LINGUA INSEGNAMENTO LANGUAGE

Italiano

Italian

PREREQUISITI PREREQUISITES

nessuno

none

MODALITÀ DI SVOLGIMENTO DEL CORSO DEVELOPMENT OF THE COURSE

I contenuti teorici sono affidati principalmente alle lezioni videoregistrate disponibili sul sito di e_learning di Ateneo, nonché ai testi consigliati. In aula vengono sinteticamente richiamati i contenuti teorici, dopodiché viene effettuata una breve sessione di domande e risposte. La maggior parte del tempo è successivamente spesa con esercitazioni pratiche ed implementazione in PROLOG di quasi tutti gli algoritmi illustrati nelle videolezioni.

The theoretical content is mainly based on video lessons available on the e_learning site and recommended texts. The theoretical contents are briefly recalled in the classroom, after which a question and answer session is carried out. Most of the time it is spent with practical programming exercises in PROLOG.

RISULTATI DI APPRENDIMENTO ATTESI LEARNING OUTCOMES

Conoscenze e comprensione.

L'obiettivo del corso è quello di fornire un'ampia sinottica di concetti e metodi che tradizionalmente si riconoscono sotto la comune
denominazione di "Intelligenza Artificiale". Maggiore enfasi viene data agli approcci "logicistici", cioè alle metodiche che tendono a
replicare nelle macchine i meccanismi logico-inferenziali del pensiero umano, e alle tecniche di risoluzione dei problemi tramite ricerca
nello spazio degli stati (con e senza euristica). Come strumento di programmazione viene impartito l'insegnamento teorico e pratico
della programmazione logica con vincoli.

Capacità di applicare conoscenze e comprensione.

Lo studente sarà in grado di rappresentare conoscenza e progettare applicazioni “intelligenti” basate sul ragionamento logico e sulla
ricerca in uno spazio degli stati.

Competenze trasversali.

Le conoscenze impartite durante il corso sono completamente orientate al "problem solving" e dunque alla capacità di risolvere
problemi complessi mediante la sintesi di adeguati algoritmi risolutivi. Lo studio della logica simbolica contribuisce ad acquisire una
“forma mentis” che abilita l'allievo a formalizzare correttamente i problemi.

Knowledge and Understanding.

The course objective is to provide a broad overview of the concepts and methods that traditionally are grouped under the designation
of "Artificial Intelligence". More emphasis is given to logic-based approaches, that is the methods that tend to replicate in the machines
the logical inference mechanisms of human thought, and problem solving techniques based on research in a state space (with and
without heuristics). As a programming tool theoretical and practical teaching of logic programming with constraints is provided.

Capacity to apply Knowledge and Understanding.

The student will be able to represent knowledge and to design "smart applications" based on logical reasoning and research in a state
space.

Transversal Skills.

The knowledge provided during the course is completely oriented to "problem solving" and therefore to the ability to solve complex
problems through the synthesis of suitable resolution algorithms. The study of symbolic logic helps to acquire a "mindset" that enables
the student to formalize the problems correctly.

PROGRAMMA PROGRAM

LOGICA DEL 1° ORDINE e PROGRAMMAZIONE LOGICA. Sintassi, Semantica, Sistema formale. Il teorema di Herbrand. Riduzione in clausole. Risoluzione per clausole ground. Unificazione e Risoluzione Lineare. Programmi “definiti”. Correttezza e Completezza della Risoluzione SLD. Indipendenza dalla Regola di Computazione. Refutazione SLD. Adeguatezza computazionale dei Programmi Definiti. Programmi “Normali”, "Closed World Assumption" e "Negation as Failure".
PROLOG
RICERCA NELLO SPAZIO DEGLI STATI. Breadth First Search. Depth First Search. Uniform Cost Search. Depth Limited Search. Iterated Deepening Search.
RICERCA INFORMATA NELLO SPAZIO DEGLI STATI. Euristica. Best First Search. Greedy Search. A*. Beam Search. A* con approfondimento iterativo (IDA*). Ricerca Best-First Ricorsiva (RBFS). A* con memoria limitata (SMA*). Real Time A* (RTA*). Euristiche Dominanti. Misura del potere Euristico. Generazione di Funzioni euristiche.
RICERCA IN CONDIZIONI REALISTICHE. Hill-Climbing, Simulated annealing, Genetic algorithms. Ricerca con azioni non-deterministiche. Ricerca con osservazioni parziali. Alternare ricerca ed azione per generare lo spazio degli stati.
RICERCA CON AVVERSARI (Giochi). Tipologie di gioco. Giochi come ricerca nello spazio degli stati. Algoritmo “minimax” e sue proprietà. Potatura "alpha - beta". Soluzioni con risorse computazionali limitate e considerazione sulla funzione di valutazione. Giochi con componente casuale. Giochi ad informazione parziale.
PIANIFICAZIONE. Pianificazione vs. Problem Solving. STRIPS. Pianificazione in Prolog. Operatori. Il “Frame Problem”. Rappresentazione di un piano. Means Ends Analysis e sua implementazione. Pianificazione “Best-first”. Partial Order Planning. Evoluzione degli approcci classici alla pianificazione. Pianificazione in condizioni del mondo realistiche.
DIAGNOSI BASATA SULLA LOGICA. "Model-based diagnosis". Diagnosi basata sulla consistenza. Algoritmo per calcolare gli Hitting-Sets a partire dai Conflict-Sets. Abductive Logic Programming.
APPRENDIMENTO AUTOMATICO. Apprendimento supervisionato e non supervisionato. Induzione di Regole. Induzione di alberi di decisione.
RETI NEURALI e DEEP LEARNING. Neurone artificiale. Reti multistrato. Percettrone multistrato. Error-BackPropagation. Convolutional Neural Networks.
RAPPRESENTAZIONE DELLA CONOSCENZA. Ingegneria ontologica. Categorie ed Oggetti. Composizione fisica. Tipi Naturali. Misure. Sostanze e Cose. Sistemi di Ragionamento per le categorie. Reti Semantiche. Traduzione in F.O.L e limiti delle Reti Semantiche. Ereditarietà. Logiche Descrittive. Sintassi e Semantica delle Logiche Descrittive: inferenza logica, sussunzione, normalizzazione.
LOGICA MODALE e ATTITUDINI MENTALI. Il problema della Consapevolezza della Conoscenza. Logica Modale. Assiomi della Logica Modale. Regole d'inferenza della Logica Modale.Sistemi Assiomatici T, S4, S5. La Semantica dei Mondi Possibili. Caso proposizionale MultiAgente. Conoscenza comune e conoscenza implicita. Modellazione di Stati Mentali, Beliefs Desires Intentions (BDI).
RAGIONAMENTO NON-MONOTÒNO. Logiche Non-Monotòne e Truth Maintenance Systems. Belief Revision.
RAGIONAMENTO IN CONDIZIONI DI INCERTEZZA. Vaghezza concettuale vs. Incertezza. Elementi di teoria delle probabilità, probabilità (s)oggettive, indipendenza condizionale, teorema di Bayes, reti bayesiane. Affidabilità delle fonti e Teoria Dempster-Shafer dell'Evidenza.
SISTEMI MULTI-AGENTE. Agent-Oriented Programming. Tipologie ed architetture di agenti. Forme d'interazione e comportamenti emergenti. Cooperazione, competizione, collaborazione. Negoziazione e vendita di servizi all'asta. Counicazione e standardizzazione dei messaggi. FIPA ACL. Implementazione di MAS. JADE. Agenti ed Ontologie.

LOGIC OF THE 1st ORDER and LOGICAL PROGRAMMING. Syntax, Semantics, Formal system. Herbrand's theorem. Reduction into clauses. Resolution for ground clauses. Unification and Linear Resolution. Defined" programs. Correctness and Completeness of SLD Resolution. Independence from the Computation Rule. Refutation SLD. Computational adequacy of Defined Programs. Normal", "Closed World Assumption" and "Negation as Failure" programs.
PROLOG
SEARCH. Breadth First Search. Depth First Search. Uniform Cost Search. Depth Limited Search. Iterated Deepening Search.
INFORMED SEARCH. Heuristics. Best First Search. Greedy Search. A*. Beam search. A* with iterative deepening (IDA*). Best-First Recursive Research (RBFS). A* with limited memory (SMA*). Real Time A* (RTA*). Dominant heuristics. Measure of heuristic power. Generation of heuristic functions.
SEARCH UNDER REALISTIC CONDITIONS. Hill-Climbing, Simulated annealing, Genetic algorithms. Research with non-deterministic actions. Research with partial observations. Alternate search and action to generate state space.
SEARCH WITH AVVERSARIES (Games). Types of game. Games like search in the space of the states. Minimax" algorithm and its properties. Alpha beta pruning. Solutions with limited computational resources and consideration of the evaluation function. Games with random component. Partial information games.
PLANNING. Planning vs. Problem Solving. STRIPS. Planning in Prolog. Operators. The Frame Problem. Representation of a plan. Means Ends Analysis and its implementation. Best-first" planning. Partial Order Planning. Evolution of classical approaches to planning. Planning under realistic world conditions.
LOGIC-BASED DIAGNOSIS. "Model-based diagnosis. Consistency-based diagnosis. Algorithm for calculating Hitting-Sets from Conflict-Sets. Abductive Logic Programming.
AUTOMATIC LEARNING. Supervised and unsupervised learning. Induction of Rules. Induction of decision trees.
NEURAL NETWORKS and DEEP LEARNING. Artificial neuron. Multilayer networks. Multilayer Percettrone. Error-BackPropagation. Convolutional Neural Networks.
KNOWLEDGE REPRESENTATION. Ontological engineering. Categories and Objects. Physical composition. Natural Types. Measures. Substances and Things. Reasoning systems for categories. Semantic Networks. Translation in F.O.L and limits of Semantic Networks. Inheritance. Descriptive Logics. Syntax and Semantics of Descriptive Logics: logical inference, subsumption, normalization.
MODAL LOGIC and MENTAL ATTITUDE. The problem of Knowledge Awareness. Modal Logic. Axioms of Modal Logic. Rules of Inference of Modal Logic.Axiomatic Systems T, S4, S5. The Semantics of Possible Worlds. Multi-Agent propositional case. Common knowledge and implicit knowledge. Modeling of Mental States, Beliefs Desires Intentions (BDI).
NON MONOTONIC REASONING. Maintenance Systems. Belief Revision.
REASONING UNDER UNCERTAINTY. Conceptual vagueness vs. Uncertainty. Elements of probability theory, (s)objective probabilities, conditional independence, Bayes' theorem, Bayesian networks. Reliability of sources and Dempster-Shafer Theory of Evidence.
MULTI-AGENT SYSTEMS. Agent-Oriented Programming. Types and architectures of agents. Forms of interaction and emerging behaviours. Cooperation, competition, collaboration. Negotiation and sale of services by auction. Counting and standardization of messages. FIPA ACL. Implementation of MAS. JADE. Agents and Ontologies.

MODALITÀ DI SVOLGIMENTO DELL'ESAME DEVELOPMENT OF THE EXAMINATION

Modalità di valutazione dell'apprendimento.

L'apprendimento viene valutato sulla base di due prove. La prima di programmazione in PROLOG e la seconda di esercizi e problemi da risolvere mediante le tecniche apprese durante il corso.

Criteri di valutazione dell'apprendimento.

Si valuta la capacità dell'allievo di capire le problematiche e scegliere le metodologie giuste per gestirle in automatico mediante lo sviluppo di adeguato software.

Criteri di misurazione dell'apprendimento.

Prova di programmazione e tests di apprendimento.

Criteri di attribuzione del voto finale.

voto in trentesimi

Learning Evaluation Methods.

Learning is assessed on the basis of two tests. The first is programming in PROLOG and the second is exercises and problems to be solved using the techniques learned during the course.

Learning Evaluation Criteria.

The student's ability to understand the problems and choose the right methodologies to manage them automatically through the development of appropriate software is evaluated.

Learning Measurement Criteria.

Programming test and learning tests.

Final Mark Allocation Criteria.

evaluation in thirtieths

TESTI CONSIGLIATI RECOMMENDED READING

Russel, Norvig "Intelligenza Artificiale-un approccio moderno", Pearson
Ivan Bratko "Prolog Programming for Artificial Intelligence", Pearson
Materiale didattico disponibile sul sito https://learn.univpm.it/course/view.php?id=7849

Russel, Norvig "Intelligenza Artificiale-un approccio moderno", Pearson
Ivan Bratko "Prolog Programming for Artificial Intelligence", Pearson
e-learing https://learn.univpm.it/course/view.php?id=7849

E-LEARNING E-LEARNING

SI

Scheda insegnamento erogato nell’A.A. 2018-2019
Le informazioni contenute nella presente scheda assumono carattere definitivo solo a partire dall'A.A. di effettiva erogazione dell'insegnamento. Academic year 2018-2019

Guida degli insegnamenti

Syllabus

Partially translatedTradotto parzialmente