arXiv:2505.14539cs.AI2025-05IJCAI被引 2

提出首个通用注意力逻辑,可建模复杂认知关注与偏见。

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)

  • 用边条件事件模型实现更简洁的注意力表达
  • 支持对任意公式(如信念、关注)的关注,非仅原子命题
  • 适用于分析AI如何识别人类注意力偏见

本文首次提出通用注意力逻辑。注意力是智能体聚焦复杂信息(如逻辑命题、高阶信念或他人关注点)的关键认知能力,虽能过滤无关信息,但也可能因系统性忽略某些内容而引入偏见。现有动态知识逻辑无法建模此类复杂场景,因仅支持对原子公式的关注,且随代理与命题数量呈指数级膨胀。为此,本文引入新逻辑:首先,推广边条件事件模型,其表达力等同标准模型但具指数级压缩性(广义标准事件模型与广义箭头更新);其次,将注意力扩展至任意公式,使代理可关注其他代理的信念或关注状态。本文将注意力视为与信念、意识并列的模态算子,并定义其闭包性质作为公理化基础。通过实例展示该框架在分析人工智能代理如何推断人类注意力偏见中的应用。

原文摘要 · Abstract (English)

In this work, we present the first general logic of attention. Attention is a powerful cognitive ability that allows agents to focus on potentially complex information, such as logically structured propositions, higher-order beliefs, or what other agents pay attention to. This ability is a strength, as it helps to ignore what is irrelevant, but it can also introduce biases when some types of information or agents are systematically ignored. Existing dynamic epistemic logics for attention cannot model such complex attention scenarios, as they only model attention to atomic formulas. Additionally, such logics quickly become cumbersome, as their size grows exponentially in the number of agents and announced literals. Here, we introduce a logic that overcomes both limitations. First, we generalize edge-conditioned event models, which we show to be as expressive as standard event models yet exponentially more succinct (generalizing both standard event models and generalized arrow updates). Second, we extend attention to arbitrary formulas, allowing agents to also attend to other agents' beliefs or attention. Our work treats attention as a modality, like belief or awareness. We introduce attention principles that impose closure properties on that modality and that can be used in its axiomatization. Throughout, we illustrate our framework with examples of AI agents reasoning about human attentional biases, demonstrating how such agents can discover attentional biases.

注意力逻辑认知建模AI推理

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。