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

Machine Learning for Quantifier Selection in cvc5

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

要約 この研究では、量化子選択の効率的な機械学習ガイダンスによって、一次量化問題 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Machine Learning for Quantifier Selection in cvc5 はコメントを受け付けていません

Temporal Ensemble Logic

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

要約 線形時間時相推論のためのモナディック 1 次様相論理である Tempora … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO | Temporal Ensemble Logic はコメントを受け付けていません

Abductive Reasoning in a Paraconsistent Framework

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

要約 私たちは、パラコンシステントなフレームワークを採用することで、古典的に矛盾 … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Abductive Reasoning in a Paraconsistent Framework はコメントを受け付けていません

Query languages for neural networks

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

要約 私たちは、宣言型言語を使用してニューラル ネットワーク モデルにクエリを実 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, I.2.6 | Query languages for neural networks はコメントを受け付けていません

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

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

要約 リレーショナル データに対する確率的な依存関係をモデル化する場合、ドメイン … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, I.2.4 | Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies はコメントを受け付けていません

A fuzzy loss for ontology classification

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

要約 深層学習モデルは、適用されるタスクに固有の制約を認識していないことがよくあ … 続きを読む →

カテゴリー: cs.AI, cs.LO | A fuzzy loss for ontology classification はコメントを受け付けていません

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 はコメントを受け付けていません