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

Shielded Reinforcement Learning for Hybrid Systems

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

要約 微分方程式とシステム状態の離散的変化を組み合わせるスイッチ制御ハイブリッド … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.LO, cs.SY, eess.SY | Shielded Reinforcement Learning for Hybrid Systems はコメントを受け付けていません

A Simplified Variant of Gödel’s Ontological Argument

投稿日: 2023年8月28日 作成者: jarxiv

要約 G\’odel の存在論的議論の簡略化された変形が提示されます … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, math.LO | A Simplified Variant of Gödel’s Ontological Argument はコメントを受け付けていません

LR-XFL: Logical Reasoning-based Explainable Federated Learning

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

要約 フェデレーテッド ラーニング (FL) は、データ プライバシーを維持しな … 続きを読む →

カテゴリー: cs.AI, cs.DC, cs.LG, cs.LO | LR-XFL: Logical Reasoning-based Explainable Federated Learning はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年8月24日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Normative Conditional Reasoning as a Fragment of HOL

投稿日: 2023年8月23日 作成者: jarxiv

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative Conditional Reasoning as a Fragment of HOL はコメントを受け付けていません

Formal Verification of Safety Architectures for Automated Driving

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

要約 安全アーキテクチャは、自動運転車 (ADV) の安全性を確保する上で重要な … 続きを読む →

カテゴリー: cs.LO, cs.RO | Formal Verification of Safety Architectures for Automated Driving はコメントを受け付けていません

Normative conditional reasoning as a fragment of HOL

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

要約 規範的（好みに基づく）条件付き推論の機械化に関するいくつかの結果を報告しま … 続きを読む →

カテゴリー: 03B15, 03B60, 68T15, 68T27, 68T30, cs.AI, cs.LO, cs.SC, I.2.0 | Normative conditional reasoning as a fragment of HOL はコメントを受け付けていません

Semantic relatedness in DBpedia: A comparative and experimental assessment

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

要約 Web リソースの意味的な関連性を評価することは、依然として未解決の課題で … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO | Semantic relatedness in DBpedia: A comparative and experimental assessment はコメントを受け付けていません

Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)

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

要約 古典的な計画言語はクローズド ドメインおよびクローズドワールドを前提として … 続きを読む →

カテゴリー: cs.AI, cs.LO | Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version) はコメントを受け付けていません

Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts

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

要約 記述ロジックの研究は、歴史的には主に、一次ロジックの決定可能な断片に変換で … 続きを読む →

カテゴリー: cs.AI, cs.LO | Description Logics Go Second-Order — Extending EL with Universally Quantified Concepts はコメントを受け付けていません