TAPO 記述論による情報行動論：改良された OBoxes、推論、およびカテゴリカル意味論

arXiv:2604.21172v1 Announce Type: cross 本論文は、情報行動の分析のために TAPO-記述論の洗練されたバージョンを開発する。このフレームワークは、単一の統合的な対物論としてではなく、静的記述層（TBox/ABox）、手続き的層（PBox）、および御札感度層（OBox）から成る階層的な形式体系として扱う。この架構を数学的に明示するために、手続き的分岐と反復を統制するメタレベルのガード判断層を導入した。この基盤において、TAPO-記述論のコア推論体系を形式化し、静的な TBox/ABox 推論、PBox 内のガード付き手続き的遷移、そして OBox 内で検証された外部インポートを網羅する。その後、得られた枠組みにカテゴリカル意味論を与え、その束論的な洗練を示す。理論は、単純な検索行動や、カーリ餐厅におけるレビュー感度排序行動などの情報探求行動の例によって裏付けられる。目的は、静的な知識表現だけでなく、迷い、外部相談、および行動導致的更新を、統一的な論理的枠組み内に扱うことである。

arXiv:2604.21172v1 Announce Type: cross Abstract: This paper develops a refined version of TAPO-description logic for the analysis of information behavior. The framework is treated not as a single homogeneous object logic, but as a layered formalism consisting of a static descriptive layer (TBox/ABox), a procedural layer (PBox), and an oracle-sensitive layer (OBox). To make this architecture mathematically explicit, we introduce a metalevel guard-judgment layer governing procedural branching and iteration. On this basis we formulate a core inference system for TAPO-description logic, covering static TBox/ABox reasoning, guarded procedural transition in the PBox, and validated external import in the OBox. We then give a categorical semantics for the resulting framework and indicate its sheaf-theoretic refinement. The theory is illustrated by examples of information-seeking behavior, including simple search behavior and review-sensitive ordering behavior in a curry restaurant. The aim is to treat not only static knowledge representation but also hesitation, external consultation, and action-guiding update within a unified logical setting.