Obiettivo
The aim of this project is to investigate computational and logical models for describing, analysing, and verifying individual and aggregates of computational entities - which we refer to as computees - interacting in the context of global, open and dynamic environments. Computees can form complex organisations, which, for the purposes of this project, we call societies of computees. We propose computational logic-based techniques for specifying and verifying formal properties of computees and their societies. We further validate the framework by a series of grounded controlled experiments using a prototype demonstrator embodying the formal model. The results of the project will also provide a practical basis for the design of classes of systems and applications which require aggregate behaviour of computational entities.
OBJECTIVES
The projects aims to:
(1) deliver novel computational logic-based descriptions of computational entities - referred to as computees - with heterogeneous knowledge, objectives, roles and patterns of behaviour and interaction;
(2) describe societies of computees that are capable of interacting in a global, open, and dynamically changing environment;
(3) provide tools for the specification, analysis and verification of properties of computees and societies of computees emerging from their interactions.
DESCRIPTION OF WORK
The purpose of this research project is to investigate computational and logical models for describing, analysing, and verifying individual and aggregates of computational entities - referred to as computees - interacting in the context of global, open, and dynamic environments. The project is divided into three phases: formal models; computational models; verification and experiments. Each phase last for around one year and comprises two workpackages constituting the major focus of project activities for that year. Work on the foundational aspects feeds into the development of computational models and tools. During the first phase, we undertake studies that integrate hypothetical, temporal and argumentation-based reasoning in order to model logically individual computees. We then develop a logical framework for interactions amongst computees. This will establish interactions amongst computees via direct communication, whether based on standard protocols or emerging from individual communicative behaviours. In the second phase of the project, we develop computational models for the logical models of individual computees and their interactions.
To support these computational models, a complete experimental demonstrator will be developed which will be tested on scenarios and examples on varying scales. In the third phase, we identify significant and desirable properties of computees and their societies, and prove formally under what circumstances these properties hold. Results will be validated using a prototype demonstrator embodying the formal models. The techniques developed provide a practical basis for the design of classes of systems and applications, which require aggregate behaviour of computational entities.
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.
Coordinatore
SW7 2AZ LONDON
Regno Unito
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.