Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Laboratorio di rappresentazione della conoscenza

Docente: Giuseppe Vizzzari

Crediti: 4 cfu

CONOSCENZE

Il laboratorio introduce linguaggi formali, strumenti di sviluppo ed applicazioni esistenti nell’area della Knowledge Representation e approfondisce il corso di Complementi di Rappresentazione della Conoscenza, con particolare enfasi al tema dello Spatial Reasoning.

CAPACITA’
Il laboratorio intende fornire agli studenti competenze utili alla progettazione e realizzazione di sistemi software basati su tecniche di “Logic-based Knowledge Representation”.


PROGRAMMA

Il programma del laboratorio è così strutturato:

- Answer Set Programming e introduzione all'uso di una piattaforma di programmazione logica (DLV)

- Rappresentazione di regole di default e Nonmonotonic Reasoning.

- Estensioni di DLV.

- Presentazione e discussione di casi paradigmatici e di applicazioni avanzate nei contesti della classificazione automatica e dello Spatial Reasoning.

 

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011