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

Proof-Carrying Neuro-Symbolic Code

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

要約 この招待された論文は、「神経系コード」の「プルーフを運ぶ神経系コード」の概 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.PL, I.2.0 | Proof-Carrying Neuro-Symbolic Code はコメントを受け付けていません

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach

投稿日: 2025年4月10日 作成者: jarxiv

要約 この記事では、ニューラルネットワークによって実行される低レベルの知覚タスク … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | $Π$-NeSy: A Possibilistic Neuro-Symbolic Approach はコメントを受け付けていません

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications

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

要約 シミュレータで設計されたサイバーフィジカルシステムは、多くの場合、複数の相 … 続きを読む →

カテゴリー: cs.LO, cs.RO, cs.SY, eess.SY | Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications はコメントを受け付けていません

Reasoning Inconsistencies and How to Mitigate Them in Deep Learning

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

要約 近年のディープラーニングモデルと技術の進歩により、多様なタスクやモダリティ … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | Reasoning Inconsistencies and How to Mitigate Them in Deep Learning はコメントを受け付けていません

SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning

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

要約 我々は、ディープニューラルネットワークを用いた強化学習において、記号的な制 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.NE, I.2.6 | SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning はコメントを受け付けていません

Epistemic Skills: Reasoning about Knowledge and Oblivion

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

要約 このペーパーでは、グループ知識の概念を取り入れながら、知識を獲得し、忘却に … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | Epistemic Skills: Reasoning about Knowledge and Oblivion はコメントを受け付けていません

A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines

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

要約 Tsetlinマシン（TM）は、接続詞句を使用してデータからパターンを学習 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines はコメントを受け付けていません

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

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

要約 確率的モデルチェックの進歩にもかかわらず、検証方法のスケーラビリティは限ら … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SY, eess.SY | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization はコメントを受け付けていません

Semiring Provenance for Lightweight Description Logics

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

要約 Semiringの起源（リレーショナルデータベースの設定で元々定義されてい … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO | Semiring Provenance for Lightweight Description Logics はコメントを受け付けていません

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

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

要約 ロジックプログラムを分割すると、安定したモデルをサブプログラムの同様のタス … 続きを読む →

カテゴリー: cs.AI, cs.LO | Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version) はコメントを受け付けていません