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

Knowledge Base Embeddings: Semantics and Theoretical Properties

要約 ナレッジ グラフ エンベディングの研究は、最近ナレッジ ベース エンベディ … 続きを読む

カテゴリー: cs.AI, cs.LO | Knowledge Base Embeddings: Semantics and Theoretical Properties はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

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

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

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling

要約 ジョブ ショップ スケジューリング問題 (JSP) は、マシンを共有するタ … 続きを読む

カテゴリー: cs.AI, cs.LO | Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling はコメントを受け付けていません

Dialectical Reconciliation via Structured Argumentative Dialogues

要約 私たちは、人間と AI の相互作用を強化するために、人間を意識した計画で一 … 続きを読む

カテゴリー: cs.AI, cs.HC, cs.LO | Dialectical Reconciliation via Structured Argumentative Dialogues はコメントを受け付けていません

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

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

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

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

要約 機械学習 (ML) モデルを解釈する能力はますます重要になってきています。 … 続きを読む

カテゴリー: cs.CC, cs.LG, cs.LO | Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation はコメントを受け付けていません

LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations

要約 この論文では、複雑な推論タスクに対する大規模言語モデル (LLM) の制限 … 続きを読む

カテゴリー: cs.AI, cs.CL, cs.LO | LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations はコメントを受け付けていません

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

要約 ディープ ニューラル ネットワーク (DNN) が多くの計算問題に対する有 … 続きを読む

カテゴリー: cs.CV, cs.LG, cs.LO | Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing はコメントを受け付けていません

Canonical Decision Diagrams Modulo Theories

要約 デシジョンダイアグラム(DD)は、命題式を効果的に表現する強力なツールであ … 続きを読む

カテゴリー: cs.AI, cs.LO | Canonical Decision Diagrams Modulo Theories はコメントを受け付けていません

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

要約 この論文では、一貫性のない記述ロジックの知識ベースをクエリするための定量的 … 続きを読む

カテゴリー: cs.AI, cs.DB, cs.LO | Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases はコメントを受け付けていません