Запросы, обещания, утверждения и декларации: переписываем рабочий процесс нашего ИИ-агента как машину «обязательной речи» 1986 года

В этой статье рассматривается новый подход к улучшению автономных ИИ-агентов для написания кода путем применения теории «обязательной речи» Фернандо Флореса 1986 года. Автор утверждает, что распространенные сбои в рабочих процессах ИИ, такие как галлюцинации или отклонения от плана, возникают из-за отсутствия лингвистической строгости. Заменяя защитное проектирование промптов формальной «машиной обязательств», основанной на четырех речевых актах (запросы, обещания, утверждения и декларации), разработчики могут обеспечить подотчетность. Система интегрирует четырехзначную логику Нуэла Белнэпа для управления эпистемическими состояниями и процессы обмена сообщениями Тони Хоара (CSP) для обработки передачи задач между агентами. Рассматривая каждую задачу как контракт между «заказчиком» и «исполнителем», рабочий процесс гарантирует, что агенты действуют только на основе проверенных физических доказательств. Этот архитектурный сдвиг значительно снижает потребность в сложных защитных промптах, делая автономные системы кодирования более надежными и самовосстанавливающимися.