Objective 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.OBJECTIVESThe 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 WORKThe 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. Programme(s) FP5-IST - Programme for research, technological development and demonstration on a "User-friendly information society, 1998-2002" Topic(s) IST-2001-6.2.2 - Global computing: co-operation of autonomous and mobile entities in dynamic environments Call for proposal Data not available Funding Scheme CSC - Cost-sharing contracts Coordinator IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE EU contribution No data Address SOUTH KENSINGTON CAMPUS SW7 2AZ LONDON United Kingdom See on map Total cost No data Participants (5) Sort alphabetically Sort by EU Contribution Expand all Collapse all ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Italy EU contribution No data Address VIA ZAMBONI 33 40126 BOLOGNA See on map Total cost No data CITY UNIVERSITY LONDON United Kingdom EU contribution No data Address NORTHAMPTON SQUARE EC1V 0HB LONDON See on map Total cost No data UNIVERSITA DEGLI STUDI DI FERRARA Italy EU contribution No data Address VIA SAVONAROLA 9 44100 FERRARA See on map Total cost No data UNIVERSITA DI PISA Italy EU contribution No data Address LUNGARNO PACINOTTI 43/44 56100 PISA See on map Total cost No data UNIVERSITY OF CYPRUS Cyprus EU contribution No data Address KALLIPOLEOS STREET 75 1678 NICOSIA See on map Total cost No data
