Cel
Automated planning is concerned with the automated generation of courses of action for autonomous agents, by reasoning over their capabilities and goals. It is one of the central areas of Artificial Intelligence and has numerous applications wherever virtual or embodied agents need to make intelligent decisions autonomously, including domains such as network security, manufacturing, space exploration, robot control, and the semantic web. Heuristic search is the core algorithmic idea underlying most state-of-the-art domain-independent planning systems, and systems based on abstraction heuristics are among the most popular and successful representatives of this approach, especially when there exists a requirement to find optimal plans, i.e. plans of minimal cost. We aim to advance the state of the art of optimal heuristic search with abstraction heuristics in three respects: Firstly, we want to advance the theory of abstraction heuristics in order to improve our theoretical understanding of their capabilities, their limitations, and their relationship to other commonly used approaches for deriving admissible heuristics. Secondly, we want to develop improved abstraction heuristics for the domain-independent setting, thus improving the state of the art for optimal planning systems. Thirdly, we want to transfer the new insights on abstraction heuristics to applications of optimal search outside of domain-independent planning, in order to advance the state of the art in these areas. Research areas of particular promise to search with abstraction heuristics include model checking, diagnosis of discrete-event systems, parsing for probabilistic context-free grammars, as well as multiple sequence alignment and genome rearrangement problems in bioinformatics.
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 nauki fizyczne astronomia eksploracja kosmosu
- nauki przyrodnicze informatyka bezpieczeństwo teleinformatyczne bezpieczeństwo sieciowe
- nauki przyrodnicze nauki biologiczne genetyka genom
- nauki przyrodnicze informatyka sztuczna inteligencja programowanie heurystyczne
- nauki przyrodnicze informatyka internet sieć semantyczna
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.
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
FP7-PEOPLE-2009-IOF
Zobacz inne projekty w ramach tego zaproszenia
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.
Koordynator
79098 Freiburg
Niemcy
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.