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

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

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof

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

要約 形式言語を生成できる文法の表現力に応じて形式言語を分類することは、計算言語 … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, math.LO | $O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof はコメントを受け付けていません

Output-decomposed Learning of Mealy Machines

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

要約 個々の出力への投影に基づいて、有限状態マシンの分解を学習するアクティブ オ … 続きを読む →

カテゴリー: cs.LG, cs.LO | Output-decomposed Learning of Mealy Machines はコメントを受け付けていません