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

Regularization in Spider-Style Strategy Discovery and Schedule Construction

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

要約 最高のパフォーマンスを達成するために、自動定理証明器は多くの場合、特定の問 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Regularization in Spider-Style Strategy Discovery and Schedule Construction はコメントを受け付けていません

NLP Verification: Towards a General Methodology for Certifying Robustness

投稿日: 2024年3月18日 作成者: jarxiv

要約 ディープ ニューラル ネットワークは自然言語処理 (NLP) の分野で大き … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.PL | NLP Verification: Towards a General Methodology for Certifying Robustness はコメントを受け付けていません

Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation

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

要約 深層学習と記号論理推論を組み合わせることは、両方の分野の成功を活かすことを … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation はコメントを受け付けていません

Are Targeted Messages More Effective?

投稿日: 2024年3月12日 作成者: jarxiv

要約 グラフ ニューラル ネットワーク (GNN) は、グラフの深層学習アーキテ … 続きを読む →

カテゴリー: 68T05, 68T07, cs.AI, cs.LG, cs.LO, I.2.6 | Are Targeted Messages More Effective? はコメントを受け付けていません

Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces

投稿日: 2024年3月11日 作成者: jarxiv

要約 ソフトセット理論は、不確実な情報を処理するための数学的フレームワークとして … 続きを読む →

カテゴリー: cs.LG, cs.LO | Foundational propositions of hesitant fuzzy soft $β$-covering approximation spaces はコメントを受け付けていません

Graph neural network outputs are almost surely asymptotically constant

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

要約 グラフ ニューラル ネットワーク (GNN) は、グラフに関するさまざまな … 続きを読む →

カテゴリー: cs.LG, cs.LO | Graph neural network outputs are almost surely asymptotically constant はコメントを受け付けていません

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach

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

要約 部分的に観察可能なマルコフ決定プロセス (POMDP) は、不確実性の下で … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach はコメントを受け付けていません

Similarity-based analogical proportions

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

要約 著者は最近、普遍代数の一般的な設定内で類推的な比率と類似性を備えた抽象的な … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Similarity-based analogical proportions はコメントを受け付けていません

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process

投稿日: 2024年2月19日 作成者: jarxiv

要約 世界の食品配達市場は、世界への食料供給の効率を向上させる AI ベースのサ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Process はコメントを受け付けていません

Dual Box Embeddings for the Description Logic EL++

投稿日: 2024年2月19日 作成者: jarxiv

要約 OWLオントロジーは、その形式的意味論が記述論理(DL)に根ざしており、知 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Dual Box Embeddings for the Description Logic EL++ はコメントを受け付けていません