「cs.LO」カテゴリーアーカイブ

Computational Complexity of Preferred Subset Repairs on Data-Graphs

投稿日: 2024年2月15日 作成者: jarxiv

要約 矛盾した知識ベースを修復するという問題は、特に構造化データの観点から、デー … 続きを読む →

カテゴリー: 03B70, 68P15, 68T27, 68T37, cs.AI, cs.DB, cs.LO | Computational Complexity of Preferred Subset Repairs on Data-Graphs はコメントを受け付けていません

Automated Process Planning Based on a Semantic Capability Model and SMT

投稿日: 2024年2月15日 作成者: jarxiv

要約 製造システムや自律型ロボットの研究では、「能力」という用語は、機械が解釈で … 続きを読む →

カテゴリー: cs.AI, cs.LO | Automated Process Planning Based on a Semantic Capability Model and SMT はコメントを受け付けていません

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)

投稿日: 2024年2月14日 作成者: jarxiv

要約 SPARQL CONSTRUCT クエリを使用すると、指定された入力グラフ … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version) はコメントを受け付けていません

Boolean proportions

投稿日: 2024年2月12日 作成者: jarxiv

要約 著者は最近、普遍代数の一般的な設定内で類推比例の抽象的な代数の枠組みを導入 … 続きを読む →

カテゴリー: 03B70, 68T27, cs.AI, cs.DM, cs.LO | Boolean proportions はコメントを受け付けていません

Finding hardness reductions automatically using SAT solvers

投稿日: 2024年2月12日 作成者: jarxiv

要約 この記事では、完了問題、つまり部分構造を完全な構造に完成させることができる … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.DS, cs.LO, math.CO | Finding hardness reductions automatically using SAT solvers はコメントを受け付けていません

Structured d-DNNF Is Not Closed Under Negation

投稿日: 2024年2月8日 作成者: jarxiv

要約 構造化された d-DNNF と SDD は両方とも、OBDD よりも指数関 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Structured d-DNNF Is Not Closed Under Negation はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover

投稿日: 2024年2月5日 作成者: jarxiv

要約 記号的機械学習プローバ(SMLP)は、多数の入力ベクトルに対するシステムの … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SC, math.OC | SMLP: Symbolic Machine Learning Prover はコメントを受け付けていません

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

投稿日: 2024年1月31日 作成者: jarxiv

要約 Z3 などの最新の SMT ソルバーは、ユーザーが制御可能な戦略を提供して … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis はコメントを受け付けていません

Conditional and Modal Reasoning in Large Language Models

投稿日: 2024年1月31日 作成者: jarxiv

要約 大規模言語モデル (LLM) の推論能力は、人工知能と認知科学におけるます … 続きを読む →

カテゴリー: 03B65, 68T50, cs.AI, cs.CL, cs.LO, I.2.7 | Conditional and Modal Reasoning in Large Language Models はコメントを受け付けていません

Learning logic programs by finding minimal unsatisfiable subprograms

投稿日: 2024年1月30日 作成者: jarxiv

要約 帰納的論理プログラミング (ILP) の目標は、トレーニング例と背景知識を … 続きを読む →

カテゴリー: cs.LG, cs.LO | Learning logic programs by finding minimal unsatisfiable subprograms はコメントを受け付けていません