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

On Formal Feature Attribution and Its Approximation

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

要約 近年、人工知能 (AI) アルゴリズムと機械学習 (ML) モデルが広く使 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO | On Formal Feature Attribution and Its Approximation はコメントを受け付けていません

Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach

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

要約 運転環境の動的な性質と多様な道路利用者の存在は、自動運転における意思決定に … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.RO, cs.SY, eess.SY | Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach はコメントを受け付けていません

Declarative Mechanism Design

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

要約 マルチエージェント システム (MAS) および宣言型電子機関 (DEI) … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.MA, cs.PL | Declarative Mechanism Design はコメントを受け付けていません

Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)

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

要約 安全な探索は、試行錯誤学習中の失敗により高いコストが発生する可能性がある安 … 続きを読む →

カテゴリー: cs.LG, cs.LO | Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version) はコメントを受け付けていません

Towards a Certified Proof Checker for Deep Neural Network Verification

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

要約 ディープ ニューラル ネットワーク (DNN) の最近の開発により、セーフ … 続きを読む →

カテゴリー: cs.LG, cs.LO, cs.PL | Towards a Certified Proof Checker for Deep Neural Network Verification はコメントを受け付けていません

Description Logics with Abstraction and Refinement

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

要約 オントロジーでは多くの場合、複数の抽象化レベルでの知識表現が必要ですが、記 … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics with Abstraction and Refinement はコメントを受け付けていません

Strengthening Consistency Results in Modal Logic

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

要約 様相論理で尋ねられる基本的な質問は、与えられた理論に一貫性があるかどうかで … 続きを読む →

カテゴリー: cs.AI, cs.LO, F4.1;I.23;I.24, math.LO | Strengthening Consistency Results in Modal Logic はコメントを受け付けていません

Joint Behavior and Common Belief

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

要約 25 年以上にわたり、共通の信念は共同行動に必要であると広く考えられてきま … 続きを読む →

カテゴリー: cs.AI, cs.LO, cs.MA | Joint Behavior and Common Belief はコメントを受け付けていません

System of Spheres-based Two Level Credibility-limited Revisions

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

要約 2 レベルの信頼性を制限した改訂は、優先順位のない改訂操作です。 2 レベ … 続きを読む →

カテゴリー: cs.AI, cs.LO, F.4.1 | System of Spheres-based Two Level Credibility-limited Revisions はコメントを受け付けていません

Tableaux for the Logic of Strategically Knowing How

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

要約 目標指向のノウハウのロジックは、ノウハウの演算子を使用して標準の認識論的ロ … 続きを読む →

カテゴリー: cs.AI, cs.LO | Tableaux for the Logic of Strategically Knowing How はコメントを受け付けていません