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

Learning Brave Assumption-Based Argumentation Frameworks via ASP

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

要約 仮定に基づく議論 (ABA) は、論理プログラミングを含むさまざまな形式の … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning Brave Assumption-Based Argumentation Frameworks via ASP はコメントを受け付けていません

Symbolic Parameter Learning in Probabilistic Answer Set Programming

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

要約 パラメータの学習は、統計的リレーショナル人工知能の分野において重要なタスク … 続きを読む →

カテゴリー: cs.AI, cs.LO | Symbolic Parameter Learning in Probabilistic Answer Set Programming はコメントを受け付けていません

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

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

要約 DeepSeek-Prover-V1.5 は、Lean 4 での定理証明用 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search はコメントを受け付けていません

Scaling Up Natural Language Understanding for Multi-Robots Through the Lens of Hierarchy

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

要約 長期的な計画は、不確実性の蓄積、計算の複雑さ、報酬の遅れ、不完全な情報など … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Scaling Up Natural Language Understanding for Multi-Robots Through the Lens of Hierarchy はコメントを受け付けていません

A Quantum-Inspired Analysis of Human Disambiguation Processes

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

要約 形式言語はコンピュータ プログラミングに不可欠であり、コンピュータで簡単に … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, quant-ph | A Quantum-Inspired Analysis of Human Disambiguation Processes はコメントを受け付けていません

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

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

要約 Answer Set Programming (ASP) は、現実世界の問 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming はコメントを受け付けていません

Fast Inference for Probabilistic Answer Set Programs via the Residual Program

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

要約 確率的回答セット プログラムからクエリの確率を計算する場合、プログラムの一 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Fast Inference for Probabilistic Answer Set Programs via the Residual Program はコメントを受け付けていません

SAT Encoding of Partial Ordering Models for Graph Coloring Problems

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

要約 この論文では、グラフ色分け問題 (GCP) と帯域幅色分け問題 (BCP) … 続きを読む →

カテゴリー: cs.AI, cs.DM, cs.DS, cs.LO | SAT Encoding of Partial Ordering Models for Graph Coloring Problems はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

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

要約 アトリビューション スコアは、入力エンティティの特徴値が機械学習モデルの出 … 続きを読む →

カテゴリー: 68T27, 68T37, cs.AI, cs.LG, cs.LO | The Distributional Uncertainty of the SHAP score in Explainable Machine Learning はコメントを受け付けていません

Model Counting in the Wild

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

要約 モデルのカウントは、確率推論、ネットワークの信頼性、ニューラル ネットワー … 続きを読む →

カテゴリー: cs.AI, cs.LO | Model Counting in the Wild はコメントを受け付けていません