Projektbeschreibung
Eine Untersuchung selbstprogrammierender KI-Geräte
Fertigungsvorrichtungen, intelligente Objekte und Roboter sowie auch andere Anwendungen sind auf Mechanismen angewiesen, die Formen der Programmierbarkeit bereitstellen und sich auf fortgeschrittene Sensor- und Antriebskomponenten verlassen. Allerdings ist der Einfluss dieser Mechanismen beschränkt, da ihre Logik auf hartcodierten Regeln in maßgeschneiderten Programmen beruht. Das EU-finanzierte Projekt WhiteMech wird die Instrumente für eine neue Generation an selbstprogrammierenden White-Box-Mechanismen entwickeln, die dazu imstande sind, ihr Verhalten automatisch anzupassen, um gewünschte Ziele zu erreichen, sich selbst durch sichere Grenzen in sich wandelnden Umgebungen zu unterstützen und Vorschriften und Konventionen zu befolgen, die sich im Laufe der Zeit verändern. WhiteMech stützt seine wissenschaftlichen Ergebnisse auf die Kombination aus Fachwissen und Erkenntnissen der autonomen sequentiellen Entscheidungsfindung bei der künstlichen Intelligenz, die Programmverifizierung und Synthese in formellen Methoden sowie datenbewusste Prozesse in Datenbanken.
Ziel
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).
Wissenschaftliches Gebiet
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Finanzierungsplan
ERC-ADG - Advanced GrantGastgebende Einrichtung
OX1 2JD Oxford
Vereinigtes Königreich