Ziel
Research objectives and content With my doctoral work I believe to have proposed advancements to the theory of actions and change in the field of knowledge representation: i) the definition of specification languages that capture increasingly-complex aspects of reasoning about actions, in particular the treatment of actions actually occurred in the domain and hypothetical actions was reconciled; ii)the discussion and formalization of causal explanations. These specification languages may be seen as logics of actions, in the sense that they have an ad hoc model theory and a notion of entailment. The emphasis, however, was on the computer science aspects, e.g. the ability of a formalization to assimilate a change in the domain by simple addition of facts and the ability to describe actions intended to be performed by an autonomous agent. Yet these languages have a rather limited expressive power. Two notable limitations are: i) only fluents with boolean values are allowed, and therefore representing continuously changing values, e.g. position, becomes impractical; ii) there is no direct way to specify the performance of a repetition of actions so as to achieve/maintain a certain state. The latter, which is instead unproblematic in process specification languages, has not yet suggested a cross-fertilization of ideas between knowledge representation and concurrency. In my stay at Queen Mary and Westfield college I intend to study solutions to the two issues above. This undertake involves also a change in methodology, as I am going to follow a more a experimental track, i.e. to draw a research agenda which is based on experiences in specifying small-scale realistic agents. Training content (objective, benefit and expected impact) The time allocated for the project seems sufficient to bring us to the definition of the extended language, implementation of a prototype interpreter and experimental application to governing of a wandering robot that should already be available at Queen Mary and Wetsfield.
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 Mathematik reine Mathematik diskrete Mathematik mathematische Logik
- Naturwissenschaften Informatik und Informationswissenschaften Wissensverarbeitung
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
54006 Thessaloniki
Griechenland
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.