Obiettivo
Research objectives and content With my doctoral work I believe to have proposed advancements to the theory of actions and change in the field of knowledge representation: i) the definition of specification languages that capture increasingly-complex aspects of reasoning about actions, in particular the treatment of actions actually occurred in the domain and hypothetical actions was reconciled; ii)the discussion and formalization of causal explanations. These specification languages may be seen as logics of actions, in the sense that they have an ad hoc model theory and a notion of entailment. The emphasis, however, was on the computer science aspects, e.g. the ability of a formalization to assimilate a change in the domain by simple addition of facts and the ability to describe actions intended to be performed by an autonomous agent. Yet these languages have a rather limited expressive power. Two notable limitations are: i) only fluents with boolean values are allowed, and therefore representing continuously changing values, e.g. position, becomes impractical; ii) there is no direct way to specify the performance of a repetition of actions so as to achieve/maintain a certain state. The latter, which is instead unproblematic in process specification languages, has not yet suggested a cross-fertilization of ideas between knowledge representation and concurrency. In my stay at Queen Mary and Westfield college I intend to study solutions to the two issues above. This undertake involves also a change in methodology, as I am going to follow a more a experimental track, i.e. to draw a research agenda which is based on experiences in specifying small-scale realistic agents. Training content (objective, benefit and expected impact) The time allocated for the project seems sufficient to bring us to the definition of the extended language, implementation of a prototype interpreter and experimental application to governing of a wandering robot that should already be available at Queen Mary and Wetsfield.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali matematica matematica pura matematica discreta logica matematica
- scienze naturali informatica e scienze dell'informazione ingegneria della conoscenza
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
54006 Thessaloniki
Grecia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.