IA física, verificada con mediciones
El software que toca el mundo físico tiene que demostrar lo que hizo. Todo lo que construimos sigue cuatro reglas.
Cuatro reglas
- Medir
Una orden no es una prueba. Cada acción física se verifica contra lo que registraron los sensores, y una acción que no dejó rastro se señala en lugar de darse por buena.
- Acotar
Los límites de seguridad residen en el propio dispositivo, no solo en la nube. Un plan que cruzaría un límite se rechaza antes de enviarse, y el dispositivo lo rechaza de nuevo por su cuenta.
- Aprender localmente
Cada espacio es distinto. Los modelos aprenden cada habitación a partir de sus propias mediciones, en lugar de suponer una habitación promedio.
- Superar la referencia
Un modelo se gana su lugar solo si supera la regla simple que reemplaza, como un temporizador fijo, con datos reservados para evaluación. Si no lo logra, se queda la regla simple.
Simulación, luego banco de pruebas, luego habitaciones
- 1Simulación: la cadena completa de software y los modelos se ejecutan de extremo a extremo antes de que exista cualquier hardware.
- 2Banco de pruebas: cada etapa del prototipo prueba solo las incógnitas para las que sirve esa etapa, con componentes comerciales siempre que sea posible.
- 3Habitaciones: espacios reales, medidos, antes de afirmar nada sobre lo que hace el producto.
Los diseños, el firmware, los modelos y los datos de prueba se conservan como código fuente, de modo que cada resultado pueda reconstruirse y verificarse.