Ziel
Reasoning is an integral part of intelligent systems. In reality any such system has to cope with a changing world. This is certainly true for humans, but also for robots, database management systems, human/computer interfaces, programming environments, etc. Hence reasoning must account for change in order to be truly useful in practice.
Logical approaches to artificial intelligence have the advantage of offering a declarative framework for the representation of knowledge. On the other hand, Classical logic, the generally assumed logical theory in AI, was originally conceived for the static world of mathematics, and is not well equipped to deal with the notions of action and change, which are often crucial in the problems that AI is meant to address. Many of the criticisms against the "logicist" view of AI find one of their main motivations in this inadequacy to deal with change. However, recently the AI community has started to consider alternative logical theories which are better equipped to cope with the problems of change. Among such theories are modal logic, temporal logic, Girard's linear logic and Bibel's linear proofs.
The aim of the project is to bring together researchers looking for a satisfying logical account of change, and to examine ways to mechanise the logic in order to implement systems that perform change and systems that reason about change.
The Group focuses on the joint discussion and analysis of problems and aspects of change as they occur in many application domains, eg planning, concurrent systems, multiagent worlds, non-monotonic reasoning, inheritance with exceptions, change and logic programming, and truth-maintenance. Besides smaller informal meetings, the workplan consists of three internal workshops, mainly aimed at interaction among members, and two open workshops, with a public call for participation, aimed at interaction of the Group with the rest of the research community. Expected results are insights into the nature of change as well as the elaboration of logical frameworks able to provide common views of various aspects of change.
POTENTIAL
This project can potentially foster the foundation of novel programming paradigms, suitable for a declarative approach to complex computational tasks. These paradigms may lead to the design and implementation of concrete programming languages and environments whose declarativity can have a big impact on the reliability and production cost of large software systems.
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.
- Naturwissenschaften Informatik und Informationswissenschaften künstliche Intelligenz
- Naturwissenschaften Informatik und Informationswissenschaften Datenbank
- Naturwissenschaften Informatik und Informationswissenschaften Software Anwendungssoftware Systemsoftware
- Naturwissenschaften Mathematik
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.
Daten nicht verfügbar
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
2825 MONTE DA CAPARICA
Portugal
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.