标题： 结构化主动推理（扩展摘要） 显示英文标题

标题： Structured Active Inference (Extended Abstract)

摘要： 我们引入了结构化主动推理，这是利用范畴系统理论工具对主动推理的广泛推广和形式化。 我们将生成模型正式地视为“在接口上”的系统，后者是对通常马尔可夫毯概念的组合抽象；然后，代理是其生成模型的“控制器”，与之形式上是相对的。 这为主动推理领域开辟了新的前景，例如：具有结构化接口的代理（例如具有“模式依赖性”或与计算机API交互的代理）；能够管理其他代理的代理；以及“元代理”，它们使用主动推理来改变其（内部或外部）结构。 通过结构化接口，我们还可以获得结构化的（“类型化”）策略，这些策略易于进行形式验证，这是迈向安全人工智能代理的重要一步。 此外，我们可以利用范畴逻辑将代理的目标描述为形式谓词，其满足可能依赖于交互上下文。 这指向了强大的组合工具，用于约束和控制自组织代理的集合。 显示英文摘要

摘要： We introduce structured active inference, a large generalization and formalization of active inference using the tools of categorical systems theory. We cast generative models formally as systems "on an interface", with the latter being a compositional abstraction of the usual notion of Markov blanket; agents are then 'controllers' for their generative models, formally dual to them. This opens the active inference landscape to new horizons, such as: agents with structured interfaces (e.g. with 'mode-dependence', or that interact with computer APIs); agents that can manage other agents; and 'meta-agents', that use active inference to change their (internal or external) structure. With structured interfaces, we also gain structured ('typed') policies, which are amenable to formal verification, an important step towards safe artificial agents. Moreover, we can make use of categorical logic to describe express agents' goals as formal predicates, whose satisfaction may be dependent on the interaction context. This points towards powerful compositional tools to constrain and control self-organizing ensembles of agents.