5 dicembre 2008
Mercoledì 10 dicembre al polo scientifico dei Rizzi
Intelligenza artificiale e linguaggi per descrivere azioni
Conferenza dell’informatico americano Michael Gelfond
Il dipartimento di Matematica e informatica dell’Università di Udine organizza la conferenza “Linguaggi per la descrizione di azioni: uno strumento per la modellazione dei sistemi dinamici” che si terrà mercoledì 10 dicembre, alle 17, nell’aula multimediale del dipartimento, presso il polo scientifico dei Rizzi, in via delle Scienze 208 a Udine. Relatore sarà Michael Gelfond, professore di Informatica alla Texas Tech University (Lubbock, Texas – Usa). La conferenza sarà tenuta in lingua inglese.
La prima parte dell’incontro sarà dedicata, come spiega il direttore del dipartimento Angelo Montanari, «alla teoria e alle applicazioni dei linguaggi per la descrizione di azioni: formalismi logici per la modellazione e l’analisi di sistemi dinamici. Questi formalismi consentono di rappresentare attraverso un diagramma le traiettorie che descrivono il comportamento di un sistema nel tempo». Gelfond presenterà poi un formalismo da lui ideato descrivendone proprietà e possibili utilizzi nell’ambito della progettazione di agenti intelligenti in grado di eseguire attività di pianificazione, diagnosi e altre forme di ragionamento automatico.