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

Dialectical Reconciliation via Structured Argumentative Dialogues

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

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

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

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning

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

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

カテゴリー: 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

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

要約 機械学習 (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

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

要約 この論文では、複雑な推論タスクに対する大規模言語モデル (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

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

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

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

Canonical Decision Diagrams Modulo Theories

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

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

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

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

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

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

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

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases

投稿日: 2024年7月31日 作成者: jarxiv

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

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

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP

投稿日: 2024年7月29日 作成者: jarxiv

要約 GPT などの大規模言語モデル (LLM) の開発により、ChatGPT … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP はコメントを受け付けていません

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing — Extended version

投稿日: 2024年7月29日 作成者: jarxiv

要約 オントロジーとその調整の品質は、高品質のセマンティクスベースのアプリケーシ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing — Extended version はコメントを受け付けていません