Ziel
Distributed and mobile systems are collecting more and more interest in the world of communications. Much of their success is due to the possibility of spreading knowledge, information, and services among different locations in order to realize concurrent, fault tolerant, and adaptive systems. As a matter of fact, one of the most novel and distinctive features of mobile systems is the capability of processes, besides information, to move between different locations, so as to better fit the evolving environment. Furthermore, such a complex behavior is often subject to both temporal and spatial constraints (e.g. real-time systems). Thus, specific methodologies are required to deal with uncertainty, redundancy, and mobility of information in strongly distributed systems. Non-classical logics, such as logics of incomplete information, many-valued logics and fuzzy logics (as well as constructive variants of them), sub-structural logics, spatio-temporal logics, and extensions of intuitionist propositional logic by means of "temporal" modalities, emerged as promising tools to formally specify and verify desirable properties of strongly distributed systems. The central objective of this research project is to provide analytical, computational, and algorithmic tools for the implementation and mechanization of non-classical logics. The main deliverable of our effort will be a Handbook containing enough information for an enlightening view on the issue at the ground of a sensible implementation of the principal families of non-classical logics. Instrumental to our approach will be a preliminary taxonomy and classification of collections of non-classical logics and of possible computational engines at the ground of their potential mechanization.
This claim will be subsequently sustained by an in-depth investigation on the tools available for these representative logics. Hence, the research will concentrate on the following points:
the classification and the study of the expressive power of various applied non-classical logics,
the development of analytic deduction systems for the above mentioned logics,
the investigation of the complexity of logical deduction in such systems,
the clarification from a proof-theoretical perspective of the relations between lattice logics and other families of non-classical logics such as sub-structural logics and many-valued logics.
Concurrently, inspection on the tools will be made, in order to mechanize the task of proving a specific property for a specific logic:
deduction systems will be constructed on the basis of uniform translations,
the existence of a mechanism for producing an axiomatization of the bisimulation quantifiers closure of a logic from an existing axiomatization of the base logic will be investigated,
and the development of correspondence theory meant to provide a method of generation of deduction rules for given semantic constraints in models of a non-classical logic will be exploited.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Dieses Projekt wurde noch nicht bei EuroSciVoc klassifiziert.
Schlagen Sie die Wissenschaftsbereiche vor, die Ihrer Einschätzung nach besonders relevant sind, und helfen Sie uns, unseren Klassifizierungsdienst zu verbessern.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
33100 Udine
Italien
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.