![[2602.17242] TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions](https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png){kind=logo}
[2602.17242] TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
Summary
The paper introduces TAPO-Structured Description Logic (TAPO--DL), a formal framework that models information behavior through procedural and oracle-based extensions, enhancing traditional description logic.
Why It Matters
This research is significant as it provides a new perspective on understanding information behavior, integrating procedural dynamics and external validation, which can improve AI systems' interaction with uncertain and contextual information. It opens avenues for further exploration in AI and logic.
Key Takeaways
- TAPO--DL extends classical description logic with procedural and oracle-based components.
- The framework models information behavior as a dynamic process rather than static knowledge.
- It introduces a co-generative, sheaf-theoretic interpretation for understanding informational states.
- The model emphasizes the importance of agentive interaction in determining informational truth.
- TAPO--DL can enhance AI applications by formalizing interactions with external information sources.
Computer Science > Logic in Computer Science arXiv:2602.17242 (cs) [Submitted on 19 Feb 2026] Title:TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions Authors:Takao Inoué View a PDF of the paper titled TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions, by Takao Inou\'e View PDF HTML (experimental) Abstract: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...
