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

Deontic Temporal Logic for Formal Verification of AI Ethics

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

要約 人工知能（AI）システムの倫理的行動を確保することは、遍在性と影響力の増加 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | Deontic Temporal Logic for Formal Verification of AI Ethics はコメントを受け付けていません

A class of distributed automata that contains the modal mu-fragment

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

要約 このホワイトペーパーでは、格付けされたモーダル$ \ mu $ -calc … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.1.1 | A class of distributed automata that contains the modal mu-fragment はコメントを受け付けていません

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models

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

要約 論理的推論は、大規模な言語モデル（LLM）の重要な要素であり、近年の実質的 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO | JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models はコメントを受け付けていません

Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs

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

要約 構成可能なシステムは通常、互いに依存関係を持つ再利用可能な資産で構成されて … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Pseudo-Boolean d-DNNF Compilation for Expressive Feature Modeling Constructs はコメントを受け付けていません

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned

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

要約 MINICALCは、最小限のシーケント計算に基づいて1次ロジックを教えるた … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.3 | Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned はコメントを受け付けていません

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving

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

要約 一見自明のタスクとして、問題解決は科学と工学の重要な要素でした。 ただし、 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving はコメントを受け付けていません

BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems

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

要約 学習対応の計画および制御アルゴリズムはますます一般的になっていますが、パフ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems はコメントを受け付けていません

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems

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

要約 Reachable Set Computationは、制御システムを分析す … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems はコメントを受け付けていません

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

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

要約 2019年の先駆的な研究において、Barcel’oと共著者は、 … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.1.1 | Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats はコメントを受け付けていません

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games

投稿日: 2025年5月1日 作成者: jarxiv

要約 古典的な反応性合成アプローチは、特定の仕様を常に満たすリアクティブシステム … 続きを読む →

カテゴリー: cs.FL, cs.GT, cs.LO, cs.RO, D.2.4 | Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games はコメントを受け付けていません