European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

White-Box Self-Programming Mechanisms

Descripción del proyecto

Estudio sobre dispositivos de inteligencia artificial autoprogramables

La fabricación de dispositivos, objetos inteligentes, robots inteligentes y otras aplicaciones depende de mecanismos que ofrecen formas de programabilidad y se basan en componentes de accionamiento y detección avanzada. Sin embargo, el efecto de esos mecanismos queda limitado debido a que su lógica se basa en normas de cableado cifradas en programas artesanales. El proyecto WhiteMech, financiado con fondos europeos, desarrollará las herramientas de una nueva generación de mecanismos de autoprogramación de caja-blanca capaces de adaptar automáticamente su comportamiento para lograr los objetivos deseados, apoyarse con limites seguros en un entorno cambiante y, además, seguir la evolución de las regulaciones y las convenciones a lo largo del tiempo. WhiteMech basa sus resultados científicos en la combinación de conocimientos e información de la toma de decisiones secuenciales autónomas en inteligencia artificial, programas de verificación y síntesis en métodos formales, así como en procesos de datos conscientes en bases de datos.

Objetivo

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).

Régimen de financiación

ERC-ADG - Advanced Grant

Institución de acogida

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Aportación neta de la UEn
€ 618 996,10
Dirección
WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD Oxford
Reino Unido

Ver en el mapa

Región
South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire
Tipo de actividad
Higher or Secondary Education Establishments
Enlaces
Coste total
€ 618 996,10

Beneficiarios (2)