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

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving

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

要約 自動運転車では、軌道計画において安全性、効率性、ユーザーの好みの間の微妙な … 続きを読む →

カテゴリー: cs.LO, cs.RO | Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving はコメントを受け付けていません

Learning Explainable and Better Performing Representations of POMDP Strategies

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

要約 部分的に観察可能なマルコフ決定プロセス (POMDP) の戦略には通常、メ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning Explainable and Better Performing Representations of POMDP Strategies はコメントを受け付けていません

A Uniform Language to Explain Decision Trees

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

要約 正式な XAI コミュニティは、デシジョン ツリーによって行われる分類を理 … 続きを読む →

カテゴリー: cs.AI, cs.LO | A Uniform Language to Explain Decision Trees はコメントを受け付けていません

Boosting Few-Pixel Robustness Verification via Covering Verification Designs

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

要約 ニューラル ネットワークの信頼性を高めるには、局所的な堅牢性を証明すること … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.PL | Boosting Few-Pixel Robustness Verification via Covering Verification Designs はコメントを受け付けていません

Global Benchmark Database

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

要約 このペーパーでは、ベンチマーク インスタンスとそのメタデータをプロビジョニ … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Global Benchmark Database はコメントを受け付けていません

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms

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

要約 この研究では、標準化された評価、分類、比較を可能にする診断計算方法の分類法 … 続きを読む →

カテゴリー: cs.AI, cs.LO | How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms はコメントを受け付けていません

Probabilities of the third type: Statistical Relational Learning and Reasoning with Relative Frequencies

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

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

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

Scaling the weight parameters in Markov logic networks and relational logistic regression models

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

要約 私たちは、マルコフ論理ネットワークとリレーショナル ロジスティック回帰を、 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Scaling the weight parameters in Markov logic networks and relational logistic regression models はコメントを受け付けていません

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey

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

要約 神経記号 AI は、記号推論手法と深層学習を組み合わせて、その補完的な利点 … 続きを読む →

カテゴリー: cs.AI, cs.LO, stat.ML | Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey はコメントを受け付けていません

SMLP: Symbolic Machine Learning Prover (User Manual)

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

要約 SMLP: Symbolic Machine Learning Prove … 続きを読む →

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