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

要約

注意力は、私たちが観察する情報を制限し、選択する重要な認知能力です。
Bolander らによる以前の研究。
(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