Scheda programma d'esame
ARTIFICIAL INTELLIGENCE FUNDAMENTALS
MARIA SIMI
Anno accademico2017/18
CdSINFORMATICA
Codice643AA
CFU6
PeriodoPrimo semestre
LinguaItaliano

ModuliSettore/iTipoOreDocente/i
ARTIFICIAL INTELLIGENCE FUNDAMENTALSINF/01LEZIONI48
MARIA SIMI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Al termine del corso lo studente avrà acquisito conoscenze in merito alle principali teorie e tecniche per la costruzione di sistemi di AI “basati su conoscenza”, in accordo ad una visione di “agente” in grado di operare in un ambiente sulla base di conoscenze acquisite dall’esperienza o da fonti esterne e opportunamente immagazzinate in maniera esplicita.

Knowledge

At the end of the course the student will acquire knowledge about the main theories and techniques for the building of "knowledge-based" AI systems, according to the AI vision of "agents" able to operate in an environment on the basis of the knowledge acquired from experience or from external sources and explicitly stored.

Modalità di verifica delle conoscenze

Per l'accertamento delle conoscenze sarà valutata la capacità di capire e di presentare oralmente i contenuti delle lezioni e delle letture assegnate.

Assessment criteria of knowledge

We will assess the ability to understand and present orally the contents of the lessons and readings assigned.

Capacità

Al termine del corso lo studente sarà in grado di formalizzare un problema di AI utilizzando i formalismi di rappresentazione e le tecniche più appropriate alla natura e complessità del problema e sarà in grado di proporre soluzioni efficienti nell’ambito dei problemi studiati.

Skills

At the end of the course, the student will be able to formalize an AI problem by using the formalisms for representation and the techniques most appropriate to the nature and complexity of the problem and will be able to propose efficient solutions within the range of problems studied.

Modalità di verifica delle capacità

Allo studente sarà chiesto di cimentarsi nella risoluzione di piccoli problemi e di discutere in classe o presentare in forma scritta i risultati.

Assessment criteria of skills

The student will be asked to solve small problems and to discuss the solutions in class or present the results in writing

Comportamenti

Il corso contribuirà a fornire allo studente consapevolezza dei vari approcci che concorrono nella costruzione di una intelligenza artificiale, i limiti dei sistemi attuali, nonostante i grossi successi recenti, e quanto l’obiettivo di costruire “macchine intelligenti” sia ancora una delle più grosse sfide che abbiamo davanti.

Behaviors

The course will contribute to provide the student with awareness of the various approaches involved in building “artificial intelligence” agents, the limits of current systems, despite major recent achievements, and how the goal of building "intelligent machines" is still one of the biggest challenges we are facing.

Modalità di verifica dei comportamenti

Alcune letture suggerite avranno un aspetto più speculativo e potranno essere discusse in classe.

Assessment criteria of behaviors

Some suggested readings will have a more speculative nature  and can be discussed in class.

Prerequisiti (conoscenze iniziali)

Logica formale. Algoritmi e complessità. Computabilità. Elementi di calcolo di probabilità. Corso di base in Intelligenza Artificiale (problem solving come ricerca, rappresentazione e ragionamento nella logica classica).

Prerequisites

Formal logic. Algorithms and complexity. Computability. Elements of probability calculus. A basic course in Artificial Intelligence (problem solving as search, representation and reasoning in classical logic).

Corequisiti

Il corso sul web semantico è un utile complemento della parte di rappresentazione della conoscenza e ragionamento. L'apprendimento automatico, non coperto da questo corso, rappresenta un complemento necessario per la costruzione di sistemi complessi di AI.

Co-requisites

The course on Semantic web is a useful complement of the knowledge representation and reasoning part. Machine learning, not covered in this course, represents a necessary complement for building complex AI systems.

Prerequisiti per studi successivi

La sezione sulla rappresentazione della conoscenza e il ragionamento fornisce la base per il corso di Semantic web e il corso di Human language technologies.

La sezione sulla pianificazione può essere utile per il corso di Robotics.

Il corso introduce i formalismi per la rappresentazione e il ragionamento su informazioni incerte che vengono successivamente utilizzati nel contesto dell'apprendimento probabilistico e Bayesiano.

Prerequisites for further study

The section on knowledge representation and reasoning provides the basis for the Semantic web course and the Human language technology course.

The section on planning can be useful for the Robotics course.

The course also introduces the formalisms for the representation and reasoning on uncertain information which are later on used in the context of probabilistic and Bayesian learning.

Indicazioni metodologiche

Il corso è suddiviso in cinque sezioni.

Per ciascuna sezione del corso ci sarà nucleo di lezioni tradizionali con il supporto di diapositive e attività assegnate agli studenti in forma di piccoli problemi da risolvere, esperienze di programmazione o letture di articoli seminali.

Una lezione per ogni sezione sarà dedicata all'esito delle attività assegnate agli studenti.

Tutto il materiale e i compiti assegnati saranno resi disponibili attraverso il sito web di Moodle. Sarà incoraggiato l'uso del forum per continuare le discussioni iniziate in classe.

Teaching methods

The course is divided in five sections.

For each section of the course there will be a body of face to face lectures with the support of slides and activities assigned to students in the form of small problems to be solved, programming tasks or readings of seminal papers.

One lecture for each section will be dedicated to the outcome of the activities assigned to students.

All the material and assignments will be made available through the Moodle web site. We will encourage the use of the forum for continuing the discussions initiated in class.

Programma (contenuti dell'insegnamento)

Intelligenza Artificiale e agenti (1)

  1. Una introduzione al corso

I – Soddisfacimento di vincoli (4)

  1. Formulazione di problemi come CSP
  2. Riduzione di problemi, tecniche per controlli di consistenza
  3. Ricerca euristica ed efficiente, metodi locali di riparazione euristica; struttura del problema.
  4. I: revisione di esercizi e presentazioni degli studenti.

 II – Rappresentazione della conoscenza e ragionamento (7)

  1. Richiamo della relazione tra espressività e complessità; inferenza nella logica classica.
  2. Ragionamento non-monotòno.
  3. Ragionamento su conoscenze e credenze.
  4. Ragionamento sul cambiamento: il calcolo di situazioni e il “frame problem”; ragionamento temporale.
  5. Reti semantiche e frame.
  6. Cenni al ragionamento su ontologie e logiche descrittive.
  7. II: revisione di esercizi e presentazioni degli studenti.

III - Ragionamento in presenza di incertezza (4)

  1. Rappresentazione di conoscenza incerta e probabilistica. Ragionamento probabilistico.
  2. Reti di credenze e inferenza.
  3. Ragionamento su sequenze temporali.
  4. III: revisione di esercizi e presentazioni degli studenti.

IV - Pianificazione (4)

  1. Il problema della pianificazione. Rappresentazione delle azioni. Pianificazione come ricerca in uno spazio di stati.
  2. Pianificazione a regressione. Pianificazione con ordinamento parziale. Grafi di pianificazione.
  3. Pianificazione nel mondo reale: trattamento di vincoli temporali e di risorse. Pianificazione gerarchica. Pianificazione in domini non-deterministici. Pianificazione multi-agente.
  4. IV: revisione di esercizi e presentazioni degli studenti.

V – Sistemi a regole (4)

  1. Sistemi a regole e sistemi di produzione basati su regole.
  2. Incertezza nei sistemi a regole. Implementazione efficiente.
  3. Programmazione logica con vincoli / Programmazione logica abduttiva.
  4. V: revisione di esercizi e presentazioni degli studenti.
Syllabus

Artificial intelligence and agents (1)

  1. An introduction to the course

I - Constraint satisfaction (4)

  1. Problem formulation
  2. Problem reduction, consistency checking techniques
  3. Heuristic and efficient search, local repair methods; problem structure.
  4. I: exercise review and student’s presentations

 II - Knowledge representation and reasoning (7)

  1. Review of fundamental trade-off and reasoning in classical logic.
  2. Non-monotonic reasoning.
  3. Reasoning about knowledge and belief
  4. Reasoning about change; situation calculus and the frame problem. Temporal reasoning.
  5. Semantic networks and frames
  6. Reasoning about ontologies and description logics (the basics)
  7. II: exercise review and student’s presentations of seminal papers

III - Reasoning under uncertainty (4)

  1. Representing uncertain knowledge and probabilistic reasoning.
  2. Belief networks and inference
  3. Reasoning over time
  4. III: exercise review and student’s presentations of seminal papers

IV - Planning (4)          

  1. The planning problem, representation for actions. Planning as state-space search, regressive planning
  2. Partial order planning, planning graphs
  3. Planning in the real world: dealing with temporal and resource constraints, hierarchical planning, planning in non-deterministic domains, multi-agent planning.
  4. IV: exercise review and student’s presentations of seminal papers.

V - Rule based systems (4)

  1. Logic programming and rule based production systems.
  2. Uncertainty in rule based systems; efficient implementation.
  3. Constraint logic programming / abductive logic programming
  4. V: exercise review and student’s presentations of seminal papers
Bibliografia e materiale didattico

David L. Poole,  Alan K. Mackworth. Artificial Intelligence: foundations of computational agents, Cambridge University Press, Apr 19, 2010 – Computers. http://artint.info/html/ArtInt.html

Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach (3rd edition). Pearson Education 2010.

Edward Tsang. Foundations of Constraint Satisfaction, Computation in Cognitive Science. Elsevier Science. Kindle Edition, 2014.

Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 2004.

Genesereth, M., and Nilsson, N., Logical Foundations of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1987.

Nils Nilsson, N., Artificial Intelligence: A New Synthesis, San Francisco: Morgan Kaufmann, 1998.

David Barber, Bayesian Reasoning and Machine Learning, Online version February 2017.

Other materials will be made available through Moodle.

Bibliography

David L. Poole,  Alan K. Mackworth. Artificial Intelligence: foundations of computational agents, Cambridge University Press, Apr 19, 2010 – Computers. http://artint.info/html/ArtInt.html

Stuart J. Russell and Peter Norvig. Artificial Intelligence: A Modern Approach (3rd edition). Pearson Education 2010.

Edward Tsang. Foundations of Constraint Satisfaction, Computation in Cognitive Science. Elsevier Science. Kindle Edition, 2014.

Ronald Brachman and Hector Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA. 2004.

Genesereth, M., and Nilsson, N., Logical Foundations of Artificial Intelligence, San Francisco: Morgan Kaufmann, 1987.

Nils Nilsson, N., Artificial Intelligence: A New Synthesis, San Francisco: Morgan Kaufmann, 1998.

David Barber, Bayesian Reasoning and Machine Learning, Online version February 2017.

Other materials will be made available through Moodle.

Indicazioni per non frequentanti

Tutti i materiali suggeriti per la lettura, diapositive delle lezioni, esercizi, compiti, saranno resi disponibili sul sito Moodle del corso. Ci aspettiamo che lo studente interagisca a distanza durante il corso e partecipati alle attività svolte con il supporto della piattaforma (partecipazione al forum, attività assegnate e così via).

Non-attending students info

All the reading material, lecture slides, exercises, assignments, will be made available in the Moodle web site of the course. We expect some sort of interaction during the course and participation in the activities carried out with the support of the platform (participation to the forum, assignments and so on).

 

Modalità d'esame

Se possibile, la valutazione sarà effettuata durante il corso e sarà basata sulle seguenti attività:

  • discussione sui risultati degli esercizi o dei compiti di programmazione assegnati
  •  presentazioni brevi su articoli o capitoli di libri assegnati per la lettura.

È necessario un esame orale finale in caso di "occasionale" o non partecipazione alle attività del corso

Assessment methods

If possible, assessment will be done during the course and will be based on the following activities:

  • discussion on the results of exercises or programming tasks assigned
  • short presentations about the readings of selected papers or books chapters.

A final oral exam is required in case of “occasional” or no participation in the activities of the course

Ultimo aggiornamento 30/08/2017 17:30