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

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning

投稿日: 2023年5月19日 作成者: jarxiv

要約 私たちは、関連する一連の問題の解決を伴う自動推論タスクのための軽量オンライ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Lightweight Online Learning for Sets of Related Problems in Automated Reasoning はコメントを受け付けていません

A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference

投稿日: 2023年5月18日 作成者: jarxiv

要約 私たちはニューラル ネットワークと記号推論を組み合わせる問題を研究します。 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, stat.ML | A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference はコメントを受け付けていません

Efficient Computation of General Modules for ALC Ontologies (Extended Version)

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

要約 記述論理ALCで定式化されたオントロジーの汎用モジュールを抽出する手法を提 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Efficient Computation of General Modules for ALC Ontologies (Extended Version) はコメントを受け付けていません

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

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

要約 微分可能ロジック (DL) は、論理仕様を満たすようにニューラル ネットワ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Logic of Differentiable Logics: Towards a Uniform Semantics of DL はコメントを受け付けていません

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

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

要約 自動定理証明に強化学習を使用することは、最近大きな注目を集めています。 現 … 続きを読む →

カテゴリー: cs.AI, cs.LO | An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations はコメントを受け付けていません

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions

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

要約 忘却は、知識表現と自動推論における重要な概念であり、多くの分野にわたって広 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions はコメントを受け付けていません

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality

投稿日: 2023年5月12日 作成者: jarxiv

要約 本論文では、Lambek Calculusのカテゴリ的構成分布意味論を、縮 … 続きを読む →

カテゴリー: cs.CL, cs.LO | Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality はコメントを受け付けていません

From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings

投稿日: 2023年5月12日 作成者: jarxiv

要約 記述ロジックのオントロジーの埋め込みを生成し、その埋め込みを機械学習に利用 … 続きを読む →

カテゴリー: cs.AI, cs.LO | From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings はコメントを受け付けていません

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality

投稿日: 2023年5月12日 作成者: jarxiv

要約 本論文では、知識表現における敗北可能な推論のための多選択的セマンティクスと … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.NE, I.2.4 | A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality はコメントを受け付けていません

Data quality dimensions for fair AI

投稿日: 2023年5月12日 作成者: jarxiv

要約 AIシステムは本質的に中立ではなく、どんな種類の技術的ツールにもバイアスが … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.3.0 | Data quality dimensions for fair AI はコメントを受け付けていません