Praxen: Открытый источник агентства поведения проверки

Проксен - это инструмент с простой задачей: он проверяет, делает ли агентный агент то, что claimет сделать. Instrument принимает декларированную политику агента, observes его работу и указывает на каждое место, где два разные точки зрения. Это референс-исполнение Agent Behavior Verification, контрольного модели, которая дает каждому агенту разрешенную роль и затем проверяет, подтверждает ли контроль, что агент соответствует ей. Идея Praxen заключается в том, чтобы обеспечить безопасность и подотчетность агентов, используя эту модель.