FACOLTA' DI INGEGNERIA       Universita' di Pavia
Home
  Didattica > Insegnamenti1011 > Intelligenza artificiale I Translate this page in English
Organizzazione e Sedi
Immatricolarsi ai C.d.L.
Immatricolarsi ai C.d.L.M.
Orientamento
Didattica
Prenotazione Aule
Master
Esami: Iscrizioni online
Ricerca Scientifica
Servizi
Rapporti con Imprese
Tirocini didattici
Eventi e Iniziative
Bandi e Offerte lavoro
Esami di Stato
Mobilità/Erasmus
Rapporti di riesame
Assicurazione Qualità
Guida dello Studente
Scorciatoie
Cerca nel sito
Intelligenza artificiale I

Insegnamento Anno Accademico 10-11

Docente/i: Marco Piastra  

Denominazione del corso: Intelligenza artificiale I
Codice del corso: 503046
Corso di laurea: Ingegneria Informatica
Settore scientifico disciplinare: ING-INF/05
Crediti formativi: CFU 6
Sito web del corso: http://vision.unipv.it/IA1/

Obiettivi formativi specifici

Il corso si pone come un'introduzione ai fondamenti della logica formale classica, proposizionale e del primo ordine, con particolare attenzione agli aspetti legati al calcolo automatico

Programma del corso

Schemi di ragionamento e logica formale

Algebre di Boole

Linguaggio logico e strutture semantiche: conseguenza logica

Logica proposizionale: sistemi deduttivi

Problemi di decisione e decidibilità

Semantic tableau e metodo di risoluzione

Predicati e relazioni: la logica del primo ordine

Semi-decidibilità della logica del primo ordine

Metodo di risoluzione con unificazione

Modelli minimi e programmazione logica (cenni)

Esercitazioni in laboratorio

  • Il linguaggio a regole Jess
  • Automi a stati finiti e macchine di Turing
  • Risoluzione SLD
  • L'algoritmo RETE
  • Prolog (cenni)

Prerequisiti

Conoscenza pratica di almeno un linguaggio di programmazione

Tipologia delle attività formative

Lezioni (ore/anno in aula): 35
Esercitazioni (ore/anno in aula): 20
Attività pratiche (ore/anno in aula): 0

Materiale didattico consigliato

Mordechai Ben-Ari. Mathematical Logic for Computer Science (2nd Edition). Springer, 2001.

Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997.

Stuart Russell, Peter Norvig. . Intelligenza Artificiale: un approccio moderno (terza edizione). Prentice Hall, 2010.

Modalità di verifica dell'apprendimento

L’esame prevede una prova orale che include la discussione delle attività di laboratorio

Copyright © Facoltà di Ingegneria - Università di Pavia