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

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis

投稿日: 2025年3月17日 作成者: jarxiv

要約 リアクティブ合成を介して、古典的な警官と強盗ゲームの一般化のためのマルチエ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis はコメントを受け付けていません

Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework

投稿日: 2025年3月13日 作成者: jarxiv

要約 Experts（MOE）の混合モデルは、深い学習（DL）に成功しました。 … 続きを読む →

カテゴリー: cs.AI, cs.CV, cs.LG, cs.LO | Double-Stage Feature-Level Clustering-Based Mixture of Experts Framework はコメントを受け付けていません

Matrix Factorization for Inferring Associations and Missing Links

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

要約 ミスリンク予測は、知識グラフの推奨システム、生物学、社会科学、サイバーセキ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Matrix Factorization for Inferring Associations and Missing Links はコメントを受け付けていません

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies

投稿日: 2025年3月6日 作成者: jarxiv

要約 深い強化学習は効果的であることが示されていますが、モデルのブラックボックス … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies はコメントを受け付けていません

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

投稿日: 2025年3月3日 作成者: jarxiv

要約 報酬機（RMS）は、有限状態マシンを介して補強学習（RL）における非マルコ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.LO, cs.SC | FORM: Learning Expressive and Transferable First-Order Logic Reward Machines はコメントを受け付けていません

Probabilistic Variational Causal Approach in Observational Studies

投稿日: 2025年2月28日 作成者: jarxiv

要約 この論文では、根本的な問題との関連性に基づいて、観察研究におけるイベントの … 続きを読む →

カテゴリー: 26A45, 6008, 68T20, 68T27, 68T37, 68U99, cs.AI, cs.LO, G.3 | Probabilistic Variational Causal Approach in Observational Studies はコメントを受け付けていません

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

投稿日: 2025年2月27日 作成者: jarxiv

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level はコメントを受け付けていません

Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies

投稿日: 2025年2月26日 作成者: jarxiv

要約 マルコフの決定プロセスにおける多次元ペイオフ関数を検討し、特定の予想ペイオ … 続きを読む →

カテゴリー: cs.AI, cs.FL, cs.GT, cs.LO, math.PR | Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective MDPs and its Impact on Randomised Strategies はコメントを受け付けていません

Large Language Models for Interpretable Mental Health Diagnosis

投稿日: 2025年2月24日 作成者: jarxiv

要約 大規模な言語モデル（LLMS）と制約ロジックプログラミング（CLP）の強み … 続きを読む →

カテゴリー: cs.AI, cs.LO | Large Language Models for Interpretable Mental Health Diagnosis はコメントを受け付けていません

Logical forms complement probability in understanding language model (and human) performance

投稿日: 2025年2月18日 作成者: jarxiv

要約 自然言語での計画のために大規模な言語モデル（LLM）を使用することに関心が … 続きを読む →

カテゴリー: cs.CL, cs.LO | Logical forms complement probability in understanding language model (and human) performance はコメントを受け付けていません