論文の概要: TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions

• arxiv url: http://arxiv.org/abs/2602.17242v1
• Date: Thu, 19 Feb 2026 10:43:21 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-20 15:21:28.920043
• Title: TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
• Title（参考訳）: 情報ビヘイビアのためのTAPO構造化記述論理:手続き的およびOracleベースの拡張
• Authors: Takao Inoué,
• Abstract要約: 本稿では,古典記述論理の形式的拡張であるemphTAPO-Structured Description Logic (TAPO-DL)を紹介する。 TAPO-DLは標準のT-Box/A-Boxアーキテクチャを2つの追加レイヤで拡張している。 TAPO-DLのための統一的なセマンティック・フレームワークを提供する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• 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 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.
• Abstract（参考訳）: 構造化された動的プロセスとして,古典的記述論理の形式拡張である \emph{TAPO-Structured Description Logic} (TAPO-DL) を導入する。TAPO-DLは,外部情報ソースとのインタラクションを形式化する,概念駆動の命令型プログラムである \emph{Procedural Box} (P-Box) と,外部情報ソースとのインタラクションを形式化する \emph{Oracle Box} (O-Box) の2つの追加レイヤで,標準T-Box/A-Boxアーキテクチャを拡張している。 用語的・断定的コンポーネントは静的概念的・事実的知識を捉えるが、手続き的・オラクル的コンポーネントは情報生成行動の明示的な表現と外部の検証を可能にする。 局所的な情報状態がセクションとしてモデル化され、情報の安定性がコヒーレントなグローバル構造の存在に対応するような、コジェネティブでせん断理論的な解釈に基づくTAPO-DLの統一的なセマンティック・フレームワークを提供する。 この設定の中では、情報真理は、固定されたグローバル状態との対応よりも、繰り返しのエージェント相互作用の下での安定性として特徴づけられる。 TAPO-DLは、記述ロジックを手続き力学、オラクルに基づく推論、および層論的意味論と統合することにより、相互作用、不確実性、文脈性を含む文脈における情報行動を分析するための原則化された形式的枠組みを提供する。

関連論文リスト

• A Formal Descriptive Language for Learning Dynamics: A Five-Layer Structural Coordinate System [0.0]
  本稿では,動的学習のための多層形式記述フレームワークを提案する。 予測モデルや規範モデルを提供するのではなく、状態変数、マッピング、レイヤ固有の責務で構成されるシンボリック言語を導入している。
  論文  参考訳（メタデータ） (2025-12-20T22:46:13Z)
• CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension [55.29309306566238]
  現在のLarge Language Models (LLM) は、長文文書を解釈する際に圧倒的な情報量に直面している。 この課題は、バニラLSMを自律的な読み出しエージェントに高めることができる凝集性メモリモジュールの必須性を高める。 我々はジャン・ピアジェの構成主義理論(Constructivist Theory)からインスピレーションを得て、エージェントメモリの3つの特性(構造化スキーマ、フレキシブルな同化、動的調節)を表現した。
  論文  参考訳（メタデータ） (2025-10-07T02:16:30Z)
• Executable Ontologies: Synthesizing Event Semantics with Dataflow Architecture [51.56484100374058]
  我々は、セマンティックイベントセマンティクスとデータフローアーキテクチャを統合することで、従来のビジネスプロセス管理システムの限界に対処できることを実証する。 大胆なシーエンジニアリングのアーキテクチャは、セマンティックモデルをコンパイルなしで実行可能なアルゴリズムとして解釈する。 実行時にイベントモデルを変更することで、透明性を確保し、統一されたセマンティックフレームワーク内でデータとビジネスロジックをシームレスにマージする。
  論文  参考訳（メタデータ） (2025-09-11T18:12:46Z)
• Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
  本稿では,API2Depという新しいステップバイステップコード生成フレームワークを提案する。 まず、サービス指向アーキテクチャに適した拡張Unified Modeling Language (UML) APIダイアグラムを紹介します。 次に、データフローの重要な役割を認識し、専用のデータ依存推論タスクを導入する。
  論文  参考訳（メタデータ） (2025-08-05T12:28:23Z)
• Flow-Modulated Scoring for Semantic-Aware Knowledge Graph Completion [17.592951987545437]
  Flow-Modulated Scoring frameworkは、静的なセマンティック環境によって制御される動的進化過程として関係を概念化する。 実験により、FMSは両方の標準知識グラフ補完タスクにまたがって、新しい最先端技術を確立することが示されている。
  論文  参考訳（メタデータ） (2025-06-29T08:22:04Z)
• Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds [55.2480439325792]
  本稿では,階層化現実化の考え方に基づくモーダル論理の新しいフレームワークを開発する。 伝統的なクリプキ意味論は、モーダル作用素を完全決定的な選択肢に対する定量化として扱う。 本稿では,モダリティをオントロジ的安定性のレベルによってインデクシングするSAL(Stratetified Actualization Logic)を提案する。
  論文  参考訳（メタデータ） (2025-06-12T18:35:01Z)
• Semantic Structure Enhanced Event Causality Identification [57.26259734944247]
  事象因果同定(ECI)は、非構造化テキスト中の事象間の因果関係を特定することを目的としている。 既存の方法は、イベント中心構造とイベント関連構造という、ECIタスクに不可欠な2種類の意味構造を過小評価する。
  論文  参考訳（メタデータ） (2023-05-22T07:42:35Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。