it gb
it gb

Rappresentazione della conoscenza, ragionamento automatico, logica e ontologie

Presentazione

    L'attività di ricerca del gruppo nell'ambito della rappresentazione della conoscenza e del ragionamento automatico ha inizio verso la fine degli anni novanta con lo studio di logiche non classiche, in particolare modali e condizionali, e lo studio di meccanismi di ragionamento per la comunicazione fra agenti nell'ambito del Web Semantico.

    Negli ultimi anni, l'attività di ricerca dei membri del gruppo si è focalizzata sulle seguenti tematiche:

    • studio di metodi di prova per logiche condizionali e preferenziali per il ragionamento non-monotono;
    • implementazione di theorem provers per logiche non classiche;
    • sviluppo di estensioni non monotone delle logiche terminologiche (Description Logics) per il ragionamento prototipale;
    • specifica e ragionamento su interazioni basate su protocolli;
    • verifica di proprietà di interazioni basate su protocolli;
    • protocolli di interazione commitment-based;
    • modelli affettivi basati su ontologie del semantic web.

News

logo rappresentazione della conoscenza

Contatti


Valentina Gliozzi

+ 39 011 670 6748

iDFyhXE7c8TGrm03NP5]#[NzylfVxGEqS@dTtrM7y


Viviana Patti

+ 39 011 670 6804

iDFyhXE7c8TGrm03N]#[Wo8qOhspb1FzjZ.lF


Gian Luca Pozzato

+ 39 011 670 6848

iDFyhXE7c8TGrm03NP5]#[W1DwGP2GEqS@dTtrM7y