「F.4.1」カテゴリーアーカイブ

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)

投稿日: 2023年11月29日 作成者: jarxiv

要約 私たちは、人間が理解できる方法で制約満足問題 (CSP) の解決策を段階的 … 続きを読む →

カテゴリー: 68T27, cs.AI, cs.LO, F.4.1 | Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples) はコメントを受け付けていません

ATHENA: Mathematical Reasoning with Thought Expansion

投稿日: 2023年11月3日 作成者: jarxiv

要約 数学の文章問題を解くかどうかは、問題をどのように表現するか、つまりモデルが … 続きを読む →

カテゴリー: cs.AI, cs.CL, F.4.1 | ATHENA: Mathematical Reasoning with Thought Expansion はコメントを受け付けていません

Generative Fractional Diffusion Models

投稿日: 2023年10月27日 作成者: jarxiv

要約 基礎となるブラウン運動 (BM) から部分ブラウン運動 (FBM) の近似 … 続きを読む →

カテゴリー: cs.LG, F.4.1, stat.ML | Generative Fractional Diffusion Models はコメントを受け付けていません

System of Spheres-based Two Level Credibility-limited Revisions

投稿日: 2023年7月12日 作成者: jarxiv

要約 2 レベルの信頼性を制限した改訂は、優先順位のない改訂操作です。 2 レベ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | System of Spheres-based Two Level Credibility-limited Revisions はコメントを受け付けていません

Solving QMLTP Problems by Translation to Higher-order Logic

投稿日: 2023年7月3日 作成者: jarxiv

要約 この論文では、一次様相論理問題の QMLTP ライブラリから取得した問題に … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Solving QMLTP Problems by Translation to Higher-order Logic はコメントを受け付けていません

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries

投稿日: 2023年6月14日 作成者: jarxiv

要約 最近、例によるデータベース クエリの独自の特徴付けと学習可能性の研究が、オ … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, F.4.1 | Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries はコメントを受け付けていません

Learning A Foundation Language Model for Geoscience Knowledge Understanding and Utilization

投稿日: 2023年6月9日 作成者: jarxiv

要約 大規模言語モデル (LLM) は、自然言語処理の一般的な領域で大きな成功を … 続きを読む →

カテゴリー: cs.AI, cs.CL, F.4.1 | Learning A Foundation Language Model for Geoscience Knowledge Understanding and Utilization はコメントを受け付けていません

Complex Logical Reasoning over Knowledge Graphs using Large Language Models

投稿日: 2023年5月3日 作成者: jarxiv

要約 タイトル：大規模言語モデルを利用した知識グラフ上での複雑な論理推論 要約： … 続きを読む →

カテゴリー: cs.AI, cs.IR, cs.LO, F.4.1 | Complex Logical Reasoning over Knowledge Graphs using Large Language Models はコメントを受け付けていません

Automatic Textual Explanations of Concept Lattices

投稿日: 2023年4月18日 作成者: jarxiv

要約 タイトル：コンセプトラティスの自動テキスト説明 要約： – ラ … 続きを読む →

カテゴリー: 03G10, cs.AI, cs.HC, F.4.1 | Automatic Textual Explanations of Concept Lattices はコメントを受け付けていません

Ordinal Motifs in Lattices

投稿日: 2023年4月12日 作成者: jarxiv

要約 タイトル：格子における順序モチーフ 要約： – 格子は関係やオ … 続きを読む →

カテゴリー: 03G10, cs.AI, cs.LG, F.4.1 | Ordinal Motifs in Lattices はコメントを受け付けていません