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

Human Conditional Reasoning in Answer Set Programming

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

要約 条件文「P=>Q」(P ならば Q) とそれぞれの事実が与えられると、人間 … 続きを読む →

カテゴリー: cs.AI, cs.LO, I.2.4 | Human Conditional Reasoning in Answer Set Programming はコメントを受け付けていません

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

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

要約 充足可能性モジュロ計数 (SMC) には、記号的意思決定と統計的推論の両方 … 続きを読む →

カテゴリー: cs.AI, cs.CC, cs.LO | Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees はコメントを受け付けていません

A Reversible Perspective on Petri Nets and Event Structures

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

要約 イベント構造は同時計算の基礎モデルとして登場し、イベントとその実行を決定す … 続きを読む →

カテゴリー: cs.CL, cs.LO | A Reversible Perspective on Petri Nets and Event Structures はコメントを受け付けていません

Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar

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

要約 我々は、結合カテゴリー文法 (CCG) の枠組み内で、さまざまなタイプの極 … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Computational Semantics and Evaluation Benchmark for Interrogative Sentences via Combinatory Categorial Grammar はコメントを受け付けていません

Short Boolean Formulas as Explanations in Practice

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

要約 単項関係に基づいたデータ モデル内の短いブール式を介して説明可能性を調査し … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, F.4.1 | Short Boolean Formulas as Explanations in Practice はコメントを受け付けていません

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach

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

要約 宣言型プロセス仕様は、有限トレース上の線形時相論理 (LTLf) に基づく … 続きを読む →

カテゴリー: cs.AI, cs.LO | Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach はコメントを受け付けていません

Auditable Algorithms for Approximate Model Counting

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

要約 モデルのカウント、つまりブール式の満足のいく代入をカウントすることは、さま … 続きを読む →

カテゴリー: cs.AI, cs.LO | Auditable Algorithms for Approximate Model Counting はコメントを受け付けていません

On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing

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

要約 交互時間時相論理 (ATL$^*$) は、マルチエージェント システムに関 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing はコメントを受け付けていません

Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking

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

要約 記号的な記述から物理的な動きの動作を生成することは、人工知能 (AI) と … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.RO, I.2.6 | Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking はコメントを受け付けていません

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

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

要約 近年、セーフティ クリティカルなシステムへのニューラル ネットワークの統合 … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.SY, eess.SY | Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems はコメントを受け付けていません