Работа машины
Когда складской мобильный манипулятор едет по проходу, его навигационная камера замечает человека, выходящего из торца стеллажа впереди. Следующее предложение политики фрагмента все еще несет основание вперед, и путь разрешения должен решить, остается ли лежащее в его основе наблюдение свежим и позволяет ли оставшийся запас хода это движение или только остановку. У решения есть предельный срок, и никакое лучшее предложение не поможет, когда машина уже перешла свой тормозной запас. Эксплуатация машины физического ИИ означает согласование временных масштабов восприятия, планирования и исполнения команды с этим физическим предельным сроком. Человеческие цели могут меняться за секунды, а траектории — за десятки миллисекунд, тогда как контур разрешения в одной реализации работает каждую миллисекунду. Требуемые частоты и времена реакции приходят от объекта управления и его измеренных задержек, а не от названий уровней.
Предложение — не разрешение
Инвариант: Обученная модель может предлагать движение; допустить его может только независимый путь разрешения. Путь решает по каждому действию на состоянии с известным возрастом, в предельный срок, заданный возрастом наблюдения, вычислениями, передачей, откликом актуатора и запасом хода, который оставляет задержка, и владеет резервированием, осуществимым из текущего состояния без инициатора.
Следствие: Каждая стадия времени выполнения служит одному решению: может ли это предложение пересечь каузальную границу до исчерпания запаса. Стадии перед путем разрешения доставляют свидетельства с приложенными возрастом и неопределенностью, путь разрешения работает на ресурсах, которые обученные рабочие нагрузки не могут задерживать, и любая гарантия, которую дает путь, например гарантия барьерного фильтра, действует, только пока держатся ее модель, оценка состояния, полномочия актуатора и предельный срок.
Часть III следует за предложениями машины, которым доверяют не дальше, чем позволяет протокол оценки Части II, через шесть стадий. Движение основания к торцу стеллажа и тяга плеча к кружке идут как один поток фрагментов всего тела под одной арендой фрагмента. Каждое предложение в этом потоке проходит через четыре стадии, которые его строят, одну, решающую, может ли оно действовать, и одну, которая удерживает это решение вовремя.
- Сенсорное восприятие («Сенсорное восприятие»): Решает, достаточно ли измерение актуально и откалибровано для использования, и создает контракт наблюдений, который датирует каждое измерение в часах, которые путь разрешения может преобразовать в свои.
- Пространственная память («Пространственная память»): Решает, как долго оценка может стоять без свежих свидетельств, и создает протокол пространственной оценки, который держит возраст свидетельств отдельно от возраста оценки.
- Обоснованное намерение («Обоснованное намерение»): Решает, как человеческая цель становится ограниченным истекающим запросом, и создает аренду намерения, которая предоставляет цель и потолки усилий, но никогда не путь.
- Планирование траекторий («Планирование траекторий»): Решает, когда траектория может быть принята, и создает протокол траектории, который несет ее предельные сроки и согласованный стоп-суффикс.
- Обеспечение безопасности («Обеспечение безопасности»): Решает на каждом такте, допускается ли предложение, проецируется или отклоняется (первая проекция на машине замедляет быстрое приближение плеча к защелке до охраняемой скорости, которую покрывает целевая ODD Части II), и создает протокол принудительного обеспечения, где встречаются две нити протоколов.
- Размещение на кремнии («Размещение на кремнии»): Решает, где работает путь разрешения, чтобы обученные рабочие нагрузки не могли его задерживать, и создает протокол размещения, который называет испытание, способное его подтвердить.
Часть III передает дальше свидетельства времени выполнения, которые должна судить Часть IV. Контракты наблюдений датируют каждое измерение, протоколы оценок истекают, аренды намерения и протоколы траекторий называют своих предков и свои предельные сроки, а протокол принудительного обеспечения заявляет огибающую остановки и предпосылки каждой гарантии. Его завершенный бюджет остановки задает скорость, с которой машина может ехать по проходу, и оставляет запас свободного расстояния — весь допуск на ошибку во входах — в распоряжение Части IV («Огибающие остановки»). Протокол размещения называет нагруженное испытание, которое показало бы, что обученные рабочие нагрузки не могут задержать путь разрешения («Проверка разделения испытаниями»), и на этой машине его нагруженное поле все еще пусто. Каждый протокол — утверждение с условиями, и ни один пока не является лицензией на эксплуатацию.