Opis projektu
Badanie samodzielnie programujących się urządzeń opartych na sztucznej inteligencji
Maszyny produkcyjne, inteligentne przedmioty, roboty oraz inne urządzenia opierają się na mechanizmach umożliwiających ich programowanie, a także na zaawansowanych czujnikach i siłownikach. Skuteczność tych mechanizmów jest jednak ograniczona ze względu na fakt, że ich logika opiera się na regułach zakodowanych na stałe w programach ręcznie tworzonych przez programistów. Zespół finansowanego ze środków Unii Europejskiej projektu WhiteMech zamierza opracować narzędzia na potrzeby nowej generacji samodzielnie programujących się mechanizmów typu biała skrzynka (ang. white box), które automatycznie dostosowują swoje zachowania w celu osiągnięcia zakładanych celów, ustalają bezpieczne granice w zmiennym otoczeniu, a także modyfikują zachowania w związku ze zmianami przepisów i konwencji. Rozwiązania opracowane przez zespół WhiteMech opierają się na połączeniu wiedzy naukowej oraz wniosków wynikających z autonomicznego sekwencyjnego podejmowania decyzji przez sztuczną inteligencję, weryfikacji i syntezy programów przy użyciu metod formalnych oraz procesów wykorzystujących informacje w bazach danych.
Cel
We are witnessing an increasing availability of mechanisms that operate in nondeterministic (uncertain) environments and offer some form of programmability. These include manufacturing devices, smart objects and spaces, intelligent robots, dynamic business process management systems, and many others. All these mechanisms are currently being revolutionized by advancements in sensing (vision, language understanding) and actuation components (autonomous mobile manipulators, automated storage and retrieval systems). However, such mechanisms are held back by the fact that their logic is still based on hard-wired rules encoded in hand-crafted programs. WhiteMech aims at developing the science and the tools for a new generation of mechanisms to emerge: mechanisms that are able to program themselves, automatically tailor their behavior so as to achieve desired goals, maintain themselves within safe boundaries in a changing environment, and follow regulations and conventions that evolve over time. Crucially, empowering mechanisms with self-programming carries significant risks and therefore we must be able to balance power with safety. For this reason WhiteMech intends to realize mechanisms that are white-box, that is, whose behavior is at any moment fully analyzable and comprehensible in human terms, and guarded by human oversight. Remarkable recent discoveries by the applicant in Reasoning about Action and Generalized Planning in Artificial Intelligence, and their connections to Verification and Synthesis in Formal Methods, and Data-Aware Processes in Databases, chart an unanticipated novel path to produce a breakthrough in realizing powerful self-programming mechanisms, while keeping them human- comprehensible and safe by design. WhiteMech will ground its scientific results upon three driving applications: smart manufacturing (Industry 4.0) smart spaces (IoT) and business process management systems (BPM).
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.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Słowa kluczowe
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
Słowa kluczowe dotyczące projektu wybrane przez koordynatora projektu. Nie należy mylić ich z pojęciami z taksonomii EuroSciVoc dotyczącymi dziedzin nauki.
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.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
GŁÓWNY PROGRAM
Wyświetl wszystkie projekty finansowane w ramach tego programu
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.
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.
ERC-ADG - Advanced Grant
Wyświetl wszystkie projekty finansowane w ramach tego programu finansowania
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.
(odnośnik otworzy się w nowym oknie) ERC-2018-ADG
Wyświetl wszystkie projekty finansowane w ramach tego zaproszeniaInstytucja przyjmująca
Kwota netto dofinansowania ze środków Unii Europejskiej. Suma środków otrzymanych przez uczestnika, pomniejszona o kwotę unijnego dofinansowania przekazanego powiązanym podmiotom zewnętrznym. Uwzględnia podział unijnego dofinansowania pomiędzy bezpośrednich beneficjentów projektu i pozostałych uczestników, w tym podmioty zewnętrzne.
OX1 2JD Oxford
Zjednoczone Królestwo
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.