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

Probabilities of the third type: Statistical Relational Learning and Reasoning with Relative Frequencies

投稿日: 2023年11月17日 作成者: jarxiv

要約 リレーショナル データに対する確率的な依存関係をモデル化する場合、ドメイン … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, I.2.4 | Probabilities of the third type: Statistical Relational Learning and Reasoning with Relative Frequencies はコメントを受け付けていません

Model Checking for Closed-Loop Robot Reactive Planning

投稿日: 2023年11月17日 作成者: jarxiv

要約 この論文では、差し迫った危険を回避できるように、差動駆動車輪付きロボットの … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.RO | Model Checking for Closed-Loop Robot Reactive Planning はコメントを受け付けていません

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems

投稿日: 2023年11月17日 作成者: jarxiv

要約 自動運転システム (ADS) の複雑さが増すにつれ、その安全性と信頼性を確 … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SE | Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems はコメントを受け付けていません

Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions

投稿日: 2023年11月17日 作成者: jarxiv

要約 自律システム用の Correct-by-Construction コントロ … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.SY, eess.SY | Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions はコメントを受け付けていません

Comparing Differentiable Logics for Learning Systems: A Research Preview

投稿日: 2023年11月17日 作成者: jarxiv

要約 機械学習 (ML) システムの形式的検証に関する広範な研究では、データのみ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Comparing Differentiable Logics for Learning Systems: A Research Preview はコメントを受け付けていません

Simplicial Models for the Epistemic Logic of Faulty Agents

投稿日: 2023年11月15日 作成者: jarxiv

要約 近年、何人かの著者が単純モデル、つまり単純複合体と呼ばれる高次元構造に基づ … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, math.AT | Simplicial Models for the Epistemic Logic of Faulty Agents はコメントを受け付けていません

Simplicial Models for the Epistemic Logic of Faulty Agents

投稿日: 2023年11月14日 作成者: jarxiv

要約 近年、何人かの著者が単純モデル、つまり単純複合体と呼ばれる高次元構造に基づ … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LO, math.AT | Simplicial Models for the Epistemic Logic of Faulty Agents はコメントを受け付けていません

Multitask Kernel-based Learning with First-Order Logic Constraints

投稿日: 2023年11月9日 作成者: jarxiv

要約 この論文では、教師ありサンプルと教師なしサンプルを、一次論理節のコレクショ … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Multitask Kernel-based Learning with First-Order Logic Constraints はコメントを受け付けていません

Maximal Consistent Subsystems of Max-T Fuzzy Relational Equations

投稿日: 2023年11月7日 作成者: jarxiv

要約 この記事では、$A \Box_{T}^{\max} x = b$ ($T$ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Maximal Consistent Subsystems of Max-T Fuzzy Relational Equations はコメントを受け付けていません

Embedding First Order Logic into Kernel Machines

投稿日: 2023年11月7日 作成者: jarxiv

要約 本論文では、教師あり・教師なしの例と、一階論理節の集合で表現される背景知識 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | Embedding First Order Logic into Kernel Machines はコメントを受け付けていません