Date: Wed 3 May 2000
Time: 15.00
Place: Aula 214

Speaker: Dr. Matteo Baldoni (Dipartimento di Informatica, Universita' di Torino)
Title: Un'introduzione alle logiche normali (multi)modali: semantica di Kripke, assiomi di interazione, calcolo dei tableaux e applicazioni

Abstract. Negli ultimi anni un crescente interesse hanno destato i formalismi che permettono di strutturare la conoscenza consentendo meccanismi di ragionamento piu` sofisticati ma anche piu` intuitivi e problem-oriented. Le logiche modali sono uno di questi formalismi. Da un lato, le logiche modali sono state utilizzate con successo per estendere linguaggi di programmazione logica. Dall'altro estendono la logica classica permettendo una piu` naturale formulazione di problemi che richiedono ragionamento in ambito distribuito. Una possibile applicazione e` la rappresentazione della conoscenza e il ragionamento in ambito multi-agente. In questo seminario/breve corso introdurro` le logiche multimodali, ed in particolare una ampia classe di sistemi multimodali non omogenei caratterizzati da assiomi di interazione. Per questa classe di logiche presentero` un calcolo basato sulle tavole semantiche (tableaux) ed alcuni risultati di decidibilita`. Inoltre, introdurro` brevemente alcune applicazioni di tale classe di logiche per la definizione di linguaggi di programmazione che permettono una piu` semplice formalizzazione dei problemi che coinvolgono il ragionamento epistemico, la strutturazione della conoscenza, il ragionamento su azioni (anche complesse) e cambiamenti.