Компьютерная наука > Искусственный интеллект [представлен 27 октября 2026 года] Название: Concordat: Типированные сеансы для агентов LLM View PDF HTML (экспериментальный) Резюме: Агентам, построенным на крупных языковых моделях, все чаще разрешается принимать последующие меры: отмена бронирования, возврат средств и изменение счетов. Правила, регулирующие эти действия, такие как "соблюдение ясно выраженного подтверждения клиента до изменения чего-либо", обычно указываются в оперативной форме и соблюдаются только так же надежно, как модель решает следовать им. Мы представляем Конкордат, библиотеку Python, в которой агент рассматривается как объект с интерфейсом, который представляет собой протокол конечного состояния в духе типографических и сессионных типов, и обеспечивает соблюдение протокола по модели во время работы. На каждом повороте модель предлагает только инструменты, которые законны в текущем состоянии протокола, звонки за пределы этого набора отклоняются до того как они имеют побочные эффекты, решения, зарезервированные для человека могут запрашиваться только, а символические и контрольные бюджеты загружаются и линейно делятся между подателями. Протоколы проверяются, когда они определены, и подкласс агента отклоняется, если он может обойти протокол своего родителя — поведенческий вид замены Лискова. Мы оцениваем агента Конкордата по сравнению со стандартным агентом Тау-бенча в его 50 задачах авиакомпании, добавляя имитированных клиентов которые заставляют агента…
Конкордат: Типирование сеансов для агентов LLM
arXiv: 261 030.37461v1 Annuales Type: New Habritary: Агенты, созданные на крупных языковых моделях, все чаще могут принимать последующие меры: отменять бронирование билетов, выдавать возвраты, менять счета. Правила, регулирующие эти действия, такие как "соблюдение ясно выраженного подтверждения клиента до изменения чего-либо", обычно указываются в оперативной форме и соблюдаются только так же надежно, как модель решает следовать им. Мы представляем Конкордат, библиотеку Python, в которой агент рассматривается как объект с интерфейсом, который представляет собой протокол конечного состояния в духе типографических и сессионных типов, и обеспечивает соблюдение протокола по модели во время работы. На каждом повороте модель предлагает только инструменты, которые законны в текущем состоянии протокола, звонки за пределы этого набора отклоняются до того как они имеют побочные эффекты, решения, зарезервированные для человека могут запрашиваться только, а символические и контрольные бюджеты загружаются и линейно делятся между подателями. Протоколы проверяются, когда они определены, и подкласс агента