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