Attention! Dynamic Epistemic Logic Models of (In)attentive Agents

要約

注意は、私たちが観察する情報を制限および選択する重要な認知能力です。
ボランダーらによる以前の研究。
(2016) エージェントが完全に注意を払っているか、まったく注意を払っていない動的認識論理 (DEL) に基づく注意のモデルを提案しています。
不注意なエージェントが何も起こらないと信じているという現実的な特徴を導入する一方で、このモデルは注意の最も重要な側面であるその選択性を表していません。
ここでは、原子式のサブセットに注意を払うことを可能にする一般化を提案します。
命題注意に対応する論理を導入し、その公理化が健全で完全であることを示します。
次に、フレームワークを拡張して、何も起こらないと仮定する代わりに、不注意なエージェントが注意を怠ったことの特定の真理値にデフォルト設定する可能性がある不注意なエージェントを説明します (不注意なアトムに関する一種の事前評価)。
この機能により、不注意による失明現象のより認知的にもっともらしい表現が可能になります。この現象では、エージェントは、目立っているが予期しないイベントに注意を払わなかったために誤った信念に陥ります。
モデルの両方のバージョンは、いくつかの明確なエッジ原則に基づく適切な DEL イベント モデルを通じて、注意ベースの学習を定義します。
そのようなイベントモデルのサイズは、エージェントの数とアトムの数の両方で指数関数的に増加しますが、イベントモデルを構文的に記述するための新しい論理言語を導入し、この言語を使用してイベントモデルをエージェントの数で線形に表現できることを示します
そして原子。
さらに、この言語を使用してイベント モデルを表現することは、前述のエッジの原則を単純に形式化することによって実現されます。

要約(オリジナル)

Attention is the crucial cognitive ability that limits and selects what information we observe. Previous work by Bolander et al. (2016) proposes a model of attention based on dynamic epistemic logic (DEL) where agents are either fully attentive or not attentive at all. While introducing the realistic feature that inattentive agents believe nothing happens, the model does not represent the most essential aspect of attention: its selectivity. Here, we propose a generalization that allows for paying attention to subsets of atomic formulas. We introduce the corresponding logic for propositional attention, and show its axiomatization to be sound and complete. We then extend the framework to account for inattentive agents that, instead of assuming nothing happens, may default to a specific truth-value of what they failed to attend to (a sort of prior concerning the unattended atoms). This feature allows for a more cognitively plausible representation of the inattentional blindness phenomenon, where agents end up with false beliefs due to their failure to attend to conspicuous but unexpected events. Both versions of the model define attention-based learning through appropriate DEL event models based on a few and clear edge principles. While the size of such event models grow exponentially both with the number of agents and the number of atoms, we introduce a new logical language for describing event models syntactically and show that using this language our event models can be represented linearly in the number of agents and atoms. Furthermore, representing our event models using this language is achieved by a straightforward formalisation of the aforementioned edge principles.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google