[論文レビュー] Towards a Formal Model of Narratives

Louis Castricato, Stella Biderman+2 more|arXiv (Cornell University)|Mar 23, 2021

Artificial Intelligence in Games参考文献 27被引用数 4

ひとこと要約

この論文は、物語構造を形式的・モデル理論的枠組みで形式化し、物語の情報の流れ（物語の語り手から読者へ）、信念の進化、不確実性を論理的意味論とエントロピーを用いてモデル化する。計算的物語学において、物語の整合性と情報の正確性を測る、実験的に検証可能な新しい指標—世界整合性のエントロピー（ETC）と遷移整合性のエントロピー（ETC）—を提案する。

ABSTRACT

In this paper, we propose the beginnings of a formal framework for modeling narrative extit{qua} narrative. Our framework affords the ability to discuss key qualities of stories and their communication, including the flow of information from a Narrator to a Reader, the evolution of a Reader's story model over time, and Reader uncertainty. We demonstrate its applicability to computational narratology by giving explicit algorithms for measuring the accuracy with which information was conveyed to the Reader and two novel measurements of story coherence.

研究の動機と目的

• 計算的物語学における多様な研究手法を統合する形式的・モデル理論的基礎を確立すること。
• 論理的意味論を用いて、物語の核（fabula）、物語世界、物語的コミュニケーションといった核心的物語学的概念を形式化すること。
• 読者の内的物語モデル（状況モデル）の時間的動的進化を、信念の更新を通じてモデル化すること。
• エントロピーに基づく測定法を用いて、読者の不確実性と情報伝達の正確性を定量化すること。
• 形式論理とモデル理論に根ざした、実験的に検証可能な物語の整合性とプロットの関連性の指標を開発すること。

提案手法

• 物語をモデル理論的構造として形式化し、物語のファブーラをブール格子内の可能な世界と命題の集合として表現する。
• 可能な世界のフィルタリングを通じて情報の流れをモデル化し、読者の信念集合を時的に過去の状態に一致するものに制限する。
• 世界整合性のエントロピー（ETC）を、フィルタリングされた真実状態に対して読者の信念集合内の命題の平均確率として定義する。
• 遷移整合性のエントロピー（ETC）を、事前核信念と事後核信念の間の含意（A ⇒ B）を用いて、信念の遷移の忠実性を測る指標として定義する。
• モデル理論とモーダル論理を用いて、物語フレーム内での必然性と可能性を形式化し、信念の進化における時間的整合性を保証する。
• 引き戻し操作（pullback）を用いて、読者モデルを以前の時点での真実状態に一致させ、整合性と正確性の測定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてモデル理論を用いて物語構造を形式化し、物語の語り手から読者への情報の流れを捉えることができるか？
• RQ2 読者の内的物語モデルはどのように時間的経過とともに信念の更新を通じて進化するのか、そしてその進化をどのように形式化できるか？
• RQ3 論理的枠組み内でのエントロピーを用いて、読者の不確実性をどのように定量化・測定できるか？
• RQ4 プロットポイント（核）は信念の遷移にどのように寄与するのか、そしてその整合性はどのように評価できるか？
• RQ5 物語世界モデルと信念の遷移の両方における一貫性を関数として測る物語の整合性は、どのように測定できるか？

主な発見

• この枠組みにより、バールスの核と衛星の概念が、信念の遷移に基づく明確なプロット関連性の概念を用いて厳密に形式化可能であることが示された。
• 世界整合性のエントロピー（ETC）は、読者の物語世界モデルが真実状態とどの程度一致しているかを測る測定可能指標を提供し、高いエントロピーは整合性が高いことを示す。
• 遷移整合性のエントロピー（ETC）は、プロットポイント間での信念の遷移の忠実性を定量化し、高い値はより整合的な推論パターンを示す。
• このモデルは、読者が不完全に指定された物語世界に直面した際の反応に関する、実験的に検証可能な仮説を支持しており、特に信念の再検討と不確実性の扱いに関して有効である。
• この枠組みにより、理論的物語学的概念を実用的かつ計算可能な指標に変換でき、物語の一貫性と整合性の評価が可能になった。
• フィルタリングと引き戻し操作の使用により、読者が完全な情報を得ていない場合でも、時的に整合した状態に制限された信念集合を用いて、情報伝達の正確性を正確に測定できるようになった。