Salta ai contenuti. | Salta alla navigazione

Strumenti personali

Seminari

Strategie di ricerca e Java: la libreria amai.search
Dott. Ing. Elena Bellodi (Università di ferrara)

Data:  da definire in Ottobre (giovedì) in  Laboratorio di Informatica grande

Sommario:

Il linguaggio Java è ormai un riferimento per lo sviluppo di applicazioni. per l'Intelligenza Artificiale è stata sviluppata una suite di strategie, amai.search, che sarà preesentata e sperimentata nel corso del seminario, coinvolgendo i partecipanti nella modellazione e soluzione di semplici problemi di ricerca. Il seminario è organizzato in due parti, la prima su strategie non informate e la seconda su strategie euristiche.

 

 

Titolo: Introduzione alle Description Logics e al Semantic Web

Dott. Ing. Riccardo Zese (Univ. di Ferrara)

Date: a definire, a Dicembre - un intervento in aula e uno in laboratorio

Sommario:

Il World Wide Web, proposto nel 1989 da Tim Berners Lee, si è evoluto
fino a diventare un fenomeno globale con forti impatti economici,
sociali e culturali. Nel 2001 Berners Lee propone il Semantic Web, come
estensione del web attuale con contenuto semantico. A tal scopo, nasce
un gruppo di lavoro W3C, che propone in poco tempo standard per la
rappresentazione di informazioni semantiche. Gli standard proposti si
appoggiano su paradigmi formali, ed in particolare sulle Description
Logics (DL), utilizzando risultati  della ricerca su  rappresentazione della conoscenza.

Scopo del ciclo seminariale  è fornire un’introduzione alle DL e all'iniziativa Semantic
Web,  introducendo standard e strumenti disponibili.
Il seminario e' organizzato in due incontri:
- nel primo  saranno  introdotte le Description Logic, alcuni
operatori di base, la loro semantica ed eventuali metodi computazionali
per la risoluzione di problemi in tale ambito; verra' inoltre fornita una panoramica
dell'iniziativa Semantic Web, on particolare riguardo agli strumenti disponibili (ontologie, etc)
- nel secondo si sperimenterà  un editor di ontologie (Protegé) e un reasoner
ontologico (Pellet), realizzato in Java, in Laboratorio.