Workshop "Automated Reasoning about Context and Ontology Evolution", Barcellona, Spagna
17 Luglio 2011 - 17 Luglio 2011
Spagna
Il workshop "Automated Reasoning about Context and Ontology Evolution" (ragionamento automatico sull'evoluzione di contesto e ontologia) si svolgerà il 17 e 18 luglio 2011 a Barcellona, in Spagna.
I metodi del ragionamento automatico hanno risolto un grande numero di problemi in informatica utilizzando ontologie formali espresse in linguaggi basati sulla logica. Nel corso degli anni, tuttavia, ciascun problema o classe di problemi ha richiesto una diversa ontologia, e a volte una diversa versione di logica. I processi di progettare, controllare e sostenere un'ontologia, oltre alle sue diverse versioni, si sono rivelati intrinsecamente complessi.
Questa situazione ha motivato una significativa quantità di ricerca circa il modo in cui mettere in relazione le ontologie tra loro, con almeno tre motivazioni diverse ma interdipendenti dietro a questo tipo di ricerca:
- definire il rapporto tra un'ontologia e il suo contesto;
- fornire supporto agli ingegneri dell'ontologia;
- migliorare la soluzione dei problemi e la comunicazione per i software agent.
L'evento riunirà ricercatori e professionisti di aree fondamentali dell'intelligenza artificiale (rappresentazione della conoscenza, ragionamento, contesti e ontologie) e di discipline collegate per discutere un'ampia varietà di problemi e risultati della ricerca nell'area dell'evoluzione di contesto e ontologia.Per ulteriori informazioni, visitare: http://www.arcoe.org/2011/(si apre in una nuova finestra)
I metodi del ragionamento automatico hanno risolto un grande numero di problemi in informatica utilizzando ontologie formali espresse in linguaggi basati sulla logica. Nel corso degli anni, tuttavia, ciascun problema o classe di problemi ha richiesto una diversa ontologia, e a volte una diversa versione di logica. I processi di progettare, controllare e sostenere un'ontologia, oltre alle sue diverse versioni, si sono rivelati intrinsecamente complessi.
Questa situazione ha motivato una significativa quantità di ricerca circa il modo in cui mettere in relazione le ontologie tra loro, con almeno tre motivazioni diverse ma interdipendenti dietro a questo tipo di ricerca:
- definire il rapporto tra un'ontologia e il suo contesto;
- fornire supporto agli ingegneri dell'ontologia;
- migliorare la soluzione dei problemi e la comunicazione per i software agent.
L'evento riunirà ricercatori e professionisti di aree fondamentali dell'intelligenza artificiale (rappresentazione della conoscenza, ragionamento, contesti e ontologie) e di discipline collegate per discutere un'ampia varietà di problemi e risultati della ricerca nell'area dell'evoluzione di contesto e ontologia.Per ulteriori informazioni, visitare: http://www.arcoe.org/2011/(si apre in una nuova finestra)