Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Per gli Studenti
Fondamenti di modelli e sistemi

Docente responsabile: Paola Bonizzoni

 

Obiettivi formativi

Il modulo fornisce strumenti ed elementi fondativi concettuali, formali e computazionali per la Rappresentazione della Conoscenza  e per lo sviluppo di relativi modelli e sistemi. Tali strumenti verranno presentati nel contesto applicativo del Sematic Web.  

 

Programma:

 

Introduzione alla Rappresentazione della Conoscenza

Nozioni base: Linguaggi logico formali: Sintassi, Semantica e Ragionamento

Logica proposizionale: Linguaggio, Conseguenza Logica, Calcolo e Decidibilità

Logica dei Predicati: Linguaggio, Conseguenza Logica, Calcolo e Decidibilità

Rappresentare, condividere e integrare la conoscenza

Ontologie come modelli formali, concettuali e computazionali

Rappresentazione di conoscenze ontologiche: strutture e relazioni

Description Logics & Reasoning

Semantic Web technologies: introduzione e applicazioni basate su ontologie

Axiomatic Web Ontologies: OWL & Description Logics

Rappresentare e interrogare la conoscenza sul Web

Tools & Applications

tecnologie disponibili per costruire ontologie e KB semantiche; accesso e reasoning mediante strumenti Web

Semantic Web Languages e l'integrazione di informazioni

Ragionamento mediante motori a regole

Introduzione al ragionamento probabilistico: incertezza, Modelli Relazionali e Modelli Dinamici

Introduzione ai metodi algoritmici per il WEB: tecniche algoritmiche moderne per trattare e ricercare l’informazione nel WEB e nei testi

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 28/03/2011