用形式化逻辑建模信息行为的动态过程，支持程序与外部交互。
TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
- 扩展经典描述逻辑，加入程序盒和预言盒以表达信息生成动作。
- 通过层叠结构实现对动态信息行为的统一语义建模。
- 适合研究交互式、不确定环境中的智能体信息行为问题。
我们提出了一种名为TAPO-Structured Description Logic（TAPO--DL）的形式化扩展，用于将信息行为建模为结构化、动态的过程。该框架在标准的术语盒（T--Box）和断言盒（A--Box）基础上，新增了两个层次：程序盒（P--Box）支持以概念驱动的命令式程序（如条件与循环操作），预言盒（O--Box）则形式化地表示与外部信息源的受控交互。静态的概念与事实知识由术语与断言部分捕捉，而程序与预言组件则显式表达了信息生成行为与外部验证机制。我们基于共生成的层叠理论（sheaf-theoretic）构建了统一语义框架，其中局部信息状态被建模为截面，信息稳定性对应于一致的全局结构存在。在此设定下，信息真值被定义为反复主体互动下的稳定性，而非对固定全局状态的符合。通过整合描述逻辑、程序动态、预言推理与层叠语义，TAPO--DL为涉及交互、不确定性与情境性的信息行为分析提供了严谨的形式框架。
原文摘要 · Abstract (English)
We introduce \emph{TAPO-Structured Description Logic} (TAPO--DL), a formal extension of classical description logic designed to model \emph{information behavior} as a structured, dynamic process. TAPO--DL extends the standard T--Box/A--Box architecture with two additional layers: a \emph{Procedural Box} (P--Box), which supports concept-driven, imperative-style programs such as conditional and iterative actions, and an \emph{Oracle Box} (O--Box), which formalizes controlled interaction with external information sources. While the terminological and assertional components capture static conceptual and factual knowledge, the procedural and oracle-based components enable the explicit representation of information-generating actions and external validation. We provide a unified semantic framework for TAPO--DL based on a co-generative, sheaf-theoretic interpretation, in which local informational states are modeled as sections and informational stability corresponds to the existence of coherent global structures. Within this setting, informational truth is characterized as stability under repeated agentive interaction rather than correspondence to a fixed global state. By integrating description logic with procedural dynamics, oracle-based reasoning, and sheaf-theoretic semantics, TAPO--DL offers a principled formal framework for analyzing information behavior in contexts involving interaction, uncertainty, and contextuality.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。