論文の概要: TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
- arxiv url: http://arxiv.org/abs/2604.21172v1
- Date: Thu, 23 Apr 2026 00:37:10 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-24 14:40:06.221104
- Title: TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
- Title（参考訳）: TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
- Authors: Takao Inoué,
- Abstract要約: 本稿では,情報行動解析のためのTAPO記述論理の洗練版を開発する。
このフレームワークは、単一の均質なオブジェクトロジックではなく、静的記述層(TBox/ABox)、手続き層(PBox)、オラクル感受性層(OBox)からなる階層形式として扱われる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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.
- Abstract（参考訳）: 本稿では,情報行動解析のためのTAPO記述論理の洗練版を開発する。
このフレームワークは、単一の均質なオブジェクトロジックではなく、静的記述層(TBox/ABox)、手続き層(PBox)、およびオラクル感受性層(OBox)からなる階層形式として扱われる。
このアーキテクチャを数学的に明確化するために,手続き分岐と反復を規定するメタレベルガード・アジャッジメント層を導入する。
そこで我々は,TAPO記述論理のコア推論系を定式化し,静的なTBox/ABox推論,PBoxにおける手続き的遷移の保護,OBoxにおける外部インポートの検証を行う。
次に、得られたフレームワークの分類論的意味を説明し、その層理論の洗練を示す。
この理論は、カレーレストランにおける単純な検索行動やレビューに敏感な注文行動など、情報探索行動の例によって説明される。
目的は、静的知識表現だけでなく、ヒューイテーション、外部コンサルテーション、アクションガイド更新を統一された論理的設定で扱うことである。
関連論文リスト
- Logics-Parsing-Omni Technical Report [18.897248420641386]
本稿では,断片化タスク定義の課題とマルチモーダル解析における非構造化データの均一性に対処するOmni Parsingフレームワークを提案する。
このフレームワークの重要な利点は、そのエビデンスアンカー機構であり、ハイレベルなセマンティック記述と低レベルな事実の厳密な一致を強制する。
これにより、エビデンスに基づく'論理的帰納化が可能となり、構造化されていない信号を、位置可能で、エナメル性があり、トレース可能な標準化された知識に変換する。
論文 参考訳（メタデータ） (2026-03-10T13:46:32Z) - TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions [0.0]
本稿では,古典記述論理の形式的拡張であるemphTAPO-Structured Description Logic (TAPO-DL)を紹介する。
TAPO-DLは標準のT-Box/A-Boxアーキテクチャを2つの追加レイヤで拡張している。
TAPO-DLのための統一的なセマンティック・フレームワークを提供する。
論文 参考訳（メタデータ） (2026-02-19T10:43:21Z) - Executable Ontologies in Game Development: From Algorithmic Control to Semantic World Modeling [51.56484100374058]
我々は,実行可能オントロジー(EO)が,アルゴリズム行動プログラミングからセマンティックワールドモデリングへ移行したことを論じる。
本稿では,EOが明示的なプリエンプションロジックではなく,データフロー条件によるタスク割り込みを優先的に行う方法を示す。
論文 参考訳（メタデータ） (2026-01-12T19:57:35Z) - SLAck: Semantic, Location, and Appearance Aware Open-Vocabulary Tracking [89.43370214059955]
Open-vocabulary Multiple Object Tracking (MOT)は、トレーニングセットにはない新しいカテゴリにトラッカーを一般化することを目的としている。
我々は,連合の初期段階において,意味論,位置,出現の先行を共同で検討する統一的な枠組みを提案する。
提案手法は,異なるキューを融合するための複雑な後処理を排除し,大規模オープン語彙追跡のための関連性能を大幅に向上させる。
論文 参考訳（メタデータ） (2024-09-17T14:36:58Z) - VLLMs Provide Better Context for Emotion Understanding Through Common Sense Reasoning [66.23296689828152]
我々は、視覚・言語モデルの機能を活用し、文脈内感情分類を強化する。
まず、VLLMに対して、視覚的文脈に関連して、被験者の明らかな感情を自然言語で記述するように促す。
第二に、記述は視覚入力とともに、トランスフォーマーベースのアーキテクチャのトレーニングに使用される。
論文 参考訳（メタデータ） (2024-04-10T15:09:15Z) - DiscoPrompt: Path Prediction Prompt Tuning for Implicit Discourse
Relation Recognition [27.977742959064916]
本稿では,IDRRにおける階層間の対話的情報と本質的な感覚を利用するために,プロンプトに基づく経路予測手法を提案する。
これは、プロンプトチューニングを通じて事前訓練された言語モデルにそのような構造情報を注入する最初の作品である。
論文 参考訳（メタデータ） (2023-05-06T08:16:07Z) - Guiding the PLMs with Semantic Anchors as Intermediate Supervision:
Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。
第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。
いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文 参考訳（メタデータ） (2022-10-04T07:27:29Z) - Box Embeddings for the Description Logic EL++ [21.89072991669119]
論理構造をよりよくキャプチャできる幾何学的KB埋め込み手法であるBoxELを提案する。
論理構造を保存するためにBoxELの理論的保証(音性)を示す。
仮定推論および実世界のタンパク質タンパク質予測実験の結果,BoxELは従来の知識グラフ埋め込み法より優れていることが示された。
論文 参考訳（メタデータ） (2022-01-24T19:24:22Z) - BoxE: A Box Embedding Model for Knowledge Base Completion [53.57588201197374]
知識ベース補完(KBC)は、知識ベース(KB)に存在する情報を活用することにより、行方不明な事実を自動的に推測することを目的とする。
既存の埋め込みモデルは、以下の制限の少なくとも1つに該当する。
BoxEは、エンティティをポイントとして、関係をハイパー矩形(またはボックス)の集合として埋め込む
論文 参考訳（メタデータ） (2020-07-13T09:40:49Z) - Object Files and Schemata: Factorizing Declarative and Procedural
Knowledge in Dynamical Systems [135.10772866688404]
モノリシックな隠蔽状態を持つブラックボックスモデルは、手続き的知識を一貫して均一に適用できないことが多い。
宣言的および手続き的知識を分解するアーキテクチャを通じてこの問題に対処する。
論文 参考訳（メタデータ） (2020-06-29T17:45:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。