用分层逻辑分析信息行为，涵盖思考、求助与决策。
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
- 构建三层逻辑框架：描述层、流程层、外部咨询层
- 支持带条件判断的流程推理与外部信息验证
- 适合研究用户搜索、评价依赖等行为模式
本文提出一种改进的TAPO描述逻辑，用于分析信息行为。该框架被构造成多层形式系统：静态描述层（TBox/ABox）、流程层（PBox）和受外部影响的咨询层（OBox）。为使结构数学清晰，引入元层的守卫判断机制，控制流程分支与迭代。在此基础上，建立核心推理系统，涵盖静态知识推理、受控流程转换及外部信息合法导入。进一步给出该系统的范畴语义，并指出其在层化理论上的精化。通过简单搜索与咖喱餐厅评价排序等实例说明理论应用，旨在统一建模静态知识、犹豫、外部求助及行动引导更新。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。