Cel
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.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
SW7 2AZ LONDON
Zjednoczone Królestwo
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.