Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze matematyka matematyka czysta matematyka dyskretna logika matematyczna
- nauki przyrodnicze informatyka inżynieria wiedzy
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
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.
Brak dostępnych danych
Koordynator
54006 Thessaloniki
Grecja
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.